Stream Verification
Data Structures and Algorithms
2015-07-16 v1
Authors:
Justin Thaler
Abstract
We survey models and algorithms for stream verification.
Cite
@article{arxiv.1507.04188,
title = {Stream Verification},
author = {Justin Thaler},
journal= {arXiv preprint arXiv:1507.04188},
year = {2015}
}
Comments
A significantly abridged version of this article is to appear in the Springer Encyclopedia of Algorithms
Related papers
View all related →
Cryptography and Security · Computer Science
Generation of Efficient Key Bit-Streams
M. Sivasankar
2012-07-24
Artificial Intelligence · Computer Science
Stream Computing
Subhash Kak
2008-01-10
Logic in Computer Science · Computer Science
A new method of verification of security protocols
Andrew M. Mironov
2017-06-02
Machine Learning · Computer Science
Data Stream Clustering: A Review
Alaettin Zubaroğlu, Volkan Atalay
2020-07-22
Databases · Computer Science
Comparative Evaluation of Data Stream Indexing Models
Mahnoosh Kholghi, MohammadReza Keyvanpour
2012-08-06
Software Engineering · Computer Science
An Exploratory Study of How Specialists Deal with Testing in Data Stream Processing Applications
Alexandre Vianna, Waldemar Ferreira, Kiev Gama
2019-09-25
Distributed, Parallel, and Cluster Computing · Computer Science
A Survey on the Evolution of Stream Processing Systems
Marios Fragkoulis, Paris Carbone, Vasiliki Kalavri, Asterios Katsifodimos
2023-01-18
Databases · Computer Science
Verifying Computations with Streaming Interactive Proofs
Graham Cormode, Justin Thaler, Ke Yi
2011-10-03
Logic in Computer Science · Computer Science
A graph model of message passing processes
Andrew M. Mironov
2017-06-02
Data Structures and Algorithms · Computer Science
Streaming Verification for Graph Problems: Optimal Tradeoffs and Nonlinear Sketches
Amit Chakrabarti, Prantar Ghosh, Justin Thaler
2020-07-08
Data Structures and Algorithms · Computer Science
Algorithms for Efficient, Compact Online Data Stream Curation
Matthew Andres Moreno, Santiago Rodriguez Papa, Emily Dolson
2024-03-04
Databases · Computer Science
An analytical framework for data stream mining techniques based on challenges and requirements
Mahnoosh Kholghi, Mohammadreza Keyvanpour
2011-05-11
Computer Vision and Pattern Recognition · Computer Science
On the challenges to learn from Natural Data Streams
Guido Borghi, Gabriele Graffieti, Davide Maltoni
2023-01-10
Software Engineering · Computer Science
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Gwen Salaün
2010-09-21
Machine Learning · Computer Science
Stream-Based Monitoring of Algorithmic Fairness
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber +1
2025-01-31
Machine Learning · Computer Science
VeriFlow: Modeling Distributions for Neural Network Verification
Faried Abu Zaid, Daniel Neider, Mustafa Yalçıner
2025-11-20
Cryptography and Security · Computer Science
Certifying Spoofing-Protection of Firewalls
Cornelius Diekmann, Lukas Schwaighofer, Georg Carle
2016-03-25
Logic in Computer Science · Computer Science
Runtime Verification over Out-of-order Streams
David Basin, Felix Klaedtke, Eugen Zalinescu
2019-09-26
Machine Learning · Computer Science
Structuring the Processing Frameworks for Data Stream Evaluation and Application
Joanna Komorniczak, Paweł Ksieniewicz, Paweł Zyblewski
2025-09-30
Computer Vision and Pattern Recognition · Computer Science
Scene Flow Estimation: A Survey
Zike Yan, Xuezhi Xiang
2017-05-23
Artificial Intelligence · Computer Science
Towards Ideal Semantics for Analyzing Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink
2015-05-21
Numerical Analysis · Computer Science
An exercise on streams: convergence acceleration
Pierre Lescanne
2014-03-04
Databases · Computer Science
Data mining : past present and future - a typical survey on data streams
M. S. B. PhridviRaja, C. V. GuruRao
2016-05-06
Machine Learning · Computer Science
Algorithms for Verifying Deep Neural Networks
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher Strong +2
2020-12-02
Machine Learning · Computer Science
A Historical Context for Data Streams
Indre Zliobaite, Jesse Read
2023-11-01