„Distributed system“

Suchergebnisse

7.563 Treffer

• Causality for the Masses: Offering Fresh Data, Low Latency, and High Throughput
  Rodrigues, Luís 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synchronizability of Communicating Finite State Machines is not Decidable
  Finkel, Alain ; Lozes, Etienne 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• VDI/VDE 4004 Blatt 1, Testen vernetzter I4.0-Systeme - Grobplanung verteilter Testprozesse – = Testing of networked I4.0 systems - rough planning of distributed test processes
  2020 Beuth Verlag GmbH
• Challenges to Achieving High Availability at Scale (Invited Talk)
  Schulte, Wolfram 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming Language Abstractions for Modularly Verified Distributed Systems
  Wilcox, James R. ; Sergey, Ilya ; Tatlock, Zachary 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems
  Kuraj, Ivan ; Solar-Lezama, Armando 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded Disagreement
  Yu Cheng Chan, David ; Hadzilacos, Vassos ; Toueg, Sam 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lazy Reachability Analysis in Distributed Systems
  Jezequel, Loïg ; Lime, Didier 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Consistency in 3D (Invited Paper)
  Shapiro, Marc ; Ardekani, Masoud Saeida ; Petri, Gustavo 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Non Trivial Computations in Anonymous Dynamic Networks
  Di Luna, Giuseppe ; Baldoni, Roberto 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Signature-Free Communication and Agreement in the Presence of Byzantine Processes (Tutorial)
  Raynal, Michel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Failure-aware Runtime Verification of Distributed Systems
  Basin, David ; Klaedtke, Felix ; Zalinescu, Eugen 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Need for Language Support for Fault-Tolerant Distributed Systems
  Dragoi, Cezara ; Henzinger, Thomas A. ; Zufferey, Damien 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Streaming with Finite Memory
  Neven, Frank ; Schweikardt, Nicole ; Servais, Frédéric ; Tan, Tony 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reasoning About Distributed Systems: WYSIWYG (Invited Talk)
  Cyriac, Aiswarya ; Gastin, Paul 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parallel Committees: a scalable, secure, and fault-tolerant distributed NoSQL database architecture
  Solat, Siamak
• Availability evaluation of a video surveillance system with distributed storage
  Borges, Ivson ; Andrade, Ermeson ; Silva, Francisco Airton ; Callou, Gustavo
• A distributed simple dynamical systems approach (dS2 v1.0) for computationally efficient hydrological modelling
  Buitink, Joost ; Melsen, Lieke ; Kirchner, James ; Teuling, Adriaan J.
• A parallel and distributed C4.5 algorithm in cloud computing environments
  Lin, Kawuu W. ; Zheng, Ya-Jun ; Chen, Ju-Chin ; Wang, Wei-Chiang ; Chen, Chao-Chun
• Adaptive Failure Detection and Correction in Dynamic Patient-Networks
  Ringwelski, Martin ; Timm-Giel, Andreas ; Turau, Volker 2014 Schloss Dagstuhl – Leibniz-Zentrum für Informatik