1140 search results - page 117 / 228 » Generating compilers for generated datapaths |
105
click to vote
DATE
2010
IEEE
15 years 8 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...
137
click to vote
POPL
2000
ACM
15 years 7 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...
112
Voted
AMTA
2000
Springer
15 years 7 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...
173
Voted
DAC
1997
ACM
15 years 7 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 ...
110
click to vote
CAV
2010
Springer
15 years 7 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...