Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

A survey of stream processing

From MaRDI portal
Publication:1365475
Jump to:navigation, search

DOI10.1007/S002360050095zbMath0879.68026OpenAlexW2005082107MaRDI QIDQ1365475

Robert Stephens

Publication date: 4 September 1997

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050095


zbMATH Keywords

stream processing


Mathematics Subject Classification ID

Theory of software (68N99)


Related Items (10)

LARS: a logic-based framework for analytic reasoning over streams ⋮ Causal commutative arrows ⋮ Optimal resource allocation and scheduling for the CELL BE platform ⋮ Continuity of operators on continuous and discrete time streams ⋮ A buffer minimization problem for the design of embedded systems ⋮ Asynchronous stream processing with S-Net ⋮ Implementing Services by Partial State Machines ⋮ Verifying an infinite systolic algorithm using third-order equational methods ⋮ Specifying Services with UML and UML-RT ⋮ Algebraic specification of reactive systems







This page was built for publication: A survey of stream processing

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1365475&oldid=13511557"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 15:00.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki