619 search results - page 19 / 124 » The Design and Implementation of a Certifying Compiler |
195
click to vote
ACMSE
2011
ACM
14 years 4 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 ...
137
click to vote
VLSISP
2008
15 years 3 months ago
2008
ADRES (Architecture for Dynamically Reconfigurable Embedded Systems) is a templatized coarse-grained reconfigurable processor architecture. It targets at embedded applications whic...
117
click to vote
IPPS
2005
IEEE
15 years 9 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...
139
click to vote
GPCE
2005
Springer
15 years 9 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...
168
click to vote
ASPLOS
2008
ACM
15 years 6 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, ...