Sciweavers

2043 search results - page 294 / 409
» Some Basics on Tolerances
Sort
View
ADL
1999
Springer
107views Digital Library» more  ADL 1999»
15 years 10 months ago
Extending the Role of Metadata in a Digital Library System
We describe an approach to the development of a digital library system that is founded on a number of basic principles. In particular, we discuss the critical role of metadata in ...
Alexa T. McCray, Marie E. Gallagher, Michael A. Fl...
IPPS
1999
IEEE
15 years 10 months ago
MPIJAVA: An Object-Oriented JAVA Interface to MPI
Abstract. A basic prerequisite for parallel programming is a good communication API. The recent interest in using Java for scienti c and engineering application has led to several ...
Mark Baker, Bryan Carpenter, Geoffrey Fox, Sung Ho...
IPPS
1999
IEEE
15 years 10 months ago
NetCache: A Network/Cache Hybrid for Multiprocessors
In this paper we propose the use of an optical network not only as the communication medium, but also as a system-wide cache for the shared data in a multiprocessor. More specifica...
Enrique V. Carrera, Ricardo Bianchini
IPPS
1999
IEEE
15 years 10 months ago
Infrastructure for Building Parallel Database Systems for Multi-Dimensional Data
Our study of a large set of scientific applications over the past three years indicates that the processing for multidimensional datasets is often highly stylized. The basic proce...
Chialin Chang, Renato Ferreira, Alan Sussman, Joel...
IPPS
1999
IEEE
15 years 10 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund