1404 search results - page 165 / 281 » A C to Hardware Software Compiler |
159
click to vote
CACM
2010
15 years 6 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
159
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Miniaturization of devices and the ensuing decrease in the threshold voltage has led to a substantial increase in the leakage component of the total processor energy consumption. ...
177
click to vote
ISCA
2005
IEEE
15 years 12 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
202
click to vote
LCTRTS
2007
Springer
16 years 15 days ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
175
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...