1140 search results - page 68 / 228 » Generating compilers for generated datapaths |
153
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
144
click to vote
IWMM
1998
Springer
15 years 7 months ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
101
click to vote
ICCD
2004
IEEE
16 years 1 days ago
2004
IEEE
We selectively generate and optimize the frames constructed by the rePLay architecture statically. Since static analysis provides a global view of the interaction between the basi...
238
click to vote
FCCM
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract - In this paper, we hypothesize that reconfigurable computing is not more widely used because of the logistical difficulties caused by the close coupling of applications a...
111
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
Classical work on eliciting and representing preferences over multi-attribute alternatives has attempted to recognize conditions under which value functions take on particularly s...