678 search results - page 58 / 136 » Interactive ray tracing |
OSDI
2006
ACM
14 years 8 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,...
OOPSLA
2007
Springer
14 years 1 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...
VIZSEC
2005
Springer
14 years 1 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...
VISUALIZATION
2005
IEEE
14 years 1 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. ...
CADE
2005
Springer
14 years 8 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...