„asynchronous programs“
Suchergebnisse
1.000+ Treffer
-
Algorithms and Tools for Verification and Testing of Asynchronous Programs
-
Asynchronous programs on IoT devices
-
Transactions on Petri Nets and Other Models of Concurrency XIII
-
Recent Advances in Natural Computing – Selected Results from the IWNC 8 Symposium
-
Transactions on Petri Nets and Other Models of Concurrency XV
-
A semi-asynchronous federated learning method integrating personalization and staleness awareness for traffic flow prediction in dynamic Internet of Vehicles
-
Transactions on Petri Nets and Other Models of Concurrency XI
-
RBC-MSS: asynchronous broadcasting protocol based on multi-secret sharing
-
Checking Refinement of Asynchronous Programs Against Context-Free Specifications
-
The Complexity of Bounded Context Switching with Dynamic Thread Creation
-
Static Analysis for Asynchronous JavaScript Programs
-
Verification of Timed Asynchronous Programs
-
Synchronizing the Asynchronous
-
Verification of Asynchronous Programs with Nested Locks
-
Rely/Guarantee Reasoning for Asynchronous Programs
-
Analyzing Asynchronous Programs with Preemption
-
ERBFT: improved asynchronous BFT with erasure code and verifiable random function
-
Transactions on Petri nets and other models of concurrency XVI
-
Simulation and Inference for Stochastic Processes with YUIMA – A Comprehensive R Framework for SDEs and Other Stochastic Processes
-
Transactions on Petri Nets and Other Models of Concurrency X