5376 search results - page 840 / 1076 » Scalable Kernel Systems |
181
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
175
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Rendering high-quality computer animations requires intensive computation, and therefore a large amount of time. One way to speed up this process is to devise rendering algorithms...
168
click to vote
CIA
1998
Springer
15 years 11 months ago
1998
Springer
One of our goals when building the University of Michigan Digital Library UMDL has been to prototype an architecture that can continually recon gure itself as users, contents, and ...
174
click to vote
VRST
1998
ACM
15 years 11 months ago
1998
ACM
The GALILEO-system is a developmental state-of-the-art rigid body simulation tool with a strong bias to the simulation of unilateral contacts for virtual reality applications. On ...
172
click to vote
EUROPAR
1997
Springer
15 years 10 months ago
1997
Springer
The large latency of memory accesses is a major obstacle in obtaining high processor utilization in large scale shared-memory multiprocessors. Access to remote memory is likely to ...