Sciweavers

1063 search results - page 94 / 213
» Order and Negation as Failure
Sort
View
111
Voted
DSN
2000
IEEE
15 years 5 months ago
Executable Assertions for Detecting Data Errors in Embedded Control Systems
In order to be able to tolerate the effects of faults, we must first detect the symptoms of faults, i.e. the errors. This paper evaluates the error detection properties of an erro...
Martin Hiller
ECAI
2006
Springer
15 years 4 months ago
Learning Behaviors Models for Robot Execution Control
Robust execution of robotic tasks is a difficult problem. In many situations, these tasks involve complex behaviors combining different functionalities (e.g. perception, localizat...
Guillaume Infantes, Félix Ingrand, Malik Gh...
84
Voted
NGC
2000
Springer
15 years 4 months ago
Policies for using replica groups and their effectiveness over the Internet
Replication is known to offer high availability in the presence of failures. This paper considers the case of a client making invocations on a group of replicated servers. It iden...
G. Morgan, P. D. Ezilchelvan
96
Voted
CCECE
2009
IEEE
15 years 4 months ago
Prohibitive-link Detection and Routing Protocol
In this paper we investigate the limits of routing according to left- or righthand rule (LHR). Using LHR, a node upon receipt of a message will forward to the neighbour that sits ...
Marwan Fayed, Hussein T. Mouftah
97
Voted
JCP
2006
104views more  JCP 2006»
15 years 19 days ago
Symmetric Active/Active High Availability for High-Performance Computing System Services
Abstract-- This work aims to pave the way for high availability in high-performance computing (HPC) by focusing on efficient redundancy strategies for head and service nodes. These...
Christian Engelmann, Stephen L. Scott, Chokchai Le...