1299 search results - page 87 / 260 » On the Correctness of Operating System Kernels |
137
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
In a shared-memory multiprocessor system, it is possible that certain synchronization operations are redundant -that is, their corresponding sequencing requirements are enforced c...
130
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
138
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
As a software system evolves to accommodate new features and repair bugs, changes are needed. Software components are interdependent, changes made to one component can require cha...
118
click to vote
ISCAPDCS
2003
15 years 5 months ago
2003
EnFuzion and MOSIX are two packages that represent different approaches to cluster management. EnFuzion is a user-level queuing system that can dispatch a predetermined number of ...
152
click to vote
DIMVA
2010
15 years 4 months ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...