1077 search results - page 67 / 216 » Hardware code generation from dataflow programs |
120
click to vote
VEE
2009
ACM
15 years 8 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
104
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
102
click to vote
DAGSTUHL
2004
15 years 3 months ago
2004
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
137
click to vote
TAP
2010
Springer
14 years 11 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ENTCS
2006
15 years 1 months ago
2006
In addition to efficient code generation, causality cycles and schizophrenic statements are major problems for the compilation of synchronous programs. Although these problems are ...