Výsledky vyhledávání - "distributed snapshot algorithm"

Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level Autor Thu Doan, Ha Thi, Ogata, Kazuhiro, Bonnet, Francois

“…The paper proposes a new approach to model checking Chandy-Lamport Distributed Snapshot Algorithm (CLDSA). The essential of the approach is that CLDSA is…”
Získat plný text

Efficient Distributed Snapshot Algorithms with Less Message Overhead Autor Park, Taesoon

“…Distributed snapshot algorithms to capture the consistent global states of a distributed system are presented. In addition to the state variable (red or white)…”
Získat plný text

Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited Autor Thu Doan, Ha Thi, Zhang, Wenjie, Zhang, Min, Ogata, Kazuhiro

“…Chandy and Lamport have proposed a distributed snapshot algorithm (called CLDSA). One desired property of CLDSA is as follows. Let s1 be the state in which…”
Získat plný text

Robust snapshot algorithm for power consumption monitoring in computationally constrained micro-grids Autor Ambassa, Pacome L., Wolthusen, Stephen D., Kayem, Anne V. D. M., Meinel, Christoph

“…We present an approach to monitoring power consumption in a distributed computationally constrained micro-grid. Computationally constrained micro-grids…”
Získat plný text