1453 search results - page 113 / 291 » Aspectizing Server-Side Distribution |
KBSE
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
ICDCS
1998
IEEE
14 years 3 months ago
1998
IEEE
As Java is the preferred platform for the deployment of network computers, it is appealing to run multiple applications on a single Java desktop. We experimented with using the Ja...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
Multi-dimensional index structures such as R-trees enable fast searching in high-dimensional spaces. They differ from uni-dimensional structures in the following aspects: (1) inde...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper describes the implementation of a featurebased visual tracking algorithm on a SIMD MasPar MP-1 and the mixed-mode PASM prototype. The sequential algorithm is introduced...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
Passing messages through shared memory plays an important role on symmetric multiprocessors and on Clumps. The management of concurrent access to message queues is an important as...