Sciweavers

2963 search results - page 500 / 593
» An architecture for generic extensions
Sort
View
HPCA
1999
IEEE
15 years 10 months ago
Using Lamport Clocks to Reason about Relaxed Memory Models
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J....
CAISE
1999
Springer
15 years 10 months ago
Towards Quality-Oriented Data Warehouse Usage and Evolution
As a decision support information system, a data warehouse must provide high level quality of data and quality of service. In the DWQ project we have proposed an architectural fram...
Panos Vassiliadis, Mokrane Bouzeghoub, Christoph Q...
PPDP
1999
Springer
15 years 10 months ago
A Virtual Machine for a Process Calculus
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
Luís M. B. Lopes, Fernando M. A. Silva, Vas...
SSD
1999
Springer
197views Database» more  SSD 1999»
15 years 10 months ago
3D Shape Histograms for Similarity Search and Classification in Spatial Databases
Classification is one of the basic tasks of data mining in modern database applications including molecular biology, astronomy, mechanical engineering, medical imaging or meteorolo...
Mihael Ankerst, Gabi Kastenmüller, Hans-Peter...
ISCA
1998
IEEE
118views Hardware» more  ISCA 1998»
15 years 10 months ago
Active Messages: A Mechanism for Integrated Communication and Computation
The design challenge for large-scale multiprocessors is (1) to minimize communication overhead, (2) allow communication to overlap computation, and (3) coordinate the two without ...
Thorsten von Eicken, David E. Culler, Seth Copen G...