15253 search results - page 2667 / 3051 » Integer-Programming Software Systems |
243
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
In this paper, we describe an e cient software-only Distributed Shared Memory (DSM) consistency protocol for an unconventional but important application domain - object transactio...
228
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
245
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
Good network hardware performance is often squandered by overheads for accessing the network interface (NI) within a host. NIs that support user-level messaging avoid frequent ope...
205
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
Electronic commerce is emerging as a major Websupported application. In this paper we argue that database technology can, and should, provide the backbone for a wide range of such...
212
click to vote
SIGMETRICS
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...