13489 search results - page 84 / 2698 » Self-migration of operating systems |
113
click to vote
AVI
2004
15 years 5 months ago
2004
Recent research and technology advances indicate that multiple monitor systems are likely to become commonplace in the near future. An important property of such systems is that t...
132
click to vote
USENIX
2003
15 years 5 months ago
2003
Traditionally, UNIX operating systems have been equipped with monolithic network stack implementations,
139
click to vote
USENIX
2003
15 years 5 months ago
2003
System operators play a critical role in maintaining server dependability yet lack powerful tools to help them do so. To help address this unfulfilled need, we describe Operator U...
141
click to vote
LFP
1990
15 years 5 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
133
click to vote
IANDC
1998
15 years 4 months ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...