10707 search results - page 97 / 2142 » Designing executable abstractions |
111
click to vote
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
127
click to vote
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
In this work, we propose a new FPGA design flow that combines the CUDA programming model from Nvidia with the state of the art high-level synthesis tool AutoPilot from AutoESL, to...
106
click to vote
CACM
2007
15 years 3 months ago
2007
ACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it poss...
123
click to vote
APCSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
134
click to vote
WCET
2010
15 years 1 months ago
2010
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...