1299 search results - page 135 / 260 » On the Correctness of Operating System Kernels |
165
click to vote
SIGOPS
2008
15 years 4 months ago
2008
The Linux Kernel currently supports at least 8 distinct virtualization systems: Xen, KVM, VMware's VMI, IBM's System p, IBM's System z, User Mode Linux, lguest and ...
141
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
150
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
175
Voted
PODC
2006
ACM
15 years 10 months ago
2006
ACM
Byzantine agreement algorithms typically assume implicit initial state consistency and synchronization among the correct nodes and then operate in coordinated rounds of informatio...
122
click to vote
NOSSDAV
1991
Springer
15 years 8 months ago
1991
Springer
One of the most important emerging developments for improving the user/computer interface has been the addition of multimedia facilities to high-performance workstations. Although...