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

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

Autoři: Kazuhiro Ogata Ha Thi Thu Doan

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

Témata: 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 souboru: application/pdf

Pří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

Modeling Chandy–Lamport Distributed Snapshot Algorithm Using Colored Petri Net

Autoři: Saeid Pashazadeh Basheer Zuhair Jaafar Al-Basseer Jafar Tanha

Zdroj: IET Software, Vol 2024 (2024)

Témata: 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

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

Distributed Snapshot algorithm for multi-active object-based applications

Autoři: de Souza, Michel J Baude, Françoise Baude, Francoise a další

Přispěvatelé: de Souza, Michel J Baude, Françoise Baude, Francoise a další

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

Témata: 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 souboru: application/pdf

Pří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

Autoři: Ha Thi Thu Doan Kazuhiro Ogata François Bonnet

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

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

Pří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

Autoři: Ha Thi Thu Doan Kazuhiro Ogata Min Zhang a další

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

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

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

DS+: Reliable Distributed Snapshot Algorithm for Wireless Sensor Networks

Autoři: Gamze Uslu Kemal Cagri Serdaroglu Sebnem Baydere

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

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

Popis souboru: text/xhtml

Pří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

Autoři: Ajay D. Kshemkalyani

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

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

Pří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

Autoři: A.P.R. da Silva Fernando A. Teixeira José Marcos S. Nogueira a další

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

Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Pří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

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

Autoři: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a další

Témata: 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

Dostupnost: 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

Autoři: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a další

Témata: 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

Dostupnost: 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

Autoři: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a další

Témata: 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

Dostupnost: 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.

Autoři: Ha Thi Thu DOAN Kazuhiro OGATA

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

Témata: Definitions, Systems software

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

Autoři: Junya NAKAMURA Tadashi ARARAGI Toshimitsu MASUZAWA a další

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

Autoři: Phan Thi Thanh Huyen Kazuhiro Ogata

Zdroj: Lecture Notes in Computer Science ISBN: 9783642342806

Revisiting Model Checking of Chandy-Lamport Distributed Snapshot Algorithm.

Autoři: Doan, Thi Thu Ha

Témata: 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

Autoři: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a další

Témata: 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

Dostupnost: https://doi.org/10.5281/zenodo.8320296
https://zenodo.org/records/8320296

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

Autoři: Pashazadeh, Saeid orcid:0000-0002-8949- Al-Basseer, Basheer Zuhair Jaafar a další

Témata: 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

Dostupnost: https://doi.org/10.5281/zenodo.8331485
https://zenodo.org/records/8331485

DS⁺: Reliable Distributed Snapshot Algorithm for Wireless Sensor Networks.

Autoři: Uslu, Gamze Serdaroglu, Kemal Cagri Baydere, Sebnem

Zdroj: Journal of Computer Networks & Communications; 2013, p1-9, 9p

Témata: WIRELESS sensor networks, ALGORITHMS, INTERNET traffic, DATA acquisition systems, RELIABILITY in engineering, PERFORMANCE evaluation

Design of High Performance Distributed Snapshot / Recovery Algorithms for Ring Networks.

Autoři: Gupta, Bidyut Rahimi, Shahram Liu, Ziping

Zdroj: Journal of Computing & Information Technology. Mar2008, Vol. 16 Issue 1, p23-33. 11p. 5 Diagrams, 1 Chart, 2 Graphs.

Témata: Algorithms, Ring networks, IBM Token-Ring Network (Local area network system), Local area networks, Information technology, Computer programming

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

Autoři: Jumpol Yaothanee orcid:0000-0001-5175- Kasidit Chanchio

Témata: 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

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