13489 search results - page 79 / 2698 » Operating System |
212
click to vote
HPCA
2011
IEEE
14 years 6 months ago
2011
IEEE
The ever increasing size and complexity of Operating System (OS) kernel code bring an inevitable increase in the number of security vulnerabilities that can be exploited by attack...
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
Embedded software often needs to be ported from one system to another. This may happen for a number of reasons among which are the need for using less expensive hardware or the ne...
112
click to vote
WSC
2000
15 years 3 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
109
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
107
Voted
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...