1054 search results - page 39 / 211 » From a Verified Kernel towards Verified Systems |
142
click to vote
ICRA
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper presents a geometrical feature detection system to use with conventional 2D laser rangefinders. This system consists of three main modules: data acquisition and pre...
AUTOMATICA
2007
15 years 1 months ago
2007
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
104
click to vote
ASIACRYPT
2008
Springer
15 years 4 months ago
2008
Springer
In a proof-of-retrievability system, a data storage center must prove to a verifier that he is actually storing all of a client's data. The central challenge is to build syst...
130
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
USS
2008
15 years 4 months ago
2008
Generation of random numbers is a critical component of existing post-election auditing techniques. Recent work has largely discouraged the use of all pseudorandom number generato...