1833 search results - page 220 / 367 » Mechanized Verification with Sharing |
160
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
164
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
We extend previous work on texture mapping video streams into virtual environments by introducing awareness driven video QoS. This uses movements within a shared virtual world to ...
178
click to vote
IFIP
1998
Springer
15 years 10 months ago
1998
Springer
Electronic Commerce is a field of application that is distributed by nature where different parties share information and work concurrently and cooperatively on objects, potential...
158
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
There are many roles for electromechanical devices in image guided surgery. One is to help a surgeon accurately follow a preoperative plan. Devices for this purpose may be localiz...
152
click to vote
ICCD
1994
IEEE
15 years 10 months ago
1994
IEEE
Dynamically tagged directories are memory-efficient mechanisms for maintaining cache coherence in sharedmemory multiprocessors. These directories use specialpurpose caches of poin...