MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Using simulated execution in verifying distributed algorithms." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Using Simulated Execution in Verifying Distributed Algorithms
by Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli, Nancy A. Lynch — 2003 — Software Tools for Technology Transfer
…Using Simulated Execution in Verifying Distributed Algorithms Toh Ne Win, Michael D. Ernst, Stephen…
Cited by 23 (7 self) – Add To MetaCart

Simplifying Distributed System Development We predict that the future is in... predicting
by Maysam Yab, Nedeljko Vasić, Dejan Kostić, Viktor Kuncak
… simulated execution to verify distributed algorithms specified as nondeterministic I/O automata. Relative…
Add To MetaCart

We predict that the future is in... predicting the future.
by Maysam Yab, Nedeljko Vasić, Dejan Kostić, Viktor Kuncak
… is better with 9 levels. 5 Related Work Win et al. [15] use simulated execution to verify distributed…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB