1299 search results - page 146 / 260 » On the Correctness of Operating System Kernels |
162
click to vote
JSC
2006
15 years 4 months ago
2006
In this paper, we present a new algorithm for the exact solutions of linear systems with integer coefficients using numerical methods. It terminates with the correct answer in wel...
170
click to vote
TPDS
2010
15 years 3 months ago
2010
Abstract—Vehicular Ad Hoc Network (VANET) can offer various services and benefits to users and thus deserves deployment effort. Attacking and misusing such network could cause d...
127
click to vote
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
Stellar aggregates and correlates alerts from heterogeneous network defense systems, building scenarios and estimating the security risk of the entire scenario. Prior work conside...
160
click to vote
DSN
2003
IEEE
15 years 10 months ago
2003
IEEE
The DepAuDE architecture provides middleware to integrate fault tolerance support into distributed embedded automation applications. It allows error recovery to be expressed in te...
139
click to vote
EH
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a multi-objective Evolutionary Algorithm (EA) system for the synthesis of efficient non-linear VLSI circuit modules. The EA takes the specification for a no...