„Distributed Systems“

Suchergebnisse

6.149 Treffer

• Parameterized Safety Verification of Round-Based Shared-Memory Systems
  Bertrand, Nathalie ; Markey, Nicolas ; Sankur, Ocan ; Waldburger, Nicolas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional Programming for Distributed Systems with XC
  Audrito, Giorgio ; Casadei, Roberto ; Damiani, Ferruccio ; Salvaneschi, Guido ; Viroli, Mirko 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
• Near-Optimal Dispersion on Arbitrary Anonymous Graphs
  Kshemkalyani, Ajay D. ; Sharma, Gokarna 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Twins: BFT Systems Made Robust
  Bano, Shehar ; Sonnino, Alberto ; Chursin, Andrey ; Perelman, Dmitri ; Li, Zekun ; Ching, Avery ; Malkhi, Dahlia 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Fresh Look at the Design and Implementation of Communication Paradigms (Invited Talk)
  van Renesse, Robbert 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory
  Finkbeiner, Bernd ; Gieseking, Manuel ; Hecking-Harbusch, Jesko ; Olderog, Ernst-Rüdiger 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Simple Majority Consensus in Networks with Unreliable Communication
  Livshits, Ariel ; Shadmi, Yonatan ; Tamir (Averbuch), Ran 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Twins – BFT Systems Made Robust
  Bano, Shehar ; Sonnino, Alberto ; Chursin, Andrey ; Perelman, Dmitri ; Li, Zekun ; Ching, Avery ; Malkhi, Dahlia 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tech Transfer Stories and Takeaways (Invited Talk)
  Malkhi, Dahlia 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verified Progress Tracking for Timely Dataflow
  Brun, Matthias ; Decova, Sára ; Lattuada, Andrea ; Traytel, Dmitriy 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Byzantine Reliable Broadcast
  Guerraoui, Rachid ; Komatovic, Jovan ; Kuznetsov, Petr ; Pignolet, Yvonne-Anne ; Seredinschi, Dragos-Adrian ; Tonkikh, Andrei 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Runtime Verification Under Partial Synchrony
  Ganguly, Ritam ; Momtaz, Anik ; Bonakdarpour, Borzoo 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR
  Naor, Oded ; Keidar, Idit 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scalable Termination Detection for Distributed Actor Systems
  Plyukhin, Dan ; Agha, Gul 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lower Bounds for Dynamic Distributed Task Allocation
  Su, Hsin-Hao ; Wein, Nicole 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Data Consistency in Transactional Storage Systems: A Centralised Semantics
  Xiong, Shale ; Cerone, Andrea ; Raad, Azalea ; Gardner, Philippa 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analysis of power system transient stability with PSO-optimized distributed generation and HVDC transmission systems
  Jang, Jiyeon ; Gong, Youngmin ; Min, Seunghong ; Kim, Insu
• Optimizing distributed generation allocation to minimize power loss in distribution systems using DBO-APCNN approach
  Ravi, Ranjith Kumar ; Ramachandran, Meenakumari
• Fair routing in MoE for distributed spatial data: a combinatorial multi-armed bandit solution
  Fu, Yan ; Wang, Shasha ; Dong, Yucong ; Wu, Dan ; Wang, Juan ; Xu, Zichen