„asynchronous system“

Suchergebnisse

627 Treffer

• Making asynchronous distributed computations robust to noise
  Censor-Hillel, Keren ; Gelles, Ran ; Haeupler, Bernhard
• Translating Asynchronous Games for Distributed Synthesis
  Beutner, Raven ; Finkbeiner, Bernd ; Hecking-Harbusch, Jesko 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intelligent hierarchical federated learning system based on semi-asynchronous and scheduled synchronous control strategies in satellite network
  Mei, Qiang ; Huang, Rui ; Li, Duo ; Li, Jingyi ; Shi, Nan ; Du, Mei ; Zhong, Yingkang ; Tian, Chunqi
• Asynchronous Liquid Separation Types
  Kloos, Johannes ; Majumdar, Rupak ; Vafeiadis, Viktor 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ECRAAL: a high-performance multiplier design by efficient charge recovery asynchronous adiabatic logic
  Nagaraj, S. ; Reddy, G. M. Sreerama ; Mastani, S. Aruna
• No Symmetric Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems
  Gay, Sylvain ; Mostéfaoui, Achour ; Perrin, Matthieu 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stabilizing Consensus Is Impossible in Lossy Iterated Immediate Snapshot Models
  Felber, Stephan ; Rincón Galeana, Hugo 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 09481 Abstracts Collection – SYNCHRON 2009
  Benveniste, Albert ; Edwards, Stephen A. ; Lee, Edward ; Schneider, Klaus ; von Hanxleden, Reinhard
• 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
• Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP
  Cohen, Shir ; Keidar, Idit 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
• A Modular Approach to Construct Signature-Free BRB Algorithms Under a Message Adversary
  Albouy, Timothé ; Frey, Davide ; Raynal, Michel ; Taïani, François 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Realistic Self-Stabilization (Invited Talk)
  Tixeuil, Sébastien 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decentralised Runtime Verification of Timed Regular Expressions
  Roussanaly, Victor ; Falcone, Yliès 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
  Aubert, Clément ; Horne, Ross ; Johansen, Christian 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Asynchronous Gathering in a Torus
  Kamei, Sayaka ; Lamani, Anissa ; Ooshita, Fukuhito ; Tixeuil, Sébastien ; Wada, Koichi 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Payment Channels in Asynchronous Money Transfer Systems
  Naor, Oded ; Keidar, Idit 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Temporal Logic for Strategic Hyperproperties
  Beutner, Raven ; Finkbeiner, Bernd 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems
  Samadi, Mahboubeh ; Ghassemi, Fatemeh ; Khosravi, Ramtin 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik