Sciweavers

4959 search results - page 521 / 992
» Evolution maps and applications
Sort
View
DATE
2008
IEEE
114views Hardware» more  DATE 2008»
16 years 1 months ago
Synthesis of Fault-Tolerant Embedded Systems
This work addresses the issue of design optimization for faulttolerant hard real-time systems. In particular, our focus is on the handling of transient faults using both checkpoin...
Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Pe...
SEMCO
2008
IEEE
16 years 1 months ago
Extracting and Exploring the Geo-Temporal Semantics of Textual Resources
Geo-temporal criteria are important for filtering, grouping and prioritizing information resources. This presents techniques for extracting semantic geo-temporal information from ...
Bruno Martins, Hugo Manguinhas, José Luis B...
CRV
2007
IEEE
101views Robotics» more  CRV 2007»
16 years 1 months ago
Using a Raster Display for Photometric Stereo
This paper presents a new controlled lighting apparatus which uses a raster display device as a light source. The setup has the advantage over other alternatives in that it is rel...
Nathan Funk, Yee-Hong Yang
IROS
2007
IEEE
112views Robotics» more  IROS 2007»
16 years 1 months ago
From structured english to robot motion
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
ISORC
2007
IEEE
16 years 1 months ago
Real-Time Dynamic Guarantee in Component-Based Middleware
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
Cássia Yuri Tatibana, Carlos Montez, R&ocir...