Sciweavers

2421 search results - page 290 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
ICRA
2005
IEEE
156views Robotics» more  ICRA 2005»
15 years 10 months ago
Multi Robot Trajectory Generation for Single Source Explosion Parameter Estimation
— This paper addresses the problem of estimating the parameters of the advection-diffusion equation, which describes the propagation of an instantaneously released gas. A team of...
Vassilios N. Christopoulos, Stergios I. Roumelioti...
ECRTS
2003
IEEE
15 years 10 months ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
124
Voted
DFT
2002
IEEE
103views VLSI» more  DFT 2002»
15 years 10 months ago
Input Ordering in Concurrent Checkers to Reduce Power Consumption
A novel approach for reducing power consumption in checkers used for concurrent error detection is presented. Spatial correlations between the outputs of the circuit that drives t...
Kartik Mohanram, Nur A. Touba
155
Voted
PODC
2009
ACM
15 years 9 months ago
The weakest failure detector for solving k-set agreement
A failure detector is a distributed oracle that provides processes in a distributed system with hints about failures. The notion of a weakest failure detector captures the exact a...
Eli Gafni, Petr Kuznetsov
177
Voted
SAFECOMP
1998
Springer
15 years 9 months ago
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
Vincent David, Jean Delcoigne, Evelyne Leret, Alai...