Sciweavers

7080 search results - page 754 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
AGENTS
1998
Springer
15 years 11 months ago
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...
Barney Pell, Edward B. Gamble, Erann Gat, Ron Kees...
213
Voted
IROS
2008
IEEE
126views Robotics» more  IROS 2008»
16 years 1 months ago
An optical external localization system and applications to indoor tracking
— Precise robot positioning is important for many applications in indoor environments. Current solutions to the indoor localization problem are either both unreliable and inaccur...
Srujan Linga, Binayak Roy, H. Harry Asada, Daniela...
CODES
2011
IEEE
14 years 7 months ago
Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
Jia Huang, Jan Olaf Blech, Andreas Raabe, Christia...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
16 years 12 days ago
A new placement algorithm for the mitigation of multiple cell upsets in SRAM-based FPGAs
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...
Luca Sterpone, Niccolò Battezzati
MM
2003
ACM
235views Multimedia» more  MM 2003»
16 years 16 days ago
Active capture: automatic direction for automatic movies
The Active Capture demonstration is part of a new computational media production paradigm that transforms media production from a manual mechanical process into an automated compu...
Marc Davis, Jeffrey Heer, Ana Ramirez