6102 search results - page 1126 / 1221 » Generating Optimizing Specializers |
188
click to vote
DEM
2001
Springer
15 years 9 months ago
2001
Springer
A common concern of the real−time terrain visualisation of today is the lack of geometric detail, when the terrain model is studied close enough. This is primary not a problem of...
138
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
The NVIDIA® OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly parallel architectures. The OptiX engine builds on the key observation ...
123
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
While uniprocessor garbage collection is relatively well understood, experience with collectors for large multiprocessor servers is limited and it is unknown which techniques best ...
145
click to vote
SSDBM
2000
IEEE
15 years 8 months ago
2000
IEEE
In a previous paper [Shoshani et al 99], we described a system called STACS (Storage Access Coordination System) for High Energy and Physics (HEP) experiments. These experiments g...
165
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...