1404 search results - page 165 / 281 » A C to Hardware Software Compiler |
133
click to vote
CACM
2010
15 years 4 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,...
130
click to vote
EMSOFT
2006
Springer
15 years 7 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. ...
145
click to vote
ISCA
2005
IEEE
15 years 9 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...
162
click to vote
LCTRTS
2007
Springer
15 years 10 months 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...
142
Voted
PLDI
2005
ACM
15 years 9 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 ...