1077 search results - page 40 / 216 » Hardware code generation from dataflow programs |
111
click to vote
SSR
2001
15 years 3 months ago
2001
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
GPCE
2003
Springer
15 years 6 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
147
click to vote
ICCL
1992
IEEE
15 years 5 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
120
click to vote
IOT
2010
14 years 11 months ago
2010
Wireless Sensing and Radio Identification systems have undergone many innovations during the past years. This has led to short product lifetimes for both software and hardware comp...
128
click to vote
ECBS
2005
IEEE
15 years 7 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...