IFM
2010
Springer
13 years 9 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
SIGOPS
2010
13 years 10 months ago
2010
The file system is one of the most critical components of the operating system. Almost all applications running in the operating system require file systems to be available for ...
SIGOPS
2008
13 years 11 months ago
2008
Several real-time Linux extensions are available nowadays. Two of those extensions that have received special attention recently are Preempt-RT and Xenomai. This paper evaluates t...
SIGOPS
2008
13 years 11 months ago
2008
A principal challenge in operating system design is controlling system throughput and responsiveness while maximizing resource utilization. Unlike previous attempts in kernel reso...
SOFTWARE
2002
13 years 11 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
TOCS
1998
13 years 11 months ago
1998
ile system abstractions, they all require either changes to the operating system or modifications to standard libraries. The article gives a detailed performance analysis of our ap...
SIGCSE
2002
ACM
13 years 11 months ago
2002
ACM
In this paper, we describe PortOS, an educational operating system designed to complement undergraduate and graduate level classes on operating systems. PortOS is a complete user-...
PC
2002
13 years 11 months ago
2002
Present operating systems are not built to support parallel computing
COMPUTER
1999
13 years 11 months ago
1999
abstract over a complex set of resources and provide a high-level way to share and manage them over the network. To be effective, such a system must address the challenges posed by...
SIGCSE
2000
ACM
13 years 11 months ago
2000
ACM
Effective teaching of operating system concepts requires projects. This paper describes a series of operating system projects all based on a simple hardware simulator that have be...