1222 search results - page 26 / 245 » Verifying a File System Implementation |
130
click to vote
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
134
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
123
click to vote
FORTE
1990
15 years 5 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
136
click to vote
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
153
click to vote
CDES
2006
15 years 5 months ago
2006
As the speed gap between CPU and I/O is getting wider and wider, I/O latency plays a more important role to the overall system performance than it used to be. Prefetching consecut...