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

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

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/

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

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/

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

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

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

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

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

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 Distributed Snapshot Algorithm Adapted for Message Delivery to Mobile Units

Autori: Murphy Roman A. L. Murphy G. -c. Roman a ďalší

Prispievatelia: Murphy Roman A. L. Murphy G. -c. Roman a ďalší

Zdroj: http://swarm.cs.wustl.edu/~alm/papers/jpdc99.ps.gz.

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.9618; http://swarm.cs.wustl.edu/~alm/papers/jpdc99.ps.gz

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.9618
http://swarm.cs.wustl.edu/~alm/papers/jpdc99.ps.gz

Using a distributed snapshot algorithm in wireless sensor networks.

Autori: da Silva, A.P.R. Teixeira, F.A. Lage, R.K.V. a ďalší

Zdroj: Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003 (FTDCS 2003); 2003, p31-37, 7p

Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited.

Autori: Doan, Ha Thi Thu Zhang, Wenjie Zhang, Min a ďalší

Zdroj: 2015 2nd International Symposium on Dependable Computing & Internet of Things (DCIT); 2015, p30-39, 10p

Using a Distributed Snapshot Algorithm in Wireless Sensor Networks

Autori: Ana Paula R. Silva Fernando A. Teixeira a ďalší

Prispievatelia: Ana Paula R. Silva Fernando A. Teixeira a ďalší

Zdroj: http://www.sensornet.dcc.ufmg.br/pdf/US16-Silva-NEW.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.562.6213

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.562.6213
http://www.sensornet.dcc.ufmg.br/pdf/US16-Silva-NEW.pdf