IJCSA
2007
14 years 11 days ago
2007
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and ...
USENIX
2007
14 years 2 months ago
2007
The ability to checkpoint a running application and restart it later can provide many useful benefits including fault recovery, advanced resources sharing, dynamic load balancing...
HOTDEP
2008
14 years 2 months ago
2008
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
NOSSDAV
1991
Springer
14 years 4 months ago
1991
Springer
: We have developed a real-time operating system kernel which has been used to support the transmission and reception of streams of live digital audio and video in real-time as par...
ACSAC
2004
IEEE
14 years 4 months ago
2004
IEEE
In current extensible monolithic operating systems, loadable kernel modules (LKM) have unrestricted access to all portions of kernel memory and I/O space. As a result, kernel-modu...
HOTOS
2007
IEEE
14 years 4 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...
SIGCSE
2004
ACM
14 years 5 months ago
2004
ACM
Undergraduate operating systems courses are generally taught e of two approaches: abstract or concrete. In the approach, students learn the concepts underlying operating systems t...