Sciweavers

5600 search results - page 66 / 1120
» Synthesizing robust systems
Sort
View
COMPSAC
2004
IEEE
13 years 11 months ago
Robustness Study of an Embedded Operating System for Industrial Applications
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
Juan Pardo, José Carlos Campelo, Juan Jos&e...
ICCE
2007
151views Education» more  ICCE 2007»
13 years 9 months ago
A Diverse and Robust Tutoring System for Medical Problem-Based Learning
: Problem-based learning (PBL) is becoming increasingly popular in medical education as a means of equipping students with the required clinical reasoning skills. However, faculty ...
Hameedullah Kazi
CDC
2009
IEEE
155views Control Systems» more  CDC 2009»
13 years 11 months ago
Efficient and robust communication topologies for distributed decision making in networked systems
Distributed decision making in networked systems depends critically on the timely availability of critical fresh information. Performance of networked systems, from the perspective...
John S. Baras, Pedram Hovareshti
DSN
2008
IEEE
14 years 2 months ago
A robust and lightweight stable leader election service for dynamic systems
We describe the implementation and experimental evaluation of a fault-tolerant leader election service for dynamic systems. Intuitively, distributed applications can use this serv...
Nicolas Schiper, Sam Toueg
ICRA
2002
IEEE
177views Robotics» more  ICRA 2002»
14 years 21 days ago
Robust Vision-Based Localization for Mobile Robots using an Image Retrieval System Based on Invariant Features
In this paper we present a vision-based approach to mobile robot localization, that integrates an image retrieval system with Monte-Carlo localization. The image retrieval process...
Jürgen Wolf, Wolfram Burgard, Hans Burkhardt