Filters








37,106 Hits in 3.4 sec

Fully abstract compilation via universal embedding

Max S. New, William J. Bowman, Amal Ahmed
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ug3n3jfg4jdcpdvbrhe3m4txqa" style="color: black;">Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016</a> </i> &nbsp;
A fully abstract compiler guarantees that two source components are observationally equivalent in the source language if and only if their translations are observationally equivalent in the target.  ...  Proving full abstraction for realistic compilers is challenging because realistic target languages contain features (such as control effects) unavailable in the source, while proofs of full abstraction  ...  Note that none of the results discussed below tackle fully abstract compilation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2951913.2951941">doi:10.1145/2951913.2951941</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icfp/NewBA16.html">dblp:conf/icfp/NewBA16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pcxdfxryxfeabey5d2rgkabu4q">fatcat:pcxdfxryxfeabey5d2rgkabu4q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160726011422/http://www.ccs.neu.edu/home/amal/papers/facue.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dd/1b/dd1b40ac19c689befc2ca528104f0b6a7e1a4eec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2951913.2951941"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Fully abstract compilation via universal embedding

Max S. New, William J. Bowman, Amal Ahmed
<span title="2016-09-04">2016</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
A fully abstract compiler guarantees that two source components are observationally equivalent in the source language if and only if their translations are observationally equivalent in the target.  ...  Proving full abstraction for realistic compilers is challenging because realistic target languages contain features (such as control effects) unavailable in the source, while proofs of full abstraction  ...  Note that none of the results discussed below tackle fully abstract compilation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3022670.2951941">doi:10.1145/3022670.2951941</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qdiychy7bzhc7e5les2y3rbqdy">fatcat:qdiychy7bzhc7e5les2y3rbqdy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160726011422/http://www.ccs.neu.edu/home/amal/papers/facue.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dd/1b/dd1b40ac19c689befc2ca528104f0b6a7e1a4eec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3022670.2951941"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Multicore development environment for embedded processor in arduino IDE

Stefanus Kurniawan, Dareen K. Halim, Dicky H., Tang C. M.
<span title="2020-04-01">2020</span> <i title="Universitas Ahmad Dahlan"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/avuzjspx3nh5lboz3nsmpd3ba4" style="color: black;">TELKOMNIKA (Telecommunication Computing Electronics and Control)</a> </i> &nbsp;
There is a need for such a platform to facilitate both the study and development of parallel embedded software. arduino as the widely used embedded development platform is yet to officially support multicore  ...  The environment is fully functional, and while it targets only specific MPSoC, the proposed environment can easily be adopted to other MPSoCs with similar structures with minimal modification.  ...  RUMPS401 programming support The RUMPS401 is fully designed by Universiti Tunku Abdul Rahman's (UTAR) VLSI research center, emphasizing on low-power consumption [21] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12928/telkomnika.v18i2.14873">doi:10.12928/telkomnika.v18i2.14873</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/evtjwtnf5zcvbkn4hbvirnnwxe">fatcat:evtjwtnf5zcvbkn4hbvirnnwxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200706183344/http://journal.uad.ac.id/index.php/TELKOMNIKA/article/download/14873/7886" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/72/7b/727b1caf25e9f4573565b73f72f9a684638a1eb8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12928/telkomnika.v18i2.14873"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Algebraic Effect Handlers go Mainstream (Dagstuhl Seminar 18172)

Sivaramakrishnan Krishnamoorthy Chandrasekaran, Daan Leijen, Matija Pretnar, Tom Schrijvers, Michael Wagner
<span title="2018-10-08">2018</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
This single mechanism generalizes all the control flow abstractions listed above and more, composes freely, has simple operational semantics, and can be efficiently compiled, since there is just one mechanism  ...  For iterators and asynchrony, the situation is more involved, as the compiler needs to turn regular code into stack restoring state machines.  ...  They have been implemented in a variety of programming languages as either a native primitive or embedded via existing abstraction facilities.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.4.104">doi:10.4230/dagrep.8.4.104</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/ChandrasekaranL18.html">dblp:journals/dagstuhl-reports/ChandrasekaranL18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yj5tunpy4fccbdaea7ajw7lwx4">fatcat:yj5tunpy4fccbdaea7ajw7lwx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034352/https://drops.dagstuhl.de/opus/volltexte/2018/9762/pdf/dagrep_v008_i004_p104_18172.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8a/c1/8ac18c9f2a7651d54f2a692fbef8750616ba0b62.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.4.104"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Secure Compilation (Dagstuhl Seminar 18201)

Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens, Michael Wagner
<span title="2018-11-19">2018</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
Secure compilation aims to protect a source language's abstractions in compiled code, even against low-level attacks.  ...  However, today's compilation chains (compilers, linkers, loaders, runtime systems, hardware) cannot efficiently enforce this abstraction: linked low-level code can call and return to arbitrary instructions  ...  Well-studied notions like fully abstract compilation provide partial answers: a fully abstract compiler chain preserves observational equivalence under an attacker model where attackers are target-level  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.5.1">doi:10.4230/dagrep.8.5.1</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/Ahmed0HP18.html">dblp:journals/dagstuhl-reports/Ahmed0HP18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tis2hemo4je7ni3wr5z6cza3iu">fatcat:tis2hemo4je7ni3wr5z6cza3iu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220119161204/https://drops.dagstuhl.de/opus/volltexte/2018/9891/pdf/dagrep_v008_i005_p001_18201.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c0/1f/c01f32a5c6a18b318ef9333bc6ab043f5e78b64b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.5.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, Steve Hodges
<span title="">2018</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6dcohyzfhveypik7x4entpurlu" style="color: black;">Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2018</a> </i> &nbsp;
Historically, embedded systems development requires knowledge of low-level programming languages, local installation of compilation toolchains, device drivers, and applications.  ...  CCS Concepts · Software and its engineering → Embedded software; Runtime environments; Integrated and visual development environments;  ...  An effective solution must therefore provide a fully transparent, platform agnostic, zero installation experience to developing embedded software.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3211332.3211335">doi:10.1145/3211332.3211335</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lctrts/DevineFHMBH18.html">dblp:conf/lctrts/DevineFHMBH18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ermpitop4fbbbpikwinjo264he">fatcat:ermpitop4fbbbpikwinjo264he</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427101031/http://eprints.lancs.ac.uk/124910/7/lctes18main_p12_p.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/40/44/40447b01915063991a444f046e642993add10cdf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3211332.3211335"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatic Detection of HTTP Injection Attacks using Convolutional Neural Network and Deep Neural Network

Victor Odumuyiwa, Analogbei Chibueze
<span title="2021-02-09">2021</span> <i title="River Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7fvtrv6o65gszpj46refzq3jw4" style="color: black;">Journal of Cyber Security and Mobility</a> </i> &nbsp;
A special layer called the character embedding layer in the deep learning models is used to allow the learning of the representation of the request parameter of HTTP requests in higher abstract levels  ...  The input layer is a vector consisting of the index representation of the http request, the embedding layer is formed by the creation of the embedding matrix via lookup from the embedding table.  ...  This could be because the CSIC 2010 dataset was not compiled to cater for cases the ECML/PKDD 2007 dataset was compiled for (cf. Figure 6) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13052/jcsm2245-1439.941">doi:10.13052/jcsm2245-1439.941</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gvburw2oc5gslaj5ntoxsloxyu">fatcat:gvburw2oc5gslaj5ntoxsloxyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210414234220/https://journals.riverpublishers.com/index.php/JCSANDM/article/download/2263/5081" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/69/ca/69caf97f47b14ad027ba8a1c71e2ae31870fa66f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.13052/jcsm2245-1439.941"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

PhD Abstracts

GRAHAM HUTTON
<span title="">2018</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
As a service to the community, the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year.  ...  To attest the relevance of the language proposed, we provide a fully functional prototype where this and other examples can be typechecked, compiled and run.  ...  the logical framework LF using contextual types in fully dependently typed theory.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796818000175">doi:10.1017/s0956796818000175</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lt6u6vlagfe7jgo73cm3nax4aq">fatcat:lt6u6vlagfe7jgo73cm3nax4aq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501121858/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/755F5652224B435080756DD21623839C/S0956796818000175a.pdf/div-class-title-phd-abstracts-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0a/a3/0aa3b8f3b3375e784766b13102157f853da930c8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796818000175"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

System-level design: orthogonalization of concerns and platform-based design

K. Keutzer, A.R. Newton, J.M. Rabaey, A. Sangiovanni-Vincentelli
<span title="">2000</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
Finally, we present a new approach to platform-based design called modern embedded systems, compilers, architectures and languages, based on highly concurrent and software-programmable architectures and  ...  To cope with these issues, new methodologies that emphasize re-use at all levels of abstraction are a "must", and this is a major focus of our work in the Gigascale Silicon Research Center.  ...  Using the lessons learned from previous research efforts in embedded compilation, the MESCAL compiler project aims to fully understand what is involved in developing an automatically retargetable compiler  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.898830">doi:10.1109/43.898830</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s4gqbbdmqzhjfanp53g4rpuogq">fatcat:s4gqbbdmqzhjfanp53g4rpuogq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810015456/http://home.deib.polimi.it/silvano/FilePDF/METODOLOGIE/syslevdes.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e1/ba/e1bae0dff7c9e3b37e3c1da8ec1c84547e548bd5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.898830"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Towards Automatic High-Level Code Deployment on Reconfigurable Platforms: A Survey of High-Level Synthesis Tools and Toolchains

Mostafa W. Numan, Braden J. Phillips, Gavin S. Puddy, Katrina Falkner
<span title="">2020</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
processing FPGA Lua-embedded DSL [101] Verilog Xilinx ISE 14.5 Lua compiler [101] RIPL Heriot-Watt and Sheffield Hallam Universities 2014 Image processing FPGAs RIPL (standalone  ...  DSP Kiwi Compiler [41], [42] University of Cambridge 2008 2017 Xilinx and Altera FPGAs .NET byte- code Verilog Stand-alone All Handel-C Compiler [50], [51] Oxford University  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.3024098">doi:10.1109/access.2020.3024098</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hk7s2deq6zgp5fnuwvm5k6jodu">fatcat:hk7s2deq6zgp5fnuwvm5k6jodu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200922144928/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09195872.pdf?tp=&amp;arnumber=9195872&amp;isnumber=6514899&amp;ref=" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/af/a5/afa5e623d113819ef0e0b6bd4ce9ed19de98e48f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2020.3024098"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Fine-Grained Compiler Identification with Sequence-oriented Neural Modeling

Zhenzhou Tian, Yaqian Huang, Borun Xie, Yanping Chen, Lingwei Chen, Dinghao Wu
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
It identifies compiler family for the whole program via matching of signatures, and conducts compiler version and optimization level detection for compiler-related functions.  ...  This indicates that the subtle clues implied in a sequence has already been fully tapped by our models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3069227">doi:10.1109/access.2021.3069227</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vg5nlq3wvjct7dwejh4vulmm54">fatcat:vg5nlq3wvjct7dwejh4vulmm54</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210331180222/https://ieeexplore.ieee.org/ielx7/6287639/6514899/09388681.pdf?tp=&amp;arnumber=9388681&amp;isnumber=6514899&amp;ref=" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5a/72/5a72475681460f6982ff655e3f3860b0eda2373a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3069227"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

Embedding as a tool for language comparison: On the CSP hierarchy [chapter]

Frank S. Boer, Catuscia Palamidessi
<span title="">1991</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The third notion considered (fully abstract embedding) requires the compiler to preserve the (non-)equivalence of statements with respect to the fully abstract semantics.  ...  Even more surprisingly, [9] shows that MEIJE-SCCS are universal with respect to all the operators definable via transition rule of a certain, very general, format.  ...  Embedding as a tool for language comparison: On the CSP hierarchy. p. 17. A compositional proof system for dynamic proces creation. p. 24.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-54430-5_85">doi:10.1007/3-540-54430-5_85</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/beykczqqfzbinhd5kr5m6nqelu">fatcat:beykczqqfzbinhd5kr5m6nqelu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922204838/https://pure.tue.nl/ws/files/1850233/9108616.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/51/ec/51ec929760760f176ddcbd4c8f8d5c904d496c69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-54430-5_85"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

PhD Abstracts

GRAHAM HUTTON
<span title="">2014</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
The abstracts are not reviewed.  ...  To start this new feature off, we have reached back three years for the first round of abstracts.  ...  The fusion transformation can be applied fully automatically by a general purpose optimising compiler.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796814000215">doi:10.1017/s0956796814000215</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rs2j5wgm5ndf7ek2zls5pmg2w4">fatcat:rs2j5wgm5ndf7ek2zls5pmg2w4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723075631/https://www.cambridge.org/core/services/aop-cambridge-core/content/view/746B45DF269A7746FF42CCC1DE5A2748/S0956796814000215a.pdf/div-class-title-phd-abstracts-div.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/a3/2ba35df8f2d6b9e43e7cbc9d9ff69d331d251aaa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796814000215"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Implementation of language enhancements

Marvin V. Zelkowitz, James R. Lyle
<span title="">1981</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7fd7i46bwraoxekjfubln4qvda" style="color: black;">Computer languages</a> </i> &nbsp;
Compiler design Data abstraction Language extensions Specifications  ...  A minimal set of primitive features are added to the compiler and the other extensions are added via an internal macro processor that expand, the ne~ syntax inlo the existing language.  ...  A macro-processor, unknown to the user, was embedded within a PL 1 compiler to translate new statements into standard PL/1 text.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0096-0551(81)90026-6">doi:10.1016/0096-0551(81)90026-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e5d2ngzclvfyhfzpoxch5drrb4">fatcat:e5d2ngzclvfyhfzpoxch5drrb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808023900/http://www.cs.umd.edu/%7Emvz/pub/zelkowitz-lyle-1981.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/d1/09d14ee137337e42f98b814ad71d6d807ec3e00b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0096-0551(81)90026-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Implementing OpenMP on a high performance embedded multicore MPSoC

Barbara Chapman, Lei Huang, Eric Biscondi, Eric Stotzer, Ashish Shrivastava, Alan Gatherer
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t3x4vqewrncrfgn2wu7cafsbsq" style="color: black;">2009 IEEE International Symposium on Parallel &amp; Distributed Processing</a> </i> &nbsp;
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems.  ...  However, OpenMP needs to be extended if it is to meet the needs of embedded application developers, who require the ability to express multiple levels of parallelism, real-time and resource constraints  ...  OpenUH The work described here makes use of the OpenUH [15] compiler, a branch of the open source Open64 compiler suite for C, C++, and Fortran 95 developed at the University of Houston.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2009.5161107">doi:10.1109/ipdps.2009.5161107</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ipps/ChapmanHBSSG09.html">dblp:conf/ipps/ChapmanHBSSG09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/prqzkfif4fhc7m2di7gbnejqeq">fatcat:prqzkfif4fhc7m2di7gbnejqeq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100701034640/http://www2.cs.uh.edu/~hpctools/pub/MTAAP09.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4a/a8/4aa8c8b97c906e9dd3ef8794c91693ea3aee6143.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2009.5161107"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 37,106 results