„distributed computing“

Suchergebnisse

1.880 Treffer

• Brief Announcement: Decreasing Verification Radius in Local Certification
  Křišťan, Jan Matyáš ; Sedláček, Josef Erik 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Distributed Maximum Flow in Planar Graphs
  Abd-Elhaleem, Yaseen ; Dory, Michal ; Parter, Merav ; Weimann, Oren 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Massively Parallel Ruling Set Made Deterministic
  Giliberti, Jeff ; Parsaeian, Zahra 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Model Checking on Graphs of Bounded Treedepth
  Fomin, Fedor V. ; Fraigniaud, Pierre ; Montealegre, Pedro ; Rapaport, Ivan ; Todinca, Ioan 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Breaking Through the Ω(n)-Space Barrier: Population Protocols Decide Double-Exponential Thresholds
  Czerner, Philipp 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Faster Cycle Detection in the Congested Clique
  Censor-Hillel, Keren ; Even, Tomer ; Vassilevska Williams, Virginia 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Fully Concurrent Adaptive Snapshot Object for RMWable Shared-Memory
  Bashari, Benyamin ; Chan, David Yu Cheng ; Woelfel, Philipp 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Asynchronous Fault-Tolerant Distributed Proper Coloring of Graphs
  Balliu, Alkida ; Fraigniaud, Pierre ; Lambein-Monette, Patrick ; Olivetti, Dennis ; Rabie, Mikaël 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Byzantine Resilient Distributed Computing on External Data
  Augustine, John ; Biju, Jeffin ; Meir, Shachar ; Peleg, David ; Ramachandran, Srikkanth ; Thiruvengadam, Aishwarya 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scalable Distributed String Sorting
  Kurpicz, Florian ; Mehnert, Pascal ; Sanders, Peter ; Schimek, Matthias 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Parallel Build for the Isabelle Archive of Formal Proofs
  Huch, Fabian ; Wenzel, Makarius 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Population Protocols with Unordered Data
  Bergerem, Steffen ˜vanœ ; Guttenberg, Roland ; Kiefer, Sandra ; Mascle, Corto ; Waldburger, Nicolas ; Weil-Kennedy, Chana 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computational Power of Opaque Robots
  Feletti, Caterina ; Mambretti, Lucia ; Mereghetti, Carlo ; Palano, Beatrice 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Performance Analysis and Distributed Computing (Dagstuhl Seminar 02341)
  Gerndt, Hans Michael ; Getov, Valdimir S. ; Hoisie, Adolfy ; Malony, Allen D. ; Miller, Barton P. 2002 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Nash Equilibrium Seeking with Disturbances of Unknown Frequencies for High-Order Integrators over Jointly Strongly Connected Switching Networks
  He, Xiongnan ; Huang, Jie
• On HTLC-Based Protocols for Multi-Party Cross-Chain Swaps
  Clark, Emily ; Georgiou, Chloe ; Poon, Katelyn ; Chrobak, Marek 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)
  Castañeda, Armando ; van Ditmarsch, Hans ; Kuznets, Roman ; Moses, Yoram ; Schmid, Ulrich
• Energy-aware computing of access service for wireless edge via distributed deep learning
  Jiang, Xiaoyi ; Zhou, Fanqin ; Zhang, Qiyang ; Wei, Lei ; Yang, Yang ; Zhu, Daohua ; Feng, Lei ; Wang, Dayang
• Distributed Computing by Mobile Robots: Expanding the Horizon (Invited Talk)
  Flocchini, Paola 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Next-Generation Secure Distributed Computing (Dagstuhl Seminar 24362)
  Kate, Aniket ; Loss, Julian ; Nayak, Kartik