Sciweavers

13489 search results - page 82 / 2698
» Self-migration of operating systems
Sort
View
OSDI
2000
ACM
15 years 5 months ago
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth ...
DICS
2006
15 years 6 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
CDC
2010
IEEE
139views Control Systems» more  CDC 2010»
14 years 11 months ago
Optimal control on non-compact lie groups: A projection operator approach
Many nonlinear systems of practical interest evolve on Lie groups or on manifolds acted upon by Lie groups. Examples range from aircraft and underwater vehicles to quantum mechanic...
Alessandro Saccon, John Hauser, A. Pedro Aguiar
ICAI
2008
15 years 6 months ago
Behavior-based Perceptual Navigation for Semi-Autonomous Wheelchair Operations
Abstract-- This paper describes an overview of our semiautonomous (SA) wheelchair prototype and emphasizes the design of the perceptual navigation system. The goal of our project i...
Hajime Uchiyama, Walter D. Potter