See this document in CiteSeerX!

A Survey Of Stream Processing (1995)  (Make Corrections)  (16 citations)
R. Stephens
Acta Informatica



  Home/Search   Context   Related

 
View or download:
ee.surrey.ac.uk/pub/re...CSRG9511.ps.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  eim.surrey.ac.uk/c...publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Stream processing is a term that is used widely in the literature to describe a variety of systems. We present an overview of the historical development of stream processing and a detailed discussion of the different languages and techniques for programming with streams that can be found in the literature. This includes an analysis of dataflow, specialized functional and logic programming with streams, reactive systems, signal processing systems, and the use of streams in the design and... (Update)

Cited by:   More
Progressive Conversion from B-rep to BSP for Streaming.. - Chandrajit Bajaj Alberto   (Correct)
Spidle: A DSL Approach to Specifying Streaming.. - Consel, Hamdi.. (2002)   (Correct)
Syntactical and Semantical Aspects of Faust - Yann Orlarey Dominique   (Correct)

Similar documents (at the sentence level):
64.7%:   Stream Processing I: A Survey - Stephens (1995)   (Correct)

Active bibliography (related documents):   More   All
14.3:   Stream Processing II: An Alternative Algebraic Approach and the.. - Stephens (1995)   (Correct)
1.6:   Algebraic Models of Correctness for Microprocessors - Fox, Harman (1996)   (Correct)
1.6:   Streams, Stream Transformers and Domain Representations - Blanck..   (Correct)

Similar documents based on text:   More   All
0.3:   Online Analytical Processing Stream Data: Is It Feasible? - Chen, Dong, Han, Pe, Wah..   (Correct)
0.3:   A Language for Distributed Object Oriented Programming Based on.. - Krüger (1996)   (Correct)
0.1:   Recursive Conditional Schema Theorem, Convergence and Population.. - Poli (2000)   (Correct)

Related documents from co-citation:   More   All
10:   StreamIt: A Language for Streaming Applications - Thies, Karczmarek et al. - 2001
6:   UCBERL Technical Memorandum UCBERL M (context) - of, Project et al. - 2001
6:   A TechnologyScalable Architecture for Fast Clocks and High ILP - Sankaralingam, Nagarajan et al. - 2001

BibTeX entry:   (Update)

R. Stephens. A survey of stream processing. Acta Informatica, 34:491--541, 1997. http://citeseer.ist.psu.edu/stephens95survey.html   More

@article{ stephens97survey,
    author = "Robert Stephens",
    title = "A Survey of Stream Processing",
    journal = "Acta Informatica",
    volume = "34",
    number = "7",
    month = "????",
    pages = "491--541",
    year = "1997",
    url = "citeseer.ist.psu.edu/stephens95survey.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
1933   Communication and Concurrency (context) - Milner - 1989
1838   Foundations of Logic Programming (context) - Lloyd - 1984
1491   Learning internal representation by error propagation (context) - Rumelhart, Hinton et al. - 1986
906   A Structural Approach to Operational Semantics - Plotkin - 1981
689   Systematic Software Development Using VDM - Jones - 1986
457   The Esterel synchronous programming language: design - Berry, Gonthier - 1988
384   Simple Word Problems in Universal Algebra (context) - Knuth, Bendix - 1970
291   A logical calculus of the ideas immanent in nervous activity (context) - McCulloch, Pitts - 1943
273   Can programming be liberated from the von Neumann style (context) - Backus - 1978
258   Miranda: a non-strict functional language with polymorphic t.. (context) - Turner - 1985
248   The Semantics of Predicate Logic as a Programming Language (context) - van Emden, Kowalski - 1976
235   The synchronous dataflow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
222   Adaptive switching circuits (context) - Widrow, Hoff - 1960
221   Introduction to VLSI systems (context) - Mead, Conway - 1980
216   Theoretical Computer Science (context) - Milner, for et al. - 1983
211   The Synchronous approach to reactive and real-time systems (context) - Beveniste, Berry - 1991
194   the Development of Reactive Systems (context) - Harel, Pnueli - 1985
159   Non-well-founded Sets (context) - Aczel - 1988
159   Predicate Logic as a Programming Language (context) - Kowalski - 1974
122   Applications of temporal logic to the specification and veri.. (context) - Pnueli - 1986
121   Programming real time applications with Signal (context) - Le Guernic, Gautier et al. - 1991
114   Theory and applications of cellular automata (context) - Wolfram - 1986
112   LUSTRE: A Declarative Language for Programming Synchronous S.. (context) - Caspi, Pilaud et al. - 1987
106   Optimizing Synchronous Systems (context) - Leiserson, Saxe - 1983
104   Why systolic architectures (context) - Kung - 1982
95   HOPE: an Experimental Applicative Language - Burstall, MacQueen et al. - 1980
90   Theoretical Computer Science (context) - Stefanescu, Theories et al. - 1987
89   SISAL: Streams and Iteration in a Single Assignment Language (context) - McGraw, Skedzielewski et al. - 1985
86   The Correspondence Between ALGOL 60 and Church's Lambda Nota.. (context) - Landin - 1965
86   The Correspondence Between ALGOL 60 and Church's Lambda Calc.. (context) - Landin - 1965
81   A Proposal for Standard ML (context) - Milner - 1984
80   Theory of Self-Reproducing Automata (context) - von Neumann - 1966
80   the Dataflow Programming Language (context) - Wadge, Ashcroft - 1985
79   The Esterel language (context) - Boussinot, de Simone - 1991
78   Scenarios: A model of non-determinate computation (context) - Brock, Ackerman - 1981
71   First Version of a Data Flow Procedure Language (context) - Dennis - 1974
66   The ESTEREL Synchronous Programming Language and its Mathema.. (context) - Berry, Cosserat - 1984
62   Programming and Verifying Real-Time Systems by Means of the .. - Halbwachs, Lagnier et al. - 1992
55   CONSTRAINTS - A Language for Expressing Almost Hierarchical .. (context) - Sussman, Steele - 1980
51   Explorations in the Microstructure of Cognition (context) - Rumelhart, McClelland et al. - 1986
49   Cons should not evaluate its arguments (context) - Friedman, Wise - 1976
43   Data flow languages (context) - Ackerman - 1979
40   Functional Specification of Time Sensitive Communicating Sys.. - Broy - 1990
38   Synthesis of Digital Designs from Recursion Equations (context) - Johnson - 1984
38   Synthesis of Digital Designs from Recursion Equations (context) - Johnson - 1983
38   Computability : an Introduction to Recursive Function Theory (context) - Cutland - 1980
37   A hardware implementation of pure Esterel - Berry - 1991
35   Logic Programming: Functions (context) - DeGroot, Lindstrom - 1986
35   The semantics of a simple language for parallel processing (context) - Kahn - 1974
34   The ALPHA Language and its Use for the Design of Systolic Ar.. (context) - Le Verge, Mauras et al. - 1991
32   A Fully Abstract Semantics for Data Flow Nets (context) - Kok - 1987
32   A lazy evaluator (context) - Henderson, Morris - 1976
32   A Fully Abstract Semantics for Data Flow Nets (context) - Kok - 1987
31   A Switch-Level Model and Simulator for MOS Digital Systems (context) - Bryant - 1984
30   Computer Science Department (context) - Milner, LCF - 1973
29   Edinburgh LCF (context) - Gordon, Milner et al. - 1979
29   The Relation Between Logic and Functional Languages: A Surve.. (context) - Bellia, Levi - 1986
28   Correlation matrix memories (context) - Kohonen - 1972
27   Universal algebra in higher types (context) - Meinke - 1992
26   Associative Memory: A System Theoretical Approach (context) - Kohonen - 1978
25   Synchronous Programming of Reactive Systems: an Introduction.. (context) - Berry, Couronne et al. - 1988
25   A Relational Language for Parallel Programming (context) - Clark, Gregory - 1981
25   Theoretical Computer Science - Broy, for et al. - 1986
24   from theory to practice: verification tools (context) - Boudol, Roy et al. - 1990
23   Recursive Neural Networks for Associative Memory (context) - Kamp, Hasler - 1990
23   A fully abstract trace model for dataflow networks (context) - Jonsson - 1988
22   Terminal call processing in Esterel (context) - Murakami, Sethi - 1990
21   Signal: A Declarative Language For Synchronous Programming O.. (context) - Guatier, Le Guernia et al. - 1987
21   Multidimensional Programming (context) - Ashcroft, Faustini et al. - 1995
20   Programming and verifying critical systems by means of the s.. (context) - Ratel, Halbwachs et al. - 1991
19   An asynchronous programming language and computing machine (context) - Arvind, Gostelow - 1979
19   An extensional treatment of dataflow deadlock (context) - Wadge - 1981
18   Retiming and slowdown in Ruby (context) - Sheeran - 1988
17   Equational specification of synchronous concurrent algorithm.. (context) - Thompson, Tucker - 1991
17   Cambridge Tracts in Theoretical Computer Science (context) - Stoltenberg-Hansen, Griffor et al. - 1994
17   An Interactive Environment for Data Analysis and Graphics (context) - Becker, Chambers - 1984
16   Incremental Development of an HDLC entity in Esterel (context) - Berry, Gonthier - 1991
15   Program Correctness over Abstract Data Types (context) - Tucker, Zucker - 1988
15   Proof techniques for recursive programs (context) - Vuillemin - 1973
15   Non-deterministic data flow programs: How to avoid the merge.. (context) - Broy - 1988
15   Inductive methods for proving properties of programs (context) - Manna, Ness et al. - 1973
15   Modelling operating system structures by timed stream proces.. - Broy, Dendorfer - 1992
15   Manipulating Logical Organization with System Factorizations (context) - Johnson - 1990
14   an Algebraic VLSI Design Language (context) - Sheeran - 1983
14   Semantically Extended Data Flow Diagrams - A Formal Specific.. (context) - France - 1992
14   PARLOG: A Parallel Logic Programming Language (context) - Clark, Gregory - 1983
12   Notes on the Implementation of PARLOG (context) - Clark, Gregory - 1985
11   Hardware specification using the assertion language ASTRAL (context) - Buonanno, Coen-Porisini et al. - 1992
11   Towards a Design Methodology for Distributed System (context) - Broy - 1989
11   Functional programming and Operating Systems (context) - Jones, Sinclair - 1989
11   The Specification and Verification of Synchronous Concurrent.. (context) - Hobley - 1990
11   Specification and verification of synchronous concurrent alg.. (context) - Hobley, Thompson et al. - 1988
10   RUTH: A Functional Language For Real-Time Programming (context) - Harrison - 1987
10   The Art of Digital Design (context) - Winkel, Prosser - 1987
10   An Example of Interactive Hardware Transformation - Zhu, Johnson - 1991
10   Equational Specification of Abstract Types and Combinators (context) - Meinke - 1991
10   OBJ as a Theorem Prover with Applications to Hardware Verifi.. (context) - Goguen - 1987
9   Edinburgh University Press (context) - Burstall, Collins et al. - 1971
9   Contributions to the Semantics of Logic Perpetual Processes (context) - Levi, Palamidessi - 1988
7   Coupled Map Lattices as Computational Systems (context) - Holden, Tucker et al. - 1992
7   Theoretical foundations of hardware design (context) - McEvoy, Tucker - 1990
7   Stream Processing Functions (context) - Burge - 1975
7   The concurrent assignment representation of synchronous syst.. (context) - Martin, Tucker - 1988
7   A domain-theoretic approach to functional and logic programm.. (context) - Silbermann, Jayaraman - 1992
6   Can excitable media be considered as computational systems (context) - Holden, Tucker et al. - 1991
6   an and J V Tucker. Clocks, Retimings, and the Formal Specifi.. (context) - Harm - 1988
6   ATLAS: A Typed Language for Algebraic Specification (context) - Hearn, Meinke - 1994
6   Predicate Logic as a Language for Parallel Programming (context) - van Emden, Filho - 1982
6   A Descriptive and Prescriptive Model for Dataflow Semantics (context) - Jagannathan - 1988
6   A Mechanized Proof of Correctness of a Simple Counter (context) - Cohn, Gordon - 1990
6   Algebraic semantics of rewriting terms and types (context) - Meinke - 1992
6   Formal Specifications for Digital Systems (context) - Harman - 1989
6   An Algebraic Framework for Data Abstraction in Hardware Desc.. (context) - Zhu, Johnson - 1990
6   Hydra: Hardware description in a functional language using r.. (context) - O'Donnell - 1988
6   Applicative real time programming (context) - Broy - 1983
6   All Solutions Predicates in Prolog (context) - Naish - 1985
5   An Extensional Fixed-Point Semantics For Non-Deterministic D.. (context) - Kearney, Staples - 1991
5   An example for the design of a distributed system in a forma.. (context) - Broy - 1988
5   Theory of Computation over Stream Algebras and its Applicati.. (context) - Tucker, Zucker - 1992
5   Automated Synthesis of Digital Systems (context) - Parker - 1984
5   Reasoning about concurrent systems (context) - Abramsky - 1983
5   Specification and representation of synchronous concurrent a.. (context) - Meinke, Tucker - 1988
5   Communications of the Association for Computing Machinery (context) - Landin, programming - 1966
5   Verification of synchronous concurrent algorithms using OBJ (context) - Eker, Stavridou et al. - 1990
5   Parallel Program Development for a recursive numerical algor.. - Gorlatch - 1992
4   Semantics of finite or infinite networks of communicating ag.. (context) - Broy - 1987
4   Strongly-Typed Theory of Structures and Behaviours - Hanna, Daeche - 1993
4   An Algebraic Model of Synchronous Systems (context) - Bartha - 1992
4   Working Material for the International Summer School on Prog.. (context) - Broy, of - 1992
4   The Formal Specification of a Digital Correlator I: Abstract.. (context) - Harman, Tucker - 1990
4   Semantics of Digital Circuits (context) - Kloos, Digital et al. - 1987
4   Categories for the working hardware designer (context) - Sheeran - 1990
4   Volume 2: Psychological and Biological Models (context) - Rumelhart, McClelland et al. - 1986
4   Caress II: a general purpose tool for parallel deterministic.. (context) - Blom, Holden et al. - 1993
4   A computation model with data flow sequencing (context) - Adams - 1969
4   Working material for the International Summer School on Prog.. (context) - Broy, action - 1992
3   Foundations of a theory of synchronous systems (context) - Bartha - 1992
3   Applicative Communicating Processes In First Order Logic (context) - Bellia, Dameri et al. - 1982
3   the Schematological Equivalence of Dataflow Networks - Rabinovich - 1993
3   Consistent Refinements of Specifications for Digital Systems (context) - Harman, Tucker - 1992
3   A Fixed-point Semantics For Nondeterministic Data Flow (context) - Staples, Nguyen - 1985
3   The Equivalence of a denotational and an operational semanti.. (context) - Faustini - 1982
3   Specification and verification of synchronous concurrent alg.. (context) - Derrick, Lajos et al. - 1989
3   Ablex Publishing Corporation (context) - Sharp, Flow - 1991
3   A model for parallel computations (context) - Adams - 1970
3   Bell Telephone Laboratories (context) - McIlroy, report - 1968
3   STREAM: A Scheme Language for Formally Describing Digital Ci.. (context) - Kloos - 1987
3   Specification and verification of synchronous concurrent alg.. (context) - Eker, Tucker - 1989
3   A Mathematical Theory of Synchronous Concurrent Algorithms (context) - Thompson - 1987
3   RUBY - a Language of Relations and Higher Order Functions (context) - Sheeran - 1986
3   Timing Constraints: Formalizing their Description and Verifi.. (context) - Milne - 1989
3   Machines as a Basis for System Specification (context) - Holcombe - 1988
3   The Structure and Analysis of Computer Programs (context) - Abelson, Sussman - 1985
3   Cartesian Stream Transformer Composition (context) - Stephens, Thompson - 1992
3   Verification of a Systolic Algorithm (context) - Weijland - 1990
3   Eine Zeigerimplementierung von Graphreduktion f¨ur eine Date.. (context) - Nueckel - 1988
3   Algebraic Stream Processing (context) - Stephens - 1994
3   Predicative specification for functional programs describing.. (context) - Broy - 1987
2   the Algebraic Specification of a Language for Describing Com.. (context) - Kloos, Dosch et al. - 1986
2   Is computer science based on the wrong fundamental concept o.. (context) - Backus - 1981
2   Transformation verteiler Systeme: Von applikativen zu prozed.. (context) - Dederichs - 1992
2   A Formal Model For Lazy Implementations of a Prolog-Compatib.. (context) - Bellia, Dameri et al. - 1984
2   On Flowchart Theories: Part (context) - Stefanescu - 1987
2   Deadlock Avoidance in Data Flow Architecture (context) - Misunas - 1975
2   Top-Down Mathematical Semantics and Symbolic Execution (context) - Levi, Pegna - 1983
2   Formal specifications and the design of verifiable computers (context) - Harman, Tucker - 1988
2   The Sync Model: A parallel Execution Method for Logic Progra.. (context) - Li, Martin - 1986
2   a vi-like Screen Editor written in pLucid (context) - Viscid - 1984
2   A Primitive for the Control of Logic Programs (context) - Kahn - 1984
2   CADISP: Cellular Automata Design Implementation and Specific.. (context) - Marshall - 1991
2   On backtracking and greatest fixed points (context) - de Roever - 1978
2   Data-flow computing base language with n-value logic (context) - Herath, Saito et al. - 1986
2   The Specification and Simulation of Synchronous Concurrent A.. (context) - Martin - 1989
2   Lecture: History of Computation Colloquium (context) - Kiliminster - 1993
2   On Denotational verses Predicative Semantics (context) - Broy, Lengauer - 1991
2   Programming the behaviour of graphical objects using Esterel (context) - Clement, Incerpi - 1989
2   machines with stacks and recursive enumerable functions (context) - Holcombe, Ipate - 1994
2   Process Algebra for the Operational Semantics of Static Data.. (context) - Bergstra, Klop - 1983
2   Music Synthesis Description with the Data Flow Language LUST.. (context) - Amblard, Charles - 1989
2   A Graph Theoretic Model of Synchronous Concurrent Algorithms (context) - Meinke - 1988
2   VALID: A High Level Functional Language for Dataflow Machine.. (context) - Amamiya, Hasegawa et al. - 1984
2   Coupling CMLs and the Synchronization of a Multilayer Neural.. (context) - Holden, Poole et al. - 1993
2   The computational structure of neural systems (context) - Holden, Tucker et al. - 1991
2   Tools for the Specification and Analysis of Coupled Map Latt.. (context) - Blom - 1992
2   Coherence and Chaos in Real and Simulated Neural Networks (context) - Holden, Thompson et al. - 1992
2   Logic: A Computational Model Integrating Functional and Logi.. (context) - Subrahmanyam, You et al. - 1984
2   Aspects of applicative programming for file systems (context) - Friedman, Wise - 1977
2   Correct Compilation of a Useful Subset of Lucid (context) - Farah - 1977
2   Implementation of Structured Lucid on a Dataflow Computer (context) - Sargeant - 1982
2   Theoretical Considerations in Algorithm Design (context) - Thompson, Tucker - 1985
2   A Discrete Switch-Level Circuit Model that uses 4-valued nod.. (context) - Korver - 1993
2   A Subset of Concurrent Prolog and it Interpretor (context) - Shapiro - 1983
2   A Discrete Formalization of Switch-Level Circuit Behavior (context) - Korver - 1995
2   A data flow programming language for operating systems (context) - Kosiniski - 1973
2   Artificial Neural Networks as Synchronous Concurrent Algorit.. (context) - Thompson, Tucker et al. - 1992
2   Algebraic Specification and Correctness of Artificial Neural.. (context) - Yates - 1993
2   The Relationship Between Synchronous Concurrent Algorithms a.. (context) - Tofts - 1993
2   A functional programming approach to the specification and v.. (context) - Dyber, Sander - 1988
2   Infinite Synchronous Concurrent Algorithms: The Algebraic Sp.. (context) - McConnell, Tucker - 1993

[Article contains additional citations not shown here]



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.eim.surrey.ac.uk/computing/research/csrg/publications.html):   More
A Practical Development Process for Parallel Large-Scale.. - Geschiere, Körver (1995)   (Correct)
A Discrete Formalization of Switch-Level Ciruit Behavior - Körver   (Correct)
A Type Checker for a Polymorphic Functional Language - Kindler   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC