✦ LIBER ✦

Towards scalable model checking of self-stabilizing programs

✍ Scribed by Chen, Jingshu; Abujarad, Fuad; Kulkarni, Sandeep

Book ID: 123502210
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 653 KB
Volume: 73
Category: Article
ISSN: 0743-7315
DOI: 10.1016/j.jpdc.2012.12.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comments on "Self-Stabilizing Programs:

Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs"

✍ Best, E.; Cristian, F. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 425 KB

Symbolic model checking for self-stabili

Symbolic model checking for self-stabilizing algorithms

✍ T. Tsuchiya; S. Nagano; R. Paidi; T. Kikuno 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 558 KB

Toward high-performance computational ch

Toward high-performance computational chemistry: II. A scalable self-consistent field program

✍ Harrison, Robert J.; Guest, Martyn F.; Kendall, Rick A.; Bernholdt, David E.; Wo 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 783 KB

We discuss issues in developing scalable parallel algorithms and focus on the distribution, as opposed to the replication, of key data structures. Replication of large data structures limits the maximum calculation size by imposing a low ratio of processors to memory. Only applications which distrib

Syntax-directed model checking of sequen

Syntax-directed model checking of sequential programs

✍ Karen Yorav; Orna Grumberg 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 447 KB

Stability Analysis of Switched Fuzzy Sys

Stability Analysis of Switched Fuzzy Systems Via Model Checking

✍ Ding, Zuohua; Zhou, Yuan; Zhou, MengChu 📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 551 KB

On an equivalence checking technique for

On an equivalence checking technique for algebraic models of programs

✍ R. I. Podlovchenko 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 233 KB