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

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

Efficient Distributed Snapshot Algorithms with Less Message Overhead

Autori: Taesoon Park

Zdroj: 2022 International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT). :602-607

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net

Autori: Saeid Pashazadeh Basheer Zuhair Jaafar Al-Basseer Jafar Tanha

Zdroj: IET Software, Vol 2024 (2024)

Predmety: QA76.75-76.765, 0202 electrical engineering, electronic engineering, information engineering, Computer software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: https://doaj.org/article/a34ba97449314f75a40737caf11f33f7

Distributed Snapshot algorithm for multi-active object-based applications

Autori: de Souza, Michel J Baude, Françoise Baude, Francoise a ďalší

Prispievatelia: de Souza, Michel J Baude, Françoise Baude, Francoise a ďalší

Zdroj: Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014). :61-73

Predmety: multi-active objects, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, checkpointing, Fault tolerance, 02 engineering and technology

Popis súboru: application/pdf

Prístupová URL adresa: https://inria.hal.science/hal-01087336v1

Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level

Autori: Ha Thi Thu Doan Kazuhiro Ogata François Bonnet

Zdroj: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS). :1586-1596

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 6. Clean water

Prístupová URL adresa: https://dblp.uni-trier.de/db/conf/icdcs/icdcs2017.html#DoanOB17
https://ieeexplore.ieee.org/document/7980096/

Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited

Autori: Ha Thi Thu Doan Kazuhiro Ogata Min Zhang a ďalší

Zdroj: 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT). :30-39

Predmety: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 3. Good health

Prístupová URL adresa: https://ieeexplore.ieee.org/document/7434467/

DS+: Reliable Distributed Snapshot Algorithm for Wireless Sensor Networks

Autori: Gamze Uslu Kemal Cagri Serdaroglu Sebnem Baydere

Zdroj: Journal of Computer Networks and Communications, Vol 2013 (2013)

Predmety: Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology

Popis súboru: text/xhtml

Prístupová URL adresa: http://downloads.hindawi.com/journals/jcnc/2013/970597.pdf
https://doaj.org/article/6afaebb3d10d459499e6376af1ae4c3d
https://dblp.uni-trier.de/db/journals/jcnc/jcnc2013.html#UsluSB13
https://www.hindawi.com/journals/jcnc/2013/970597/
https://downloads.hindawi.com/journals/jcnc/2013/970597.pdf
https://doi.org/10.1155/2013/970597
http://downloads.hindawi.com/journals/jcnc/2013/970597.pdf
http://dblp.uni-trier.de/db/journals/jcnc/jcnc2013.html#UsluSB13

A symmetric O(n log n) message distributed snapshot algorithm for large-scale systems

Autori: Ajay D. Kshemkalyani

Zdroj: 2009 IEEE International Conference on Cluster Computing and Workshops. :1-4

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Prístupová URL adresa: https://dblp.uni-trier.de/db/conf/cluster/cluster2009.html#Kshemkalyani09
http://dblp.uni-trier.de/db/conf/cluster/cluster2009.html#Kshemkalyani09
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005289139

Using a distributed snapshot algorithm in wireless sensor networks

Autori: A.P.R. da Silva Fernando A. Teixeira José Marcos S. Nogueira a ďalší

Zdroj: The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings.. :31-37

Predmety: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: http://www.sensornet.dcc.ufmg.br/pdf/US16-Silva-NEW.pdf
https://ieeexplore.ieee.org/document/1204291/
https://doi.ieeecomputersociety.org/10.1109/FTDCS.2003.1204291
https://dblp.uni-trier.de/db/conf/ftdcs/ftdcs2003.html#SilvaTLRLN03

On distributed snapshot algorithms

Autori: Yongqiang Sun Letian He

Zdroj: Proceedings. Advances in Parallel and Distributed Computing. :291-297

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: http://ieeexplore.ieee.org/document/574046/
https://www.computer.org/csdl/proceedings-article/apdc/1997/78760291/12OmNAtaS0r
https://dblp.uni-trier.de/db/conf/apdc/apdc1997.html#HeS97
https://ieeexplore.ieee.org/document/574046/
https://dl.acm.org/citation.cfm?id=786397

Analysis of Distributed Snapshot Algorithms

Autori: Srivatsa, Sharath

Predmety: FOS: Computer and information sciences, Computer Science - Distributed, Parallel, and Cluster Computing, 0103 physical sciences, 0102 computer and information sciences, Distributed, Parallel, and Cluster Computing (cs.DC), 01 natural sciences

Prístupová URL adresa: http://arxiv.org/abs/1601.08039

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

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

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

A MORE FAITHFUL FORMAL DEFINITION OF THE DESIRED PROPERTY FOR DISTRIBUTED SNAPSHOT ALGORITHMS TO MODEL CHECK THE PROPERTY.

Autori: Ha Thi Thu DOAN Kazuhiro OGATA

Zdroj: Computing & Informatics. 2019, Vol. 38 Issue 5, p1009-1038. 30p.

Predmety: Definitions, Systems software

A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems

Autori: Junya NAKAMURA Tadashi ARARAGI Toshimitsu MASUZAWA a ďalší

Zdroj: IEICE Transactions on Information and Systems. 2014, E97.D(1):65

Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic

Autori: Phan Thi Thanh Huyen Kazuhiro Ogata

Zdroj: Lecture Notes in Computer Science ISBN: 9783642342806

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

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

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