155 search results - page 5 / 31 » A Trace Model for Pointers and Objects |
159
click to vote
HUC
2003
Springer
15 years 11 months ago
2003
Springer
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
223
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
189
click to vote
PTS
2003
15 years 7 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
186
click to vote
PRESENCE
2000
15 years 6 months ago
2000
Observers adjusted a pointer to match the depicted distance of a monocular virtual object viewed in a see-through, head-mounted display. Distance information was available through...
195
click to vote
VVS
1995
IEEE
15 years 10 months ago
1995
IEEE
We introduce a framework for texturing volumetric objects with displacement maps and texture maps, which are introduced as volume modeling tools. In this framework, an implicit-to...