4355 search results - page 389 / 871 » From Interpretation to Compilation |
222
click to vote
LCTRTS
2007
Springer
16 years 29 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...
185
click to vote
MICRO
2006
IEEE
16 years 26 days ago
2006
IEEE
As the industry moves toward larger-scale chip multiprocessors, the need to parallelize applications grows. High inter-thread communication delays, exacerbated by over-stressed hi...
191
click to vote
PPOPP
2006
ACM
16 years 24 days ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
177
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
173
click to vote
CASES
2004
ACM
16 years 8 days ago
2004
ACM
As on-chip networks become prevalent in multiprocessor systemson-a-chip and multi-core processors, they will be an integral part of the design flow of such systems. With power in...