5376 search results - page 51 / 1076 » Scalable Kernel Systems |
102
click to vote
HOTOS
2007
IEEE
15 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...
ETFA
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents VITRAL, a multicolor text mode window manager designed for embedded real-time systems. Therefore, timeliness requirements and resource constraints are the main...
DAIS
2006
15 years 1 months ago
2006
Abstract. Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concern...
89
Voted
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
104
Voted
USENIX
2007
15 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...