602 search results - page 104 / 121 » A New Rendering Model for X |
AMAST
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
RT
2000
Springer
14 years 5 days ago
2000
Springer
We present the concept of hierarchical instantiation for radiosity. This new method enables an efficient, yet accurate determination of the illumination in very large scenes, wher...
DATE
2008
IEEE
13 years 10 months ago
2008
IEEE
Advanced MOSFETs such as Strained Silicon (SS) devices have emerged as critical enablers to keep Moore's law on track for sub100nm technologies. Use of Strained Silicon devic...
AAAI
2006
13 years 10 months ago
2006
In medical diagnosis doctors must often determine what medical tests (e.g., X-ray, blood tests) should be ordered for a patient to minimize the total cost of medical tests and mis...
CACM
2008
13 years 8 months ago
2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...