1816 search results - page 26 / 364 » Trace oblivious computation |
GI
2004
Springer
14 years 3 months ago
2004
Springer
: Recently, realtime ray tracing has been developed to the point where it is becoming a possible alternative to the current rasterization approach for interactive 3D graphics. With...
ECCV
2006
Springer
14 years 1 months ago
2006
Springer
The formulation of trace quotient is shared by many computer vision problems; however, it was conventionally approximated by an essentially different formulation of quotient trace,...
COMPUTING
2004
13 years 9 months ago
2004
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
IFL
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...