1299 search results - page 131 / 260 » On the Correctness of Operating System Kernels |
117
click to vote
ICPP
2003
IEEE
15 years 10 months ago
2003
IEEE
For concurrent I/O operations, atomicity defines the results in the overlapping file regions simultaneously read/written by requesting processes. Atomicity has been well studied...
135
click to vote
LISA
2003
15 years 6 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
139
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
The early 1980s saw the development of some rather sophisticated distributed systems. These were not merely networked file systems: rather, using remote procedure calls, hierarchi...
155
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
153
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Memory is a scarce resource in many embedded systems. Increasing memory often increases packaging and cooling costs, size, and energy consumption. This paper presents CRAMES, an e...