1299 search results - page 22 / 260 » On the Correctness of Operating System Kernels |
125
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
There is increasing interest in using general-purpose operating systems, such as Linux, on embedded platforms. It is especially important in embedded systems to use memory effici...
109
click to vote
ICS
2000
Tsinghua U.
15 years 5 months ago
2000
Tsinghua U.
Complete system simulation to understand the influence of architecture and operating systems on application execution has been identified to be crucial for systems design. While t...
241
click to vote
NOSSDAV
1991
Springer
15 years 5 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...
154
click to vote
RTSS
1992
IEEE
15 years 6 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
96
Voted
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...