452 search results - page 33 / 91 » Diagnosability Analysis of Distributed Discrete Event System... |
150
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
160
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...
167
click to vote
CUZA
2002
15 years 4 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
154
click to vote
ICDCS
1999
IEEE
15 years 8 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
133
click to vote
CEJCS
2011
14 years 4 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...