Sciweavers

1967 search results - page 114 / 394
» The Case for Determinism in Database Systems
Sort
View
ICFEM
1998
Springer
15 years 10 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
CORR
2011
Springer
157views Education» more  CORR 2011»
15 years 1 months ago
Convergence of type-symmetric and cut-balanced consensus seeking systems
We consider continuous-time consensus seeking systems whose time-dependent interactions are cut-balanced, in the following sense: if a group of agents influences the remaining on...
Julien M. Hendrickx, John N. Tsitsiklis
SSS
2009
Springer
128views Control Systems» more  SSS 2009»
15 years 11 months ago
Dependability Engineering of Silent Self-stabilizing Systems
Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for man...
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, H...
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
15 years 6 months ago
Active mode observability of switching linear systems
In this paper active mode observability is addressed for a class of discrete-time linear systems that may switch in an unknown and unpredictable way among different modes taken f...
Marco Baglietto, Giorgio Battistelli, Luca Scardov...
WORDS
2005
IEEE
16 years 16 hour ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...