Results 1  10
of
145,374
The algebra of stream processing functions
, 1996
"... Dataflow networks are a model of concurrent computation. They consist of a collection of concurrent asynchronous processes which communicate by sending data over FIFO channels. In this paper we study the algebraic structure of the data ow networks and base their semantics on stream processing funct ..."
Abstract

Cited by 16 (2 self)
 Add to MetaCart
that the algebra of stream processing functions called SPF (used for deterministic networks) and the algebra of sets of stream processing functions called PSPF (used for nondeterministic networks) are BNA algebras. As a byproduct this shows that both semantic models are compositional. We also identify
Modelling Operating System Structures by Timed Stream Processing Functions
 Journal of Functional Programming
, 1991
"... Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems. ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems.
From TLT modules to stream processing functions
 Faculty of Informatics, Technical University of Munich, D80290
, 1996
"... The objective of this note is to define a semantics of TLT programs in terms of stream processing functions. As an intermediate step, we define a semantics of TLT programs in terms of timed traces, which have been chosen as a common semantic framework for all specification formalisms considered in t ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The objective of this note is to define a semantics of TLT programs in terms of stream processing functions. As an intermediate step, we define a semantics of TLT programs in terms of timed traces, which have been chosen as a common semantic framework for all specification formalisms considered
Theorem Prover Support for the Refinement of Stream Processing Functions
, 1997
"... In this paper, we show how to use the theorem prover Isabelle to provide tool support for Focus, a specification and verification framework for the stepwise development of distributed systems. FOCUS is ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
In this paper, we show how to use the theorem prover Isabelle to provide tool support for Focus, a specification and verification framework for the stepwise development of distributed systems. FOCUS is
A Little Synopsis on Streams, Stream Processing Functions, and StateBased Stream Processing
"... Abstract Specification of interactive distributed systems has been a challenge for decades. We present an overview of the specification techniques for these systems based on dataflow networks and stream processing. It covers models of streams and specification of stream processing systems that are r ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
that are related to and based on the development method Focus invented by Manfred Broy and his group. We introduce a basic set of manipulator operations for streams, stream bundles, stream processing functions, and give a summary of related statebased specification techniques. Furthermore we sketch an overview
Data Streams: Algorithms and Applications
, 2005
"... In the data stream scenario, input arrives very rapidly and there is limited memory to store the input. Algorithms have to work with one or few passes over the data, space less than linear in the input size or time significantly less than the input size. In the past few years, a new theory has emerg ..."
Abstract

Cited by 533 (22 self)
 Add to MetaCart
analysis, mining text message streams and processing massive data sets in general. Researchers in Theoretical Computer Science, Databases, IP Networking and Computer Systems are working on the data stream challenges. This article is an overview and survey of data stream algorithmics and is an updated
Models and issues in data stream systems
 IN PODS
, 2002
"... In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations, but rather arrives in multiple, continuous, rapid, timevarying data streams. In addition to reviewing past work releva ..."
Abstract

Cited by 786 (19 self)
 Add to MetaCart
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations, but rather arrives in multiple, continuous, rapid, timevarying data streams. In addition to reviewing past work
Gaussian processes for machine learning
, 2003
"... We give a basic introduction to Gaussian Process regression models. We focus on understanding the role of the stochastic process and how it is used to define a distribution over functions. We present the simple equations for incorporating training data and examine how to learn the hyperparameters us ..."
Abstract

Cited by 720 (2 self)
 Add to MetaCart
We give a basic introduction to Gaussian Process regression models. We focus on understanding the role of the stochastic process and how it is used to define a distribution over functions. We present the simple equations for incorporating training data and examine how to learn the hyperparameters
Singularity Detection And Processing With Wavelets
 IEEE Transactions on Information Theory
, 1992
"... Most of a signal information is often found in irregular structures and transient phenomena. We review the mathematical characterization of singularities with Lipschitz exponents. The main theorems that estimate local Lipschitz exponents of functions, from the evolution across scales of their wavele ..."
Abstract

Cited by 595 (13 self)
 Add to MetaCart
Most of a signal information is often found in irregular structures and transient phenomena. We review the mathematical characterization of singularities with Lipschitz exponents. The main theorems that estimate local Lipschitz exponents of functions, from the evolution across scales
TelegraphCQ: Continuous Dataflow Processing for an Uncertan World
, 2003
"... Increasingly pervasive networks are leading towards a world where data is constantly in motion. In such a world, conventional techniques for query processing, which were developed under the assumption of a far more static and predictable computational environment, will not be sufficient. Instead, qu ..."
Abstract

Cited by 514 (23 self)
 Add to MetaCart
, query processors based on adaptive dataflow will be necessary. The Telegraph project has developed a suite of novel technologies for continuously adaptive query processing. The next generation Telegraph system, called TelegraphCQ, is focused on meeting the challenges that arise in handling large streams
Results 1  10
of
145,374