Now showing items 1-3 of 3

    • A catalog of stream processing optimizations 

      Hirzel M.; Soulé R.; Schneider S.; Gedik, B.; Grimm, R. (Association for Computing Machinery, 2014)
      Various research communities have independently arrived at stream processing as a programming model for efficient and parallel computing. These communities include digital signal processing, databases, operating systems, ...
    • From a calculus to an execution environment for stream processing 

      Soulé, R.; Hirzel, M.; Gedik, Buğra; Grimm, R. (ACM, 2012)
      At one level, this paper is about River, a virtual execution environment for stream processing. Stream processing is a paradigm well-suited for many modern data processing systems that ingest high-volume data streams from ...
    • River: an intermediate language for stream processing 

      Soulé R.; Hirzel M.; Gedik, B.; Grimm, R. (John Wiley & Sons Ltd., 2016)
      Summary This paper presents both a calculus for stream processing, named Brooklet, and its realization as an intermediate language, named River. Because River is based on Brooklet, it has a formal semantics that enables ...