10707 search results - page 1716 / 2142 » Designing executable abstractions |
215
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
The increasing performance and decreasing cost of processors and memory are causing system intelligence to move into peripherals from the CPU. Storage system designers are using t...
206
click to vote
ISPAN
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
239
click to vote
MOBICOM
1996
ACM
15 years 11 months ago
1996
ACM
This paper discusses extensions to the Rover toolkit for constructing reliable mobile-aware applications. The extensions improve upon the existing failure model, which only addres...
257
click to vote
ASPLOS
1994
ACM
15 years 11 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
193
click to vote
FP
1989
15 years 11 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...