Výsledky vyhľadávania - "distributed snapshot algorithm"

Automatic message sequence chart creation from simulation run of the proposed parametric colored Petri net model of the Chandy-Lamport algorithm

Autori: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a ďalší

Predmety: Chandy-Lamport Distributed Snapshot Algorithm, Colored Petri Net, Hierarchical Modeling, Visualization, Message Sequence Chart

Relation: https://zenodo.org/records/10986781; oai:zenodo.org:10986781; https://doi.org/10.5281/zenodo.10986781

Dostupnosť: https://doi.org/10.5281/zenodo.10986781
https://zenodo.org/records/10986781

Model checking of the proposed parametric colored Petri net model of the Chandy-Lamport algorithm

Autori: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a ďalší

Predmety: Chandy-Lamport Distributed Snapshot Algorithm, Colored Petri Net, Hierarchical Modeling, Verification, Model Checking

Relation: https://zenodo.org/records/10977404; oai:zenodo.org:10977404; https://doi.org/10.5281/zenodo.10977404

Dostupnosť: https://doi.org/10.5281/zenodo.10977404
https://zenodo.org/records/10977404

Automatic message sequence chart creation from simulation run of the parametric colored Petri net model of the Chandy-Lamport algorithm with four processes

Autori: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a ďalší

Predmety: Chandy-Lamport Distributed Snapshot Algorithm, Colored Petri Net, Hierarchical Modeling, Visualization, Message Sequence Chart

Relation: https://zenodo.org/records/10987531; oai:zenodo.org:10987531; https://doi.org/10.5281/zenodo.10987531

Dostupnosť: https://doi.org/10.5281/zenodo.10987531
https://zenodo.org/records/10987531

A checkpointing mechanism for virtual clusters using memorybound time-multiplexed data transfers

Autori: Jumpol Yaothanee orcid:0000-0001-5175- Kasidit Chanchio

Predmety: Cloud fault tolerance, Distributed snapshot algorithm, Hypervisor-level checkpointing, In-memory checkpointing, Virtual cluster checkpointing

Relation: https://zenodo.org/records/10460823; oai:zenodo.org:10460823

Dostupnosť: https://doi.org/10.11591/ijece.v14i1.pp1147-1165
https://zenodo.org/records/10460823

Model checking of Chandy-Lamport algorithm modeled by colored Petri net

Autori: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a ďalší

Predmety: Chandy-Lamport Distributed Snapshot Algorithm, Colored Petri Net, Hierarchical Modeling, Verification, Model Checking

Relation: https://zenodo.org/records/8331485; oai:zenodo.org:8331485; https://doi.org/10.5281/zenodo.8331485

Dostupnosť: https://doi.org/10.5281/zenodo.8331485
https://zenodo.org/records/8331485

Automatic message sequence chart creation from simulation run of the Chandy-Lamport algorithm modeled by colored Petri net

Autori: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a ďalší

Predmety: Chandy-Lamport Distributed Snapshot Algorithm, Colored Petri Net, Hierarchical Modeling, Message Sequence Chart, Simulation Run

Relation: https://zenodo.org/records/8320296; oai:zenodo.org:8320296; https://doi.org/10.5281/zenodo.8320296

Dostupnosť: https://doi.org/10.5281/zenodo.8320296
https://zenodo.org/records/8320296

A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property

Autori: Kazuhiro Ogata Ha Thi Thu Doan

Zdroj: COMPUTING AND INFORMATICS; Vol. 38 No. 5 (2019): Computing and Informatics; 1009–1038

Predmety: state machine, 68N30, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Distributed snapshot algorithm, 01 natural sciences, property specification, model checking, reachability

Popis súboru: application/pdf

Prístupová URL adresa: http://www.cai.sk/ojs/index.php/cai/article/download/2019_5_1009/981
https://www.cai.sk/ojs/index.php/cai/article/view/2019_5_1009
https://dblp.uni-trier.de/db/journals/cai/cai38.html#DoanO19
http://www.cai.sk/ojs/index.php/cai/article/view/2019_5_1009

Revisiting Model Checking of Chandy-Lamport Distributed Snapshot Algorithm

Autori: Doan, Thi Thu Ha

Predmety: distributed snapshot algorithm, reachability, state machine, model checking

Popis súboru: application/pdf

Relation: http://hdl.handle.net/10119/12928

Dostupnosť: http://hdl.handle.net/10119/12928

Revisiting Model Checking of Chandy-Lamport Distributed Snapshot Algorithm.

Autori: Doan, Thi Thu Ha

Témy: distributed snapshot algorithm, reachability, state machine, model checking, Thesis or Dissertation., AM.

URL: http://hdl.handle.net/10119/12928
https://dspace.jaist.ac.jp/dspace/bitstream/10119/12928/4/abstract.pdf
https://dspace.jaist.ac.jp/dspace/bitstream/10119/12928/5/paper.pdf