13489 search results - page 257 / 2698 » Operating System |
179
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
Transactions ensure simple and correct handling of concurrency and failures but are often considered too expensive for use in file systems. This paper argues that performance is ...
161
click to vote
IWFM
1998
15 years 8 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
173
click to vote
OSDI
1996
ACM
15 years 7 months ago
1996
ACM
Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of...
178
click to vote
SOSP
1993
ACM
15 years 7 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...