Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Compute kernel

Related publications (23)

Optimization of Portable Parallel Signal Processing Applications by Design Space Exploration of Dataflow Programs

Marco Mattavelli, Christophe Lucarz

This paper describes a methodology for the optimization of portable parallel signal processing applications specified by dataflow programs. The use of dataflow as a programming model for signal processing applications targeting parallel platforms provides ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Collections, Cardinalities, and Relations

Viktor Kuncak, Ruzica Piskac

Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to co ...

2010

Real-time textured volume reconstruction using virtual and real video cameras

Daniel Thalmann, Stéphane Gobron, Junghyun Ahn

Reconstructing objects in three dimensions (3D) has always been one of the primary tasks in the domain of computer graphics (CG). Succeeding in this task in real-time, including texture reconstruction, and with very low-cost hardware is the challenge prese ...

2010