1299 search results - page 83 / 260 » On the Correctness of Operating System Kernels |
119
click to vote
LISA
1994
15 years 5 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...
142
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Adaptation of system parameters is acknowledged as a requirement to scalable and dependable distributed systems. Unfortunately, adaptation cannot be effective when provided solely...
134
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
In many systems, sensors are used to acquire information from external environments such as temperature, pressure and locations. Due to continuous changes in these values, and lim...
171
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
131
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...