619 search results - page 15 / 124 » The Design and Implementation of a Certifying Compiler |
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
Breeding Abstract Animations in Realtime Tatsuo Unemi SBART was developed in early 1990's as one of the derivatives from Artificial Evolution by Karl Sims. It has a functional...
FPL
2006
Springer
14 years 11 days ago
2006
Springer
An intermediate representation (IR) is a central structure around which tools such as compilers and synthesis tools are built. In this paper we propose such an IR specifically des...
FPL
1995
Springer
14 years 7 days ago
1995
Springer
This paper presents an overview of a prototype hardware compiler which compiles a design expressed in the Ruby language into FPGAs. The features of two important modules, the re ne...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
During language evolution, compiler construction is usually d along two dimensions: defining new abstract syntax tree (AST) classes, or adding new operations. In order to facilita...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present a software compilation approach for microprocessor/FPGA platforms that partitions a software binary onto custom hardware implemented in the FPGA. Our app...