„Distributed Systems“
Suchergebnisse
6.149 Treffer
-
Brief Announcement: Grassroots Distributed Systems: Concept, Examples, Implementation and Applications
-
Brief Announcement: Subquadratic Multivalued Asynchronous Byzantine Agreement WHP
-
Quorum Subsumption for Heterogeneous Quorum Systems
-
Send/Receive Patterns Versus Read/Write Patterns in Crash-Prone Asynchronous Distributed Systems
-
The FIDS Theorems: Tensions Between Multinode and Multicore Performance in Transactional Systems
-
Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case
-
CRDTs, Coalgebraically (Early Ideas)
-
Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
-
Modular Verification of State-Based CRDTs in Separation Logic
-
VeriFx: Correct Replicated Data Types for the Masses
-
Realistic Self-Stabilization (Invited Talk)
-
Theory Meets Practice in the Algorand Blockchain (Invited Talk)
-
Model-driven latency analysis of distributed skills in automation networks with robots in the AI.Factory
-
Application of Distributed Ledger Technology to Ensure the Security of Smart City Information Systems
-
Uniform Optimization of Systems with Distributed Parameters in Linear-Quadratic Control Problems with Amplitude Contraints of Controlling Actions
-
Orchestrating In-Network Aggregation for Distributed Machine Learning via In-Band Network Telemetry
-
Active Vibration Isolation Platform with Distributed Feed-Forward Feedback Hybrid Control
-
Enhanced reinforcement learning-model predictive control for distributed energy systems: Overcoming local and global optimization limitations
-
On Implementing SWMR Registers from SWSR Registers in Systems with Byzantine Failures
-
Dynamic Probabilistic Input Output Automata