Search Results - distributed snapshot algorithm
-
1
Authors:
Source: COMPUTING AND INFORMATICS; Vol. 38 No. 5 (2019): Computing and Informatics; 1009–1038
Subject Terms: 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
File Description: application/pdf
-
2
Authors:
Source: IET Software, Vol 2024 (2024)
-
3
Authors: et al.
Contributors: et al.
Source: Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014). :61-73
Subject Terms: 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
File Description: application/pdf
Access URL: https://inria.hal.science/hal-01087336v1
-
4
Authors:
Source: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS). :1586-1596
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 6. Clean water
-
5
Authors: et al.
Source: 2015 2nd International Symposium on Dependable Computing and Internet of Things (DCIT). :30-39
Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 3. Good health
Access URL: https://ieeexplore.ieee.org/document/7434467/
-
6
Authors:
Source: Journal of Computer Networks and Communications, Vol 2013 (2013)
Subject Terms: Electronic computers. Computer science, 0202 electrical engineering, electronic engineering, information engineering, QA75.5-76.95, 02 engineering and technology
File Description: text/xhtml
Access URL: 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 -
7
Authors: Ajay D. Kshemkalyani
Source: 2009 IEEE International Conference on Cluster Computing and Workshops. :1-4
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences
-
8
Authors: et al.
Source: The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings.. :31-37
Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences
-
9
Authors: et al.
Subject Terms: 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
-
10
Authors: et al.
Subject Terms: 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
-
11
Authors: et al.
Subject Terms: 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
-
12
Authors:
Source: Computing & Informatics. 2019, Vol. 38 Issue 5, p1009-1038. 30p.
Subject Terms: Definitions, Systems software
-
13
Authors: et al.
Source: IEICE Transactions on Information and Systems. 2014, E97.D(1):65
-
14
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783642342806
-
15
Authors: Doan, Thi Thu Ha
Index Terms: distributed snapshot algorithm, reachability, state machine, model checking, Thesis or Dissertation., AM.
-
16
Authors: et al.
Subject Terms: 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
-
17
Authors: et al.
Subject Terms: 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
-
18
Authors:
Source: Journal of Computer Networks & Communications; 2013, p1-9, 9p
-
19
Authors:
Source: Journal of Computing & Information Technology. Mar2008, Vol. 16 Issue 1, p23-33. 11p. 5 Diagrams, 1 Chart, 2 Graphs.
-
20
Authors:
Subject Terms: 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
Full Text Finder 
Nájsť tento článok vo Web of Science