678 search results - page 58 / 136 » Interactive ray tracing |
129
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...
154
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
148
Voted
VIZSEC
2005
Springer
15 years 9 months ago
2005
Springer
Traffic anomalies and attacks are commonplace in today’s networks and identifying them rapidly and accurately is critical for large network operators. For a statistical intrusi...
160
click to vote
VISUALIZATION
2005
IEEE
15 years 9 months ago
2005
IEEE
GPU-based raycasting offers an interesting alternative to conventional slice-based volume rendering due to the inherent flexibility and the high quality of the generated images. ...
160
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...