1299 search results - page 32 / 260 » On the Correctness of Operating System Kernels |
151
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...
142
Voted
EWSN
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Event-driven operating systems such as TinyOS are the preferred choice for wireless sensor networks. Alternative designs following a classical multi-threaded approach are...
118
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
135
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
110
Voted
SIGMETRICS
2006
ACM
15 years 10 months ago
2006
ACM
Modern architecture research relies heavily on applicationlevel detailed pipeline simulation. A time consuming part of building a simulator is correctly emulating the operating sy...