10988 search results - page 1915 / 2198 » Algorithmic Folding Complexity |
155
click to vote
SAC
1995
ACM
15 years 7 months ago
1995
ACM
Experiments in High Energy Physics (HEP) generate tremendous amounts of data. For example, the accelerator at CERN is expected to generate petabytes per year. New HEP discoveries ...
175
click to vote
EDBT
1992
ACM
15 years 7 months ago
1992
ACM
The DBGraph storage model, designed for main memory DBMS, ensures both data storage compactness and efficient processing for all database operations. By representing the entire da...
156
click to vote
HT
1991
ACM
15 years 7 months ago
1991
ACM
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...
125
click to vote
SC
1991
ACM
15 years 7 months ago
1991
ACM
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
130
click to vote
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...