Sciweavers

1833 search results - page 220 / 367
» Mechanized Verification with Sharing
Sort
View
IPPS
1998
IEEE
15 years 10 months ago
An Object Model for Multiprogramming
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...
Jayadev Misra
CHI
1998
ACM
15 years 10 months ago
Awareness Driven Video Quality of Service in Collaborative Virtual Environments
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 ...
Gail Reynard, Steve Benford, Chris Greenhalgh, Chr...
IFIP
1998
Springer
15 years 10 months ago
Migrating Objects in Electronic Commerce Applications
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...
Marko Boger
CVRMED
1997
Springer
15 years 10 months ago
The use of localizers, robots and synergistic devices in CAS
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...
Jocelyne Troccaz, Michael A. Peshkin, Brian L. Dav...
ICCD
1994
IEEE
85views Hardware» more  ICCD 1994»
15 years 10 months ago
A Superassociative Tagged Cache Coherence Directory
Dynamically tagged directories are memory-efficient mechanisms for maintaining cache coherence in sharedmemory multiprocessors. These directories use specialpurpose caches of poin...
David J. Lilja, Shanthi Ambalavanan