619 search results - page 19 / 124 » The Design and Implementation of a Certifying Compiler |
ACMSE
2011
ACM
12 years 8 months ago
2011
ACM
This paper describes the adaptation of a modern compiler construction course to target an FPGA-based hardware platform used throughout our computer science curriculum. One of the ...
VLSISP
2008
13 years 8 months ago
2008
ADRES (Architecture for Dynamically Reconfigurable Embedded Systems) is a templatized coarse-grained reconfigurable processor architecture. It targets at embedded applications whic...
IPPS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
GPCE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Today's system programmers go to great lengths to extend the languages in which they program. For instance, system-specific compilers find errors in Linux and other systems, ...