4693 search results - page 576 / 939 » Verifying Hybrid Systems |
189
click to vote
WDAG
2005
Springer
16 years 9 days ago
2005
Springer
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
189
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
157
click to vote
CAV
2004
Springer
16 years 7 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
154
click to vote
EWSA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
210
click to vote
FORMATS
2004
Springer
16 years 7 days ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...