4278 search results - page 533 / 856 » Data prefetch mechanisms |
202
Voted
CSL
2002
Springer
15 years 7 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
202
click to vote
ETS
2000
IEEE
15 years 7 months ago
2000
IEEE
We view the Internet as a "virtual laboratory" and have developed a framework to support experiments in web-based community learning. Our system is called the Community ...
177
click to vote
SOFTWARE
1998
15 years 7 months ago
1998
BMS organizes information in abstract name spaces and lets users refer to thedatathroughtheirvalues,whileaspatialDBMSorganizesinformationinconcrete 2D geometric spaces and lets use...
198
Voted
SIGMOD
2002
ACM
15 years 7 months ago
2002
ACM
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
196
click to vote
VLDB
2002
ACM
15 years 7 months ago
2002
ACM
Deduplication, a key operation in integrating data from multiple sources, is a time-consuming, labor-intensive and domainspecific operation. We present our design of alias that us...