Accelerating Markovian analysis of asynchronous systems using state compression

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.771173 ◽

1999 ◽

Vol 18 (7) ◽

pp. 869-888 ◽

Author(s):

Aiguo Xie ◽

P.A. Beerel

Keyword(s):

Asynchronous Systems ◽

Markovian Analysis

Download Full-text

Accelerating Markovian analysis of asynchronous systems using string-based state compression

Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems ◽

10.1109/async.1998.666510 ◽

2002 ◽

Author(s):

Aiguo Xie ◽

P.A. Beerel

Keyword(s):

Asynchronous Systems ◽

Markovian Analysis

Download Full-text

The reactive simulatability (RSIM) framework for asynchronous systems

Information and Computation ◽

10.1016/j.ic.2007.05.002 ◽

2007 ◽

Vol 205 (12) ◽

pp. 1685-1720 ◽

Author(s):

Michael Backes ◽

Birgit Pfitzmann ◽

Michael Waidner

Keyword(s):

Asynchronous Systems ◽

Reactive Simulatability

Download Full-text

A Markovian Analysis for Explicit Probabilistic Stopping-Based Information Propagation in Postdisaster Ad Hoc Mobile Networks

IEEE Transactions on Wireless Communications ◽

10.1109/twc.2015.2466621 ◽

2016 ◽

Vol 15 (1) ◽

pp. 81-90 ◽

Author(s):

Jiajia Liu ◽

Nei Kato

Keyword(s):

Mobile Networks ◽

Ad Hoc ◽

Information Propagation ◽

Ad Hoc Mobile Networks ◽

Markovian Analysis

Download Full-text

Exception Handling in Timed Asynchronous Systems

Concurrency in Dependable Computing ◽

10.1007/978-1-4757-3573-4_11 ◽

2002 ◽

pp. 209-227 ◽

Author(s):

Robert Miller ◽

Anand Tripathi

Keyword(s):

Exception Handling ◽

Asynchronous Systems

Download Full-text

Markovian analysis of a heterogeneous system: application to a cooperation task for multiple consumer robots

SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166) ◽

10.1109/icsmc.2000.884463 ◽

2002 ◽

Author(s):

P. Rongier ◽

A. Liegeois ◽

O. Simonin

Keyword(s):

System Application ◽

Heterogeneous System ◽

Markovian Analysis

Download Full-text

A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems

10.1109/icdcs.2009.16 ◽

2009 ◽

Author(s):

Paul Johnson ◽

Neeraj Mittal

Keyword(s):

Detection Algorithm ◽

Asynchronous Systems ◽

Termination Detection ◽

Distributed Termination Detection

Download Full-text

A bound of the reliability perturbations for Markovian analysis under uncertainty

Annals of Nuclear Energy ◽

10.1016/0306-4549(87)90068-5 ◽

1987 ◽

Vol 14 (9) ◽

pp. 505-510 ◽

Author(s):

D. Dengis ◽

J. Devooght

Keyword(s):

Markovian Analysis

Download Full-text

A precoded multiuser OFDM (PMU-OFDM) transceiver for time asynchronous systems

GLOBECOM '05. IEEE Global Telecommunications Conference, 2005. ◽

10.1109/glocom.2005.1578057 ◽

2005 ◽

Author(s):

Shang-Ho Tsai ◽

Yuan-Pei Lin ◽

C.-C.J. Kuo

Keyword(s):

Asynchronous Systems ◽

Download Full-text

Towards specification and proof of asynchronous systems

STACS 86 - Lecture Notes in Computer Science ◽

10.1007/3-540-16078-7_82 ◽

1986 ◽

pp. 262-276 ◽

Author(s):

B. Gamatie

Keyword(s):

Asynchronous Systems

Download Full-text

Shortened time-invariant decorrelating detector for DS/CDMA asynchronous systems

Signal Processing ◽

10.1016/s0165-1684(97)00096-0 ◽

1997 ◽

Vol 61 (2) ◽

pp. 101-111

Author(s):

Ángel M. Bravo

Keyword(s):

Asynchronous Systems ◽

Decorrelating Detector ◽

Download Full-text