13489 search results - page 158 / 2698 » Operating System |
160
click to vote
SCCC
1997
IEEE
15 years 10 months ago
1997
IEEE
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...
165
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
166
click to vote
LFP
1990
15 years 7 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 ...
141
click to vote
ADAEUROPE
2008
Springer
16 years 23 days ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
144
click to vote
RSCTC
1998
Springer
15 years 10 months ago
1998
Springer
This paper reviews and discusses generalizations of Pawlak rough set approximation operators in mathematical systems, such as topological spaces, closure systems, lattices, and pos...