10870 search results - page 1991 / 2174 » Model Checking Programs |
111
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
In 2002, Japan announced the Earth Simulator—a supercomputer based on low-volume vector processors and a custom network—and reported that computational scientists had used it ...
106
click to vote
IPPS
2005
IEEE
15 years 7 months ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...
124
click to vote
ISESE
2005
IEEE
15 years 7 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
102
click to vote
ISQED
2005
IEEE
15 years 7 months ago
2005
IEEE
As the scale and complexity of VLSI circuits increase, Electronic Design Automation (EDA) tools become much more sophisticated and are held to increasing standards of quality. New...
135
click to vote
ISQED
2005
IEEE
15 years 7 months ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...