ESOP
2007
Springer
14 years 6 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
IROS
2009
IEEE
14 years 6 months ago
2009
IEEE
— As the size of the modules in a self-reconfiguring modular robotic system shrinks and the number of modules increases, the flexibility of the system as a whole increases. In ...
ICRA
2009
IEEE
14 years 6 months ago
2009
IEEE
— Accurate localization of landmarks in the vicinity of a robot is a first step towards solving the SLAM problem. In this work, we propose algorithms to accurately estimate the ...