Search Results - "Stream Programming"

Checking equivalence of corecursive streams: An inductive procedure by Ancona, Davide, Barbieri, Pietro, Zucca, Elena

“…In recent work, non-periodic streams have been defined corecursively, by representing them with finitary equational systems built on top of various operators,…”
Get full text

Checked corecursive streams: Expressivity and completeness by Ancona, Davide, Barbieri, Pietro, Zucca, Elena

“…Checked corecursive streams are a novel approach to stream definitions relying on a semantics of function application detecting cyclic calls, and a…”
Get full text

Dynamic Scheduling of Irregular Stream Programs toward Many-Core Scalability by Min, Changwoo, Eom, Young Ik

“…The stream programming model has received much interest because it naturally exposes task, data, and pipeline parallelism. However, most priorwork has focused…”
Get full text

Fault tolerant functional reactive programming (functional pearl) by Perez, Ivan

“…Highly critical application domains, like medicine and aerospace, require the use of strict design, implementation and validation techniques. Functional…”
Get full text

Curracurrong: a stream programming environment for wireless sensor networks by Kakkad, Vasvi, Attar, Saeed, Santosa, Andrew E., Fekete, Alan, Scholz, Bernhard

“…SUMMARYThe technological advances in wireless sensor network (WSN) enable the development of complex applications including health monitoring, environmental…”
Get full text

Automatic parallelization of canonical loops by da Mata, Leonardo Luiz Padovani, Pereira, Fernando Magno Quintão, Ferreira, Renato

“…This paper presents a compilation technique that performs the automatic parallelization of canonical loops. Canonical loops are a recurring pattern that we…”
Get full text

An empirical characterization of stream programs and its implications for language and compiler design by Thies, William, Amarasinghe, Saman

“…Stream programs represent an important class of high-performance computations. Defined by their regular processing of sequences of data, stream programs appear…”
Get full text

Mapping stream programs onto multicore platforms by local search and genetic algorithm by Farhad, S.M., Nayeem, Muhammad Ali, Rahman, Md. Khaledur, Rahman, M. Sohel

“…This paper presents a number of novel metaheuristic approaches that can efficiently map stream graphs on multicores. A stream graph consists of a set of actors…”
Get full text

Sorting on GPUs for large scale datasets: A thorough comparison by Capannini, Gabriele, Silvestri, Fabrizio, Baraglia, Ranieri

“…► Inspired by the attractive performance/cost ratio, several studies in diferent application fields adopt graphic processors for carrying out data-intensive…”
Get full text

Exploiting controlled-grained parallelism in message-driven stream programs by Su, Yan, Shi, Feng, Talpur, Shahnawaz, Wei, Jin, Tan, Hai

“…With the increasing amount of parallelism obtainable on multicore platforms, stream programming has been proposed as an effective solution for exposing…”
Get full text

Foundations of Total Functional Data-Flow Programming by Trancón y Widemann, Baltasar, Lepper, Markus

“…The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored…”
Get full text

DANBI: Dynamic scheduling of irregular stream programs for many-core systems by Changwoo Min, Young Ik Eom

“…The stream programming model has received a lot of interest because it naturally exposes task, data, and pipeline parallelism. However, most prior work has…”
Get full text

Achieving self-aware parallelism in stream programs by Su, Yan, Shi, Feng, Talpur, Shahnawaz, Wang, Yizhuo, Hu, Sensen, Wei, Jin

“…The age of big data open the door to a new approach in data exploration and utilization. With the increasing complexities and dynamics of modern IT systems and…”
Get full text

Software Pipelined Execution of Stream Programs on GPUs by Udupa, Abhishek, Govindarajan, R., Thazhuthaveetil, Matthew J.

“…The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multi-core architectures. This model…”
Get full text

A Dedicated Micro-Kernel to Combine Real-Time and Stream Applications on Embedded Manycores by Dubrulle, Paul, Ohayon, Emmanuel

“…The latest generation of many-core processors offers more than ever the opportunity to pool different applications into a single embedded system. This…”
Get full text

Optimizing modulo scheduling to achieve reuse and concurrency for stream processors by Wang, Li, Xue, Jingling, Yang, Xuejun

“…Both reuse and concurrency are performance-critical for stream processors. When applying loop unrolling and software pipelining separately to stream-level…”
Get full text

Compiling for stream processing by Das, Abhishek, Dally, William J., Mattson, Peter

“…This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip…”
Get full text

Lossless Image Compression Exploiting Streaming Model for Efficient Execution on Multicores by Knezović, Josip, Mlinarić, Hrvoje, Žagar, Martin

“…Image and video coding play a critical role in present multimedia systems ranging from entertainment to specialized applications such as telemedicine. Usually,…”
Get full text

Vertex–transformation streams by Kim, Youngmin, Lee, Chang Ha, Varshney, Amitabh

“…Recent trends in parallel computer architecture strongly suggest the need to improve the arithmetic intensity (the compute to bandwidth ratio) for greater…”
Get full text

Exploiting loop-dependent Stream Reuse for stream processors by Yang, Xuejun, Zhang, Ying, Xue, Jingling, Rogers, Ian, Li, Gen, Wang, Guibin

“…The memory access limits the performance of stream processors. By exploiting the reuse of data held in the Stream Register File (SRF), an on-chip storage, the…”
Get full text