Sciweavers

1600 search results - page 136 / 320
» The human-robot interaction operating system
Sort
View
KBSE
2010
IEEE
15 years 4 months ago
An automated approach for finding variable-constant pairing bugs
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
Julia L. Lawall, David Lo
JAIR
2011
144views more  JAIR 2011»
15 years 1 months ago
Iterated Belief Change Due to Actions and Observations
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
Aaron Hunter, James P. Delgrande
ACSD
2003
IEEE
95views Hardware» more  ACSD 2003»
15 years 11 months ago
Quasi-Static Scheduling for Concurrent Architectures
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
CLUSTER
2003
IEEE
15 years 11 months ago
A Distributed Performance Analysis Architecture for Clusters
The use of a cluster for distributed performance analysis of parallel trace data is discussed. We propose an analysis architecture that uses multiple cluster nodes as a server to ...
Holger Brunst, Wolfgang E. Nagel, Allen D. Malony
HAPTICS
2010
IEEE
15 years 11 months ago
Transparency of the Generalized Scattering Transformation for Haptic Telepresence
In this paper we analyze the transparency of the generalized scattering transformation applied to teleoperation systems with constant time delay. Particularly, the human operator, ...
Iason Vittorias, Sandra Hirche