685 search results - page 20 / 137 » Closure Operators for Order Structures |
104
click to vote
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
127
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...
124
click to vote
OSDI
1994
ACM
15 years 3 months ago
1994
ACM
We describe the lockingarchitecture of a new operating system, HURRICANE, designed for large scale shared-memory multiprocessors. Many papers already describe kernel lockingtechni...
98
Voted
CCR
2002
15 years 1 months ago
2002
The features of ATM offered many attractions to the application community, such as fine-grained multiplexing and high-throughput links. These created considerable challenges for t...
ENTCS
2008
15 years 1 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...