5376 search results - page 110 / 1076 » Scalable Kernel Systems |
110
click to vote
TII
2008
15 years 4 months ago
2008
In recent years, approaches to control performance and resource optimization for embedded control systems have been receiving increased attention. Most of them focus on theory, whe...
127
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
113
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
166
click to vote
CF
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we compare the architectural perspectives of the Wave Field Synthesis (WFS) 3D-audio algorithm mapped on three different platforms: a General Purpose Processor (GP...
130
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
We describe the software architecture, technical features, and performance of TICK (Transparent Incremental Checkpointer at Kernel level), a system-level checkpointer implemented ...