13489 search results - page 418 / 2698 » Operating System |
195
click to vote
PLDI
2006
ACM
16 years 23 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
186
click to vote
IDMS
2001
Springer
15 years 11 months ago
2001
Springer
A number of research studies show that the operating system has a substantial influence on communication delay in distributed environments. Thus, in order to provide applications w...
173
click to vote
HOTOS
1989
IEEE
15 years 11 months ago
1989
IEEE
Workstations typically depend on remote servers accessed over a network for such services as mail, printing, storing files, booting, and time. The availability of these remote ser...
170
click to vote
LISA
2001
15 years 8 months ago
2001
Until now, system administrators have lacked a flexible real-time network traffic flow monitoring package. Such a package must provide a wide range of services but remain flexible ...
193
click to vote
USENIX
1994
15 years 8 months ago
1994
Ficus is a flexible replication facility with optimistic concurrency control designed to span a wide range of scales and network environments. Optimistic concurrency control provi...