Sciweavers

1663 search results - page 316 / 333
» Software Reuse and Safety
Sort
View
JFR
2007
176views more  JFR 2007»
13 years 7 months ago
Two years of Visual Odometry on the Mars Exploration Rovers
NASA’s two Mars Exploration Rovers (MER) have successfully demonstrated a robotic Visual Odometry capability on another world for the first time. This provides each rover with ...
Mark W. Maimone, Yang Cheng, Larry Matthies
RTS
2008
119views more  RTS 2008»
13 years 7 months ago
Symbolic quality control for multimedia applications
We present a fine grain quality control method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions a...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
CSCW
2011
ACM
13 years 2 months ago
Supporting air traffic control collaboration with a TableTop system
Collaboration is key to safety and efficiency in Air Traffic Control. Legacy paper-based systems enable seamless and non-verbal collaboration, but trends in new software and hardw...
Stéphane Conversy, Hélène Gas...
JCST
2010
198views more  JCST 2010»
13 years 2 months ago
Certification of Thread Context Switching
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
Yu Guo, Xinyu Jiang, Yiyun Chen
RTAS
2011
IEEE
12 years 11 months ago
Virtual-CPU Scheduling in the Quest Operating System
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
Matthew Danish, Ye Li, Richard West