7262 search results - page 696 / 1453 » Reversible Computer Hardware |
236
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...
225
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
178
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes VolumePro, the world’s first single-chip realtime volume rendering system for consumer PCs. VolumePro implements ray-casting with parallel slice-by-slice p...
226
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
200
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...