1140 search results - page 23 / 228 » Generating compilers for generated datapaths |
251
Voted
LPAR
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
158
Voted
FPLE
1995
15 years 6 months ago
1995
This paper describes a course in compiler design that focuses on the Scheme implementation of a Scheme compiler that generates native assembly code for a real architecture. The co...
93
Voted
HICSS
2000
IEEE
15 years 7 months ago
2000
IEEE
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...
108
click to vote
ISCAS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a low-cost, single-cycle floating-point unit developed for digital audio processing applications. In the unit, the serial steps of floating-point operations ar...
107
Voted
ADBIS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...