15253 search results - page 2667 / 3051 » Integer-Programming Software Systems |
171
click to vote
PODC
1999
ACM
15 years 9 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...
159
click to vote
RTCSA
1999
IEEE
15 years 9 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...
183
Voted
HPCA
1998
IEEE
15 years 9 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...
156
click to vote
VLDB
1999
ACM
15 years 9 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...
131
click to vote
SIGMETRICS
1996
ACM
15 years 9 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...