Sciweavers

1600 search results - page 28 / 320
» The human-robot interaction operating system
Sort
View
ENTCS
2008
94views more  ENTCS 2008»
15 years 4 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp
HCI
2009
15 years 2 months ago
Development of Portable Robotic Operation Terminals to Achieve Increased Safety and Usability and a Study on the Effectiveness o
In factory automation (FA) industry, it is essential for the working environment using industrial robots to be provided with measures that assure operator's safety and good us...
Hidetoshi Fukui, Satoshi Yonejima, Masatake Yamano...
SIGMETRICS
2010
ACM
201views Hardware» more  SIGMETRICS 2010»
15 years 9 months ago
Transparent, lightweight application execution replay on commodity multiprocessor operating systems
We present S, the first system to provide transparent, lowoverhead application record-replay and the ability to go live from replayed execution. S i...
Oren Laadan, Nicolas Viennot, Jason Nieh
ENTCS
2008
142views more  ENTCS 2008»
15 years 4 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe
USENIX
2003
15 years 6 months ago
Undo for Operators: Building an Undoable E-mail Store
System operators play a critical role in maintaining server dependability yet lack powerful tools to help them do so. To help address this unfulfilled need, we describe Operator U...
Aaron B. Brown, David A. Patterson