Sciweavers

3507 search results - page 403 / 702
» Specialized execution environments
Sort
View
IROS
2008
IEEE
122views Robotics» more  IROS 2008»
16 years 1 months ago
Positioning mobile manipulators to perform constrained linear trajectories
Abstract— For mobile manipulators envisioned in home environments a kitchen scenario provides a challenging testbed for numerous skills. Diverse manipulation actions are required...
Franziska Zacharias, Christoph Borst, Michael Beet...
APSEC
2007
IEEE
16 years 1 months ago
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
João M. Fernandes, Jens Bæk Jø...
CCGRID
2007
IEEE
16 years 1 months ago
Dynamic Malleability in Iterative MPI Applications
Malleability enables a parallel application’s execution system to split or merge processes modifying granularity. While process migration is widely used to adapt applications to...
Kaoutar El Maghraoui, Travis J. Desell, Boleslaw K...
ICDCS
2007
IEEE
16 years 1 months ago
Fault Tolerance in Multiprocessor Systems Via Application Cloning
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
Philippe Bergheaud, Dinesh Subhraveti, Marc Vertes
IROS
2007
IEEE
113views Robotics» more  IROS 2007»
16 years 1 months ago
Valet parking without a valet
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
David C. Conner, Hadas Kress-Gazit, Howie Choset, ...