1133 search results - page 106 / 227 » Local Logics for Traces |
167
click to vote
RT
2001
Springer
15 years 10 months ago
2001
Springer
We introduce hybrid rendering, a scheme that dynamically ray traces the local geometry of reflective and refractive objects, but approximates more distant geometry by hardwaresupp...
171
click to vote
WDAG
1995
Springer
15 years 10 months ago
1995
Springer
Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and ...
151
click to vote
ASPLOS
1991
ACM
15 years 10 months ago
1991
ACM
Multiprocessor memory reference traces provide a wealth of information on the behavior of parallel programs. We have used this information to explore the relationship between kern...
184
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
172
click to vote
CAGD
2005
15 years 6 months ago
2005
In this paper, we propose a new quadrilateral remeshing method for manifolds of arbitrary genus that is at once general, flexible, and efficient. Our technique is based on the use...