Výsledky vyhledávání - "ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance"

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm

Autoři: Thibaut Balabonski Sébastien Tixeuil Lionel Rieg a další

Přispěvatelé: Thibaut Balabonski Sébastien Tixeuil Lionel Rieg a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783319492582

Témata: [INFO.INFO-DC]Computer Science [cs]/Distributed, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.0: Complexity of proof procedures, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.1: Computations on discrete structures, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, [INFO]Computer Science [cs], ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.4: Type structure

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/article/10.1007/s00224-017-9828-z
https://hal.archives-ouvertes.fr/hal-01894618
https://doi.org/10.1007/s00224-017-9828-z
https://dblp.uni-trier.de/db/journals/mst/mst63.html#BalabonskiDRTU19
https://rd.springer.com/chapter/10.1007/978-3-319-49259-9_2
https://doi.org/10.1007/978-3-319-49259-9_2
https://hal.archives-ouvertes.fr/hal-01491813
https://dblp.uni-trier.de/db/conf/sss/sss2016.html#BalabonskiDRTU16
https://link.springer.com/chapter/10.1007/978-3-319-49259-9_2
http://dblp.uni-trier.de/db/conf/sss/sss2016.html#BalabonskiDRTU16
https://hal.science/hal-01894618v1/document
https://doi.org/10.1007/s00224-017-9828-z
https://hal.science/hal-01894618v1
https://hal.sorbonne-universite.fr/hal-01491813v1
https://doi.org/10.1007/978-3-319-49259-9_2

Probabilistic Byzantine Tolerance Scheduling in Hybrid Cloud Environments

Autoři: Arantes, Luciana Friedman, Roy Marin, Olivier a další

Přispěvatelé: Arantes, Luciana Friedman, Roy Marin, Olivier a další

Zdroj: 18th International Conference on Distributed Computing and Networking (ICDCN 2017)
https://inria.hal.science/hal-01399026
18th International Conference on Distributed Computing and Networking (ICDCN 2017), Jan 2017, Hyderabad, India. ⟨10.1145/1235⟩

Témata: Byzantine, scheduling, hybrid cloud environments, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Hyderabad, India

Time: Hyderabad, India

Dostupnost: https://inria.hal.science/hal-01399026
https://inria.hal.science/hal-01399026v1/document
https://inria.hal.science/hal-01399026v1/file/ICDCN.pdf
https://doi.org/10.1145/1235

Minimal Synchrony for Byzantine Consensus

Autoři: Bouzid, Zohir Mostéfaoui, Achour Raynal, Michel a další

Přispěvatelé: Bouzid, Zohir Mostéfaoui, Achour Raynal, Michel a další

Zdroj: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015) ; https://hal.science/hal-01178651 ; Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015), Jul 2015, Donostia-San Sebastián, Spain. pp.461-470, ⟨10.1145/2767386.2767418⟩

Témata: Adopt-commit, Feasi-bility condition, Asynchronous message-passing, Byzantine process, Consensus, Distributed algorithm, Eventual timely channel, Synchrony assumption, Signature-free algorithm, Reliable broad-cast, Optimal resilience, Lower bound, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.2: Distributed databases, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.3: Network operating systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Donostia-San Sebastián, Spain

Dostupnost: https://hal.science/hal-01178651
https://hal.science/hal-01178651v1/document
https://hal.science/hal-01178651v1/file/podc%20final%20format%20libre.pdf
https://doi.org/10.1145/2767386.2767418

Synchronous byzantine agreement with nearly a cubic number of communication bits

Autoři: Kowalski, Dariusz R. Mostefaoui, Achour Department of Computer Science Liverpool a další

Přispěvatelé: Kowalski, Dariusz R. Mostefaoui, Achour Department of Computer Science Liverpool a další

Zdroj: ACM symposium on Principles of distributed computing (PODC'13) ; https://hal.science/hal-01151136 ; ACM symposium on Principles of distributed computing (PODC'13), Jul 2013, New-York, United States. pp.84-91, ⟨10.1145/2484239.2484271⟩

Témata: Agreement problem, Synchronous distributed system, Byzantine process, Message-passing model, Round-based protocol, EIG, Consensus, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures/C.1.4.0: Distributed architectures, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.0: Concurrency, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.5: Synchronization, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Geografické téma: New-York, United States

Dostupnost: https://hal.science/hal-01151136
https://hal.science/hal-01151136v1/document
https://hal.science/hal-01151136v1/file/podc%20final.pdf
https://doi.org/10.1145/2484239.2484271

Signature-Free Asynchronous Binary Byzantine Consensus with t$

Autoři: Mostéfaoui, Achour Moumen, Hamouma Raynal, Michel a další

Přispěvatelé: Mostéfaoui, Achour Moumen, Hamouma Raynal, Michel a další

Zdroj: ISSN: 0004-5411.

Témata: Randomized algorithm, Simplicity, Signature-free algorithm, Optimal resilience, Distributed algorithm, Consensus, Common coin, Byzantine process, Broadcast abstraction, Asynchronous message-passing system, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.3: Network operating systems, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.3: Relations between models, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.0: Alternation and nondeterminism, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR]

Dostupnost: https://hal.science/hal-01176110
https://hal.science/hal-01176110/document
https://hal.science/hal-01176110/file/JACM.pdf
https://doi.org/10.1145/2785953

Distributed Slicing in Dynamic Systems

Autoři: Fernández, Antonio Gramoli, Vincent Jimenez, Ernesto a další

Přispěvatelé: Fernández, Antonio Gramoli, Vincent Jimenez, Ernesto a další

Zdroj: The 27th International Conference on Distributed Computing Systems (ICDCS'07) ; https://inria.hal.science/inria-00201165 ; The 27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.66

Témata: distributed slicing, churn, gossip, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Toronto

Time: Toronto, Canada

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0712.3980; ARXIV: 0712.3980

Dostupnost: https://inria.hal.science/inria-00201165
https://inria.hal.science/inria-00201165/document
https://inria.hal.science/inria-00201165/file/gramoli.pdf

Core Persistence in Peer-to-Peer Systems: Relating Size to Lifetime

Autoři: Gramoli, Vincent Kermarrec, Anne-Marie Mostefaoui, Achour a další

Přispěvatelé: Gramoli, Vincent Kermarrec, Anne-Marie Mostefaoui, Achour a další

Zdroj: Proceedings of the Workshop on Reliability in Decentralized Distributed Systems ; https://inria.hal.science/inria-00201164 ; Proceedings of the Workshop on Reliability in Decentralized Distributed Systems, Nov 2006, Montpellier, France. pp.1470--1479

Témata: core, churn, data persistence, quorum, atomicity, probability, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Montpellier, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0801.1419; ARXIV: 0801.1419

Dostupnost: https://inria.hal.science/inria-00201164
https://inria.hal.science/inria-00201164/document
https://inria.hal.science/inria-00201164/file/camera-ready.pdf

Optimal Mobile Byzantine Fault Tolerant Distributed Storage

Autoři: Bonomi, Silvia del Pozzo, Antonella Potop-Butucaru, Maria a další

Přispěvatelé: Bonomi, Silvia del Pozzo, Antonella Potop-Butucaru, Maria a další

Zdroj: https://hal.sorbonne-universite.fr/hal-01348830 ; [Research Report] UPMC - Université Paris 6 Pierre et Marie Curie. 2016.

Témata: ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.0: Complexity of proof procedures, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.1: Computations on discrete structures, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.4: Invasive software (e.g., viruses, worms, Trojan horses), ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.3: Network communication, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Dostupnost: https://hal.sorbonne-universite.fr/hal-01348830
https://hal.sorbonne-universite.fr/hal-01348830v2/document
https://hal.sorbonne-universite.fr/hal-01348830v2/file/mainTR.pdf

Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants

Autoři: Greve, Fabiola Sens, Pierre Arantes, Luciana a další

Přispěvatelé: Greve, Fabiola Sens, Pierre Arantes, Luciana a další

Zdroj: https://inria.hal.science/inria-00122517 ; [Research Report] RR-6088, INRIA. 2011, pp.29.

Témata: Unreliable failure detector, dynamic distributed systems, wireless mobile networks, asynchronous systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Dostupnost: https://inria.hal.science/inria-00122517
https://inria.hal.science/inria-00122517v4/document
https://inria.hal.science/inria-00122517v4/file/RR-6088.pdf

Stabilizing Maximal Independent Set in Unidirectional Networks is Hard

Autoři: Masuzawa, Toshimitsu Tixeuil, Sébastien Department of Information and Computer Sciences Toyonaka a další

Přispěvatelé: Masuzawa, Toshimitsu Tixeuil, Sébastien Department of Information and Computer Sciences Toyonaka a další

Zdroj: https://inria.hal.science/inria-00368950 ; [Research Report] RR-6880, INRIA. 2009, pp.21.

Témata: Distributed systems, Distributed algorithm, Maximal Independent Set, Unidirectional Networks, Self-stabilization, Probabilistic self-stabilization, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0903.3106; ARXIV: 0903.3106

Dostupnost: https://inria.hal.science/inria-00368950
https://inria.hal.science/inria-00368950v1/document
https://inria.hal.science/inria-00368950v1/file/RR-6880.pdf

A Timer-Free Fault Tolerant K -Mutual Exclusion Algorithm

Autoři: Bouillaguet, Mathieu Arantes, Luciana Sens, Pierre a další

Přispěvatelé: Bouillaguet, Mathieu Arantes, Luciana Sens, Pierre a další

Zdroj: https://hal.inria.fr/inria-00394918 ; [Research Report] 2009.

Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Relation: inria-00394918; https://hal.inria.fr/inria-00394918; https://hal.inria.fr/inria-00394918/document; https://hal.inria.fr/inria-00394918/file/self-contained.pdf

Dostupnost: https://hal.inria.fr/inria-00394918
https://hal.inria.fr/inria-00394918/document
https://hal.inria.fr/inria-00394918/file/self-contained.pdf

Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems

Autoři: Dumitrescu, Emil Girault, Alain Marchand, Hervé a další

Přispěvatelé: Dumitrescu, Emil Girault, Alain Marchand, Hervé a další

Zdroj: https://inria.hal.science/inria-00134550 ; [Research Report] RR-6137, INRIA. 2007, pp.35.

Témata: Real-time systems, safe design, fault tolerance, optimal discrete control synthesis, synchronous systems, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/inria-00134550
https://inria.hal.science/inria-00134550v2/document
https://inria.hal.science/inria-00134550v2/file/RR-6137.pdf

Implementing Fault-Tolerance in Real-Time Systems by Program Transformations

Autoři: Ayav, Tolga Fradet, Pascal Girault, Alain a další

Přispěvatelé: Ayav, Tolga Fradet, Pascal Girault, Alain a další

Zdroj: https://hal.inria.fr/inria-00077156 ; [Research Report] RR-5919, INRIA. 2006.

Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.2: Automatic Programming/I.2.2.3: Program transformation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: Report N°: RR-5919; inria-00077156; https://hal.inria.fr/inria-00077156; https://hal.inria.fr/inria-00077156v3/document; https://hal.inria.fr/inria-00077156v3/file/RR-5919.pdf

Dostupnost: https://hal.inria.fr/inria-00077156
https://hal.inria.fr/inria-00077156v3/document
https://hal.inria.fr/inria-00077156v3/file/RR-5919.pdf

Optimal Storage under Unsynchronized Mobile Byzantine Faults

Autoři: Bonomi, Silvia del Pozzo, Antonella Potop-Butucaru, Maria a další

Přispěvatelé: Bonomi, Silvia del Pozzo, Antonella Potop-Butucaru, Maria a další

Zdroj: Proceedings of SRDS 2017 ; 36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017) ; https://hal.sorbonne-universite.fr/hal-01549931 ; 36th IEEE Symposium on Reliable Distributed Systems (SRDS 2017), Sep 2017, Hong Kong, China

Témata: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management/D.4.2.1: Distributed memories, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management/D.4.2.8: Virtual memory, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.2: Message sending, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]

Geografické téma: Hong Kong, China

Dostupnost: https://hal.sorbonne-universite.fr/hal-01549931

Synchronous Gathering Without Multiplicity Detection: A Certified Algorithm

Autoři: Balabonski, Thibaut Delga, Amélie Rieg, Lionel a další

Přispěvatelé: Balabonski, Thibaut Delga, Amélie Rieg, Lionel a další

Zdroj: International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) ; https://hal.sorbonne-universite.fr/hal-01491813 ; International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.7-19, ⟨10.1007/978-3-319-49259-9_2⟩

Témata: ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.1: Computations on discrete structures, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.0: Complexity of proof procedures, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.3: Studies of Program Constructs/F.3.3.4: Type structure, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Lyon, France

Dostupnost: https://hal.sorbonne-universite.fr/hal-01491813
https://doi.org/10.1007/978-3-319-49259-9_2

Packet Efficient Implementation of the Omega Failure Detector

Autoři: Bramas, Quentin Foreback, Dianne Nesterenko, Mikhail a další

Přispěvatelé: Bramas, Quentin Foreback, Dianne Nesterenko, Mikhail a další

Zdroj: International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) ; https://hal.sorbonne-universite.fr/hal-01491817 ; International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.70-87, ⟨10.1007/978-3-319-49259-9_6⟩

Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.3: Network communication, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.3: Operational analysis, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Lyon, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1505.05025; ARXIV: 1505.05025

Dostupnost: https://hal.sorbonne-universite.fr/hal-01491817
https://doi.org/10.1007/978-3-319-49259-9_6

An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon Without Global Identifiers

Autoři: Inoue, Michiko Ooshita, Fukuhito Tixeuil, Sébastien a další

Přispěvatelé: Inoue, Michiko Ooshita, Fukuhito Tixeuil, Sébastien a další

Zdroj: International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) ; https://hal.sorbonne-universite.fr/hal-01491823 ; International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Nov 2016, Lyon, France. pp.195-212, ⟨10.1007/978-3-319-49259-9_17⟩

Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.4: Communications Management/D.4.4.3: Network communication, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.3: Operational analysis, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Lyon, France

Dostupnost: https://hal.sorbonne-universite.fr/hal-01491823
https://doi.org/10.1007/978-3-319-49259-9_17

Evaluating and Optimizing Stabilizing Dining Philosophers

Autoři: Adamek, Jordan Nesterenko, Mikhail Tixeuil, Sébastien a další

Přispěvatelé: Adamek, Jordan Nesterenko, Mikhail Tixeuil, Sébastien a další

Zdroj: The European Dependable Computing Conference (EDCC 2015) ; https://hal.science/hal-01213278 ; The European Dependable Computing Conference (EDCC 2015), Sep 2015, Paris, France

Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.8: Performance/D.4.8.5: Simulation, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Geografické téma: Paris, France

Dostupnost: https://hal.science/hal-01213278

Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols

Autoři: Aflaki, Saba Bonakdarpour, Borzoo Tixeuil, Sébastien a další

Přispěvatelé: Aflaki, Saba Bonakdarpour, Borzoo Tixeuil, Sébastien a další

Zdroj: The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015) ; https://hal.science/hal-01213273 ; The International Conference on Stabilization, Safety, and Security in Distributed Systems (SSS 2015), Aug 2015, Edmonton, Canada. pp.156-170, ⟨10.1007/978-3-319-21741-3_11⟩

Témata: ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, [INFO]Computer Science [cs], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

Geografické téma: Edmonton

Time: Edmonton, Canada

Relation: hal-01213273; https://hal.science/hal-01213273

Dostupnost: https://hal.science/hal-01213273
https://doi.org/10.1007/978-3-319-21741-3_11