1920 search results - page 346 / 384 » The Complexity of the A B C Problem |
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The distinguishing feature of a metasystem is middleware that facilitates viewing a collection of large, distributed, heterogeneous resources as a single virtual machine, where ea...
ISIPTA
1999
IEEE
14 years 29 days ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
KDD
1999
ACM
14 years 28 days ago
1999
ACM
Efficiently answering decision support queries is an important problem. Most of the work in this direction has been in the context of the data cube. Queries are efficiently answer...
VLDB
1999
ACM
14 years 28 days ago
1999
ACM
Recent high-performance processors employ sophisticated techniques to overlap and simultaneously execute multiple computation and memory operations. Intuitively, these techniques ...
PODC
1994
ACM
14 years 22 days ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...