1140 search results - page 27 / 228 » Generating compilers for generated datapaths |
101
Voted
ENTCS
2006
15 years 2 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 ...
113
Voted
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...
119
Voted
PLDI
1998
ACM
15 years 7 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
126
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...
101
Voted
WIA
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In computer science methods to aid learning are very imporcause abstract models are used frequently. For this conventional teaching methods do not suffice. We have develo...