Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  984 results for ""Distributed Systems""

Your Filters

Subject : [info.info-oh]computer science [cs]/other [cs.oh]
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Consistency in Distributed Systems

Subjects: distributed systems; consistency; replication

  • Source: ISSN: 2192-5283 ; Dagstuhl Reports ; https://inria.hal.science/hal-00932737 ; Dagstuhl Reports, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩.

Record details

Read More Add to Saved list
×
Academic Journal

Consistency in Distributed Systems

Subjects: distributed systems; consistency; replication

  • Source: ISSN: 2192-5283 ; Dagstuhl Reports ; https://hal.inria.fr/hal-00932737 ; Dagstuhl Reports, 2013, 3 (2), pp.92-126. ⟨10.4230/DagRep.3.2.92⟩.

Record details

Read More Add to Saved list
×
Dissertation/ Thesis

Algorithmic methods for the verification of consistency in distributed systems ; Méthodes algorithmiques pour la vérification de la consistance dans les systèmes distribués

Subjects: Formal verification; Verification; Testing

  • Source: https://theses.hal.science/tel-03998428 ; Other [cs.OH]. Université Paris Cité; Université Mohammed V (Rabat), 2021. English. ⟨NNT : 2021UNIP7219⟩.

Record details

Read More Add to Saved list
×
Conference

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Subjects: Replication; causal consistency; integrity invariantsSaint Petersburg; FL; United States

  • Source: Symposium on Principles of Programming Languages ; https://inria.hal.science/hal-01243192 ; Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384,

Record details

Read More Add to Saved list
×
Conference

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Subjects: integrity invariants; causal consistency; ReplicationSaint Petersburg; FL; United States

  • Source: Symposium on Principles of Programming Languages ; https://inria.hal.science/hal-01243192 ; Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384,

Record details

Read More Add to Saved list
×
Conference

'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Subjects: Replication; causal consistency; integrity invariantsSaint Petersburg; FL; United States

  • Source: Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01243192 ; Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384,

Record details

Read More Add to Saved list
×
Report

Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem

Subjects: ATOMIC COMMITMENT; CONSENSUS PROBLEM; DISTRIBUTED SYSTEMS

  • Source: https://hal.inria.fr/inria-00073725 ; [Research Report] RR-2973, INRIA. 1996.

Record details

Read More Add to Saved list
×
Report

Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem

Subjects: ATOMIC COMMITMENT; CONSENSUS PROBLEM; DISTRIBUTED SYSTEMS

  • Source: https://inria.hal.science/inria-00073725 ; [Research Report] RR-2973, INRIA. 1996.

Record details

Read More Add to Saved list
×
Report

Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem

Subjects: ATOMIC COMMITMENT; CONSENSUS PROBLEM; DISTRIBUTED SYSTEMS

  • Source: https://inria.hal.science/inria-00073725 ; [Research Report] RR-2973, INRIA. 1996.

Record details

Read More Add to Saved list
×
Report

Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem

Subjects: FAULT-TOLERANT PROTOCOLS; NON-BLOCKING PROTOCOLS; TRANSACTION

  • Source: https://hal.inria.fr/inria-00073725 ; [Research Report] RR-2973, INRIA. 1996.

Record details

Read More Add to Saved list
×
  • 1-10 of  984 results for ""Distributed Systems""