„Distributed system“

Suchergebnisse

7.563 Treffer

• VeriFx: Correct Replicated Data Types for the Masses (Artifact)
  De Porre, Kevin ; Ferreira, Carla ; Gonzalez Boix, Elisa
• Modular Verification of State-Based CRDTs in Separation Logic (Artifact)
  Nieto, Abel ; Daby-Seesaram, Arnaud ; Gondelman, Léon ; Timany, Amin ; Birkedal, Lars
• 10292 Abstracts Collection and Summary – Resilience Assessment and Evaluation
  Avritzer, Alberto ; van Moorsel, Aad ; Wolter, Katinka
• 10021 Abstracts Collection – Service-Oriented Architecture and (Multi-)Agent Systems Technology
  Calisti, Monique ; Leymann, Frank ; Dignum, Frank P. ; Kowalczyk, Ryszard ; Unland, Rainer
• 09371 Abstracts Collection – Algorithmic Methods for Distributed Cooperative Systems
  Fekete, Sándor ; Fischer, Stefan ; Riedmiller, Martin ; Dubhash, Suri
• Implications of VLSI Fault Models and Distributed Systems Failure Models – A hardware designer's view
  Fuchs, Gottfried
• 08371 Summary – Fault-Tolerant Distributed Algorithms on VLSI Chips
  Charron-Bost, Bernadette ; Dolev, Shlomi ; Ebergen, Jo ; Schmid, Ulrich
• 08371 Abstracts Collection – Fault-Tolerant Distributed Algorithms on VLSI Chips
  Charron-Bost, Bernadette ; Dolev, Shlomi ; Ebergen, Jo ; Schmid, Ulrich
• Research on computing task scheduling method for distributed heterogeneous parallel systems
  Cao, Xianzhi ; Chen, Chong ; Li, Shiwei ; Lv, Chang ; Li, Jiali ; Wang, Jian
• Atomic Register Abstractions for Byzantine-Prone Distributed Systems
  Kowalski, Vincent ; Mostéfaoui, Achour ; Perrin, Matthieu 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Holistic Approach for Trustworthy Distributed Systems with WebAssembly and TEEs
  Ménétrey, Jämes ; Grüter, Aeneas ; Yuhala, Peterson ; Oeftiger, Julius ; Felber, Pascal ; Pasin, Marcelo ; Schiavoni, Valerio 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fever: Optimal Responsive View Synchronisation
  Lewis-Pye, Andrew ; Abraham, Ittai 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications
  Shapiro, Ehud 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP
  Cohen, Shir ; Keidar, Idit 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Quorum Subsumption for Heterogeneous Quorum Systems
  Li, Xiao ; Chan, Eric ; Lesani, Mohsen 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems
  Déprés, Mathilde ; Mostéfaoui, Achour ; Perrin, Matthieu ; Raynal, Michel 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The FIDS Theorems: Tensions Between Multinode and Multicore Performance in Transactional Systems
  Ben-David, Naama ; Sela, Gal ; Szekeres, Adriana 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case
  Misra, Anshuman ; Kshemkalyani, Ajay D. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CRDTs, Coalgebraically (Early Ideas)
  Liittschwager, Nathan ; Tsampas, Stelios ; Castello, Jonathan ; Kuper, Lindsey 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
  Waldburger, Nicolas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik