2007 search results - page 75 / 402 » Using general-purpose programming languages for FPGA design |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
106
click to vote
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
FCCM
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...