13618 search results - page 36 / 2724 » The Newton Operating System |
SIGOPSE
2004
ACM
14 years 1 months ago
2004
ACM
The architecture of an operating system, e.g. micro kernel or monolithic kernel, is usually seen as something static. Even during the long lasting evolution of operating system co...
HOTOS
1999
IEEE
13 years 12 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
IFM
2010
Springer
13 years 5 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...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
KES
2006
Springer
13 years 7 months ago
2006
Springer
Training of operators has become an important problem to be faced by power systems: updating knowledge and skills. An operator must comprehend the physical operation of the process...