„stream verification“
Suchergebnisse
1.000+ Treffer
-
Streamflow prediction uncertainty analysis and verification of SWAT model in a tropical watershed
-
Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
-
Formal software engineering of distributed systems using focus-streams and automata
-
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact)
-
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems
-
Using Additional Information in Streaming Algorithms
-
Using Additional Information in Streaming Algorithms
-
Using Additional Information in Streaming Algorithms
-
Using Additional Information in Streaming Algorithms
-
A Readable and Computable Formalization of the Streamlet Consensus Protocol
-
New Lower Bounds in Merlin-Arthur Communication and Graph Streaming Verification
-
New Verification Schemes for Frequency-Based Functions on Data Streams
-
Streaming Verification for Graph Problems: Optimal Tradeoffs and Nonlinear Sketches
-
Streaming Verification of Graph Computations via Graph Structure
-
Streaming Verification of Graph Properties
-
Semi-Streaming Algorithms for Annotated Graph Streams
-
Model verification of real-time and distributed stream processing architecture
-
Synchronous stream runtime verification with uncertainties and assumptions
-
Stream-based active learning for sliding windows under the influence of verification latency
-
Temperature and velocity fields in a gas stream exiting a plasma torch. A mathematical model and its experimental verification