1140 search results - page 117 / 228 » Generating compilers for generated datapaths |
143
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper suggests a new approach for bitstream processing of embedded systems, using a combination of C++ metaprogramming combined with architecture extensions of an customiza...
174
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
Certified code is a general mechanism for enforcing security properties. In this paradigm, untrusted mobile code carries annotations that allow a host to verify its trustworthine...
148
click to vote
AMTA
2000
Springer
15 years 10 months ago
2000
Springer
This paper describes a language independent linearization engine, oxyGen. This system compiles target language grammars into programs that take feature graphs as inputs and genera...
206
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
149
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...