Vinu Vijay Kumar, Rashi Verma, John Lach, Joanne Bechta Dugan. A Markov Reward Model for Reliable Synchronous Dataflow System Design. In 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings. pages 817-825, IEEE Computer Society, 2004. [doi]
Abstract is missing.