loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98)
Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression
San Diego, CA
March 30-April 02
ISBN: 0-8186-8392-9
Aiguo Xie, EE-Systems Department
Peter A. Beerel, EE-Systems Department
This paper presents a methodology to speed up the stationary analysis of large Markov chains that model asynchronous systems. Instead of directly working on the original Markov chain, we propose to analyze a smaller Markov chain obtained via a novel technique called string-based state compression. Once the smaller chain is solved, the solution to the original chain is obtained via a process called expansion. The method is especially powerful when the Markov chain has a small feedback vertex set, which happens often in asynchronous systems. Experimental results show that the method can yield reductions of more than an order of magnitude in run time and facilitate the analysis of larger systems than possible using traditional techniques.
Index Terms:
Asynchronous systems, Markov chain models, stationary analysis, convergence rate, state compression, feedback vertex set, performance evaluation, power estimation
Citation:
Aiguo Xie, Peter A. Beerel, "Accelerating Markovian Analysis of Asynchronous Systems using String- based State Compression," async, pp.0247, Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 1998
Usage of this product signifies your acceptance of the Terms of Use.