229 search results - page 29 / 46 » How Efficient Can Memory Checking Be |
VLDB
1989
ACM
13 years 11 months ago
1989
ACM
This paper presents a parallel algorithm for recursive query processing and shows how it can be efficiently implemented in a local computer network. The algorithm relies on an int...
MASCOTS
2004
13 years 9 months ago
2004
File systems using non-volatile RAM (NVRAM) promise great improvements in file system performance over conventional disk storage. However, current technology allows for a relative...
IADIS
2004
13 years 9 months ago
2004
The purpose of this study is to develop a web-based Research Assistant System (RAS), a Knowledge Management System by community of practice, to improve the group performance of Re...
ALGORITHMICA
2004
13 years 7 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...