„Distributed systems“

Suchergebnisse

6.149 Treffer

• Algorithmic vehicle data analysis as business enabler of electric and distributed mobility
  Wahl, Leonie ˜vonœ 2025 Gottfried Wilhelm Leibniz Universität
• DIN CEN/TS 17118, Intelligent transport systems - public transport - open API for distributed journey planning – = Intelligente Verkehrssysteme - öffentlicher Verkehr - offene API für verteilte Reiseplanung
  2025 DIN Media GmbH
• Optimal Register Construction in M&M Systems
  Hadzilacos, Vassos ; Hu, Xing ; Toueg, Sam 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minha: Large-Scale Distributed Systems Testing Made Practical
  Machado, Nuno ; Maia, Francisco ; Neves, Francisco ; Coelho, Fábio ; Pereira, José 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Scalable Byzantine Reliable Broadcast
  Guerraoui, Rachid ; Kuznetsov, Petr ; Monti, Matteo ; Pavlovic, Matej ; Seredinschi, Dragos-Adrian 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries
  Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Tour of Gallifrey, a Language for Geodistributed Programming
  Milano, Mae ; Recto, Rolph ; Magrino, Tom ; Myers, Andrew C. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Version Control Is for Your Data Too
  Kaki, Gowtham ; Sivaramakrishnan, KC ; Jagannathan, Suresh 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multitier Modules
  Weisenburger, Pascal ; Salvaneschi, Guido 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• How to Make Decisions (Optimally) (Keynote)
  Sen, Siddhartha 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Systems and Databases of the Globe Unite! The Cloud, the Edge and Blockchains (Keynote)
  Abbadi, Amr El 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote)
  Welch, Jennifer L. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Random Testing for Distributed Systems with Theoretical Guarantees (Invited Paper)
  Majumdar, Rupak 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Logical Analysis of Distributed Systems: The Importance of Being Constructive (Invited Talk)
  Mendler, Michael 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fault-tolerant Distributed Reactive Programming
  Mogk, Ragnar ; Baumgärtner, Lars ; Salvaneschi, Guido ; Freisleben, Bernd ; Mezini, Mira 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Robust adaptive distributed optimization for heterogeneous unknown second-order nonlinear multiagent systems
  Gong, Ping ; Wang, Qing-Guo
• Multi-attribute-based self-stabilizing algorithm for leader election in distributed systems
  Biswas, Amit ; Singh, Manisha ; Baranwal, Gaurav ; Tripathi, Anil Kumar ; Aknine, Samir
• Novel intelligent neuro-structure optimized Bayesian distributed backpropagation for magnetohydrodynamics flow analysis of double-layer optical fiber coating
  Naqvi, Sayyed Talha Gohar ; Awan, Saeed Ehsan ; Raja, Muhammad Asif Zahoor ; Niazi, Shahab Ahmad
• Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage
  Alchieri, Eduardo ; Bessani, Alysson ; Greve, Fabíola ; Fraga, Joni da Silva 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Designing a Planetary-Scale IMAP Service with Conflict-free Replicated Data Types
  Jungnickel, Tim ; Oldenburg, Lennart ; Loibl, Matthias 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik