4303 search results - page 32 / 861 » Are We There Yet |
OOPSLA
2007
Springer
14 years 5 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
PG
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents a practical, high-quality, hardwareaccelerated volume rendering approach including scattering, environment mapping, and ambient occlusion. We examine the appli...
CAV
2005
Springer
14 years 4 months ago
2005
Springer
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...
CHI
2003
ACM
14 years 11 months ago
2003
ACM
Screen space is a limited resource for computer users-multiple monitors are one means of workspace expansion, and "virtual desktops" are yet another way to increase scre...
LWA
2007
14 years 9 days ago
2007
Adaptive reading assistance can improve the reading performance of students, but current dyslexia pedagogical theories do not yet provide sound results on a micro-level. We want t...