1833 search results - page 219 / 367 » Mechanized Verification with Sharing |
144
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
153
click to vote
IV
2000
IEEE
15 years 11 months ago
2000
IEEE
Nowadays multi-user VR systems are mostly aimed to social interaction, whereas exploitation of shared virtual environment for educational purposes has been mainly left aside. We i...
165
click to vote
SIGOPSE
2000
ACM
15 years 10 months ago
2000
ACM
Mobile nodes rely on external services to provide safety, sharing, and additional resources. Unfortunately, as mobile nodes move through the networking infrastructure, the costs o...
181
click to vote
ISPAN
1999
IEEE
15 years 10 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
185
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper examines the performance benefits of employing multicast communication and application-level multithreading in the Brazos software distributed shared memory (DSM) syste...