1140 search results - page 44 / 228 » Generating compilers for generated datapaths |
103
click to vote
PAAPP
2006
15 years 2 months ago
2006
In this paper, we investigate algorithms for generating communication code to run on distributedmemory systems. We modify algorithms from previously published work and prove that ...
119
click to vote
FCCM
2003
IEEE
15 years 8 months ago
2003
IEEE
Most commercial and academic floating point libraries for FPGAs provide only a small fraction of all possible floating point units. In contrast, the floating point unit generat...
120
click to vote
CASES
2000
ACM
15 years 7 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
122
click to vote
ECMDAFA
2010
Springer
15 years 6 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
124
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...