1833 search results - page 261 / 367 » Mechanized Verification with Sharing |
137
click to vote
VRML
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we present a VRML97-X3D extension to describe precomputed visibility relationships in the context of progressive transmission as well as real time visualization of m...
169
Voted
CF
2010
ACM
15 years 9 months ago
2010
ACM
Supercomputers need a huge budget to be built and maintained. To maximize the usage of their resources, application developers spend time to optimize the code of the parallel appl...
147
click to vote
SIGMETRICS
2010
ACM
15 years 9 months ago
2010
ACM
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
181
click to vote
RTCSA
1998
IEEE
15 years 9 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
147
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Many parallel applications exhibit unpredictable communication between threads, leading to contention for shared objects. The choice of contention management strategy impacts stro...