2616 search results - page 249 / 524 » Energy scalable system design |
183
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Performance-asymmetric multi-cores consist of heterogeneous cores, which support the same ISA, but have different computing capabilities. To maximize the throughput of asymmetric...
222
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
183
click to vote
USENIX
2008
15 years 9 months ago
2008
A virtual cluster is a promising technology for reducing management costs and improving capacity utilization in datacenters and computer centers. However, recent cluster virtualiz...
181
click to vote
VSTTE
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
183
click to vote
NCA
2006
IEEE
16 years 19 days ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...