Sciweavers

870 search results - page 69 / 174
» The failure detector abstraction
Sort
View
ADAEUROPE
2008
Springer
14 years 3 months ago
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
ICRA
2006
IEEE
101views Robotics» more  ICRA 2006»
14 years 3 months ago
Experiments with an Ecological Interface for Monitoring Tightly-coordinated Robot Teams
Abstract— Many robotics applications require a human operator to monitor multiple robots that collaborate to achieve the operator’s goals. Most approaches to such monitoring fo...
Gal A. Kaminka, Yehuda Elmaliach
ERLANG
2006
ACM
14 years 3 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain
ISPA
2005
Springer
14 years 2 months ago
ER-TCP: An Efficient Fault-Tolerance Scheme for TCP Connections
Abstract. This paper proposes a novel scheme, named ER-TCP, which transparently masks the failures happened on the server nodes in a cluster from clients at TCP connection granular...
Zhiyuan Shao, Hai Jin, Bin Cheng, Wenbin Jiang
MKM
2005
Springer
14 years 2 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis