„Distributed system“

Suchergebnisse

7.563 Treffer

• Modular Verification of State-Based CRDTs in Separation Logic
  Nieto, Abel ; Daby-Seesaram, Arnaud ; Gondelman, Léon ; Timany, Amin ; Birkedal, Lars 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• VeriFx: Correct Replicated Data Types for the Masses
  De Porre, Kevin ; Ferreira, Carla ; Gonzalez Boix, Elisa 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Partial Gathering of Mobile Agents in Dynamic Tori
  Shibata, Masahiro ; Kitamura, Naoki ; Eguchi, Ryota ; Sudo, Yuichi ; Nakamura, Junya ; Kim, Yonghwan 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Realistic Self-Stabilization (Invited Talk)
  Tixeuil, Sébastien 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Theory Meets Practice in the Algorand Blockchain (Invited Talk)
  Luchangco, Victor 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model-driven latency analysis of distributed skills in automation networks with robots in the AI.Factory
  Hujo-Lauer, Dominik ; Vogel-Heuser, Birgit ; Wagner, Cedric ; Zhao, Jingyun ; Höfgen, Josua
• Application of Distributed Ledger Technology to Ensure the Security of Smart City Information Systems
  Kalinin, M. O. ; Busygin, A. G. ; Konoplev, A. S. ; Krundyshev, V. M.
• Model of a Distributed Storage System for Crypto Wallet Private Keys
  Salikhov, M. R.
• Uniform Optimization of Systems with Distributed Parameters in Linear-Quadratic Control Problems with Amplitude Contraints of Controlling Actions
  Rapoport, E. Ya ; Pleshivtseva, Yu. E.
• Distributed waveform generation and digitization system based on transparent transmission
  Lang, Lei ; Chen, Kai ; Zhu, Dou ; Wang, Jing ; Yang, Yi-Chen
• Orchestrating In-Network Aggregation for Distributed Machine Learning via In-Band Network Telemetry
  Ji, Ming-Tao ; Jin, Yi-Bo ; Qian, Zhu-Zhong ; Cao, Tuo ; Ye, Bao-Liu
• A graph reinforcement learning framework for real-time distributed multi-robot task allocation
  Zhang, Dian ; Dong, Peng ; Peng, Pai ; Dong, Yubo
• Active Vibration Isolation Platform with Distributed Feed-Forward Feedback Hybrid Control
  Xu, Anpeng ; He, Shuai ; Huo, Qi ; Wang, Lintao ; Li, Ang ; Li, Dawei ; Chen, Yang ; Xu, Zhenbang
• Enhanced reinforcement learning-model predictive control for distributed energy systems: Overcoming local and global optimization limitations
  Meng, Hua ; Bin, Huaijiang ; Qian, Fanyue ; Xu, Tingting ; Wang, Chaoliang ; Liu, Wei ; Yao, Yuting ; Ruan, Yingjun
• On Implementing SWMR Registers from SWSR Registers in Systems with Byzantine Failures
  Hu, Xing ; Toueg, Sam 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Probabilistic Input Output Automata
  Civit, Pierre ; Potop-Butucaru, Maria 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• Search by a Metamorphic Robotic System in a Finite 3D Cubic Grid
  Yamada, Ryonosuke ; Yamauchi, Yukiko 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