Sciweavers

2583 search results - page 281 / 517
» Compiling for stream processing
Sort
View
IPPS
1999
IEEE
15 years 11 months ago
The Characterization of Data-Accumulating Algorithms
A data-accumulating algorithm (d-algorithm for short) works on an input considered as a virtually endless stream. The computation terminates when all the currently arrived data ha...
Stefan D. Bruda, Selim G. Akl
COMPASS
1994
15 years 10 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
FSTTCS
2007
Springer
15 years 10 months ago
Efficient and Expressive Tree Filters
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
Michael Benedikt, Alan Jeffrey
FSE
2006
Springer
109views Cryptology» more  FSE 2006»
15 years 10 months ago
Computing the Algebraic Immunity Efficiently
The purpose of algebraic attacks on stream and block ciphers is to recover the secret key by solving an overdefined system of multivariate algebraic equations. They become very eff...
Frédéric Didier, Jean-Pierre Tillich
ICWS
2008
IEEE
15 years 8 months ago
Multimedia Content Provisioning Using Service Oriented Architectures
Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures -- especially for the Processing and ...
Ingo Brunkhorst, Sascha Tönnies, Wolf-Tilo Ba...