SDF3
Scenario-Aware Dataflow
 
 
  • SDF3/SADF
  • Documentation
  • Examples
  • Download
  • Support
  • Publications
  • Sitemap
 
 

Publications

This page lists all major publications related to scenario-aware dataflow, covering any variant with different types of state-machines and different timing models (as well as some extensions). Some of these publications also include links to the presented examples.

2017

  • Dynamic Dataflow Graphs
    B.D. Theelen, E.F. Deprettere, and S.S. Bhattacharyya
    In: Handbook of Signal Processing Systems, 3rd Edition, Springer, 2018
  • Programming and Analysing Scenario-Aware Dataflow on a Multi-Processor Platform
    R. van Kampenhout, S. Stuijk, and K. Goossens
    In: Proceedings of the International Conference on Design, Automation and Test in Europe (DATE), 2017

2016

  • Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
    M.C.W. Geilen, J. Falk, C. Haubelt, T. Basten, B.D. Theelen, and S. Stuijk
    In: Journal of Signal Processing Systems, ISSN 1939-8115, pp. 1 - 19, 2016 (doi)
  • Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow
    J.-P. Katoen, and H. Wu.
    In: Transactions on Design Automation of Electronic Systems, Vol. 22, Issue 1, pp. 15:1 - 15:27, ACM, 2016 (doi)
  • Flexible Support for Time and Costs in Scenario-Aware Dataflow
    A. Hartmanns, H. Hermanns, and M. Bungert
    In: Proceedings of the International Conference on Embedded Software (EMSoft), pp. 3:1 - 3:10, ACM, 2016
  • Dataflow-based Modeling and Performance Analysis for Online Gesture Recognition
    F. Grützmacher, B. Beichler, B.D. Theelen, and C. Haubelt
    In: Proceedings of the Second International Workshop on Modeling, Analysis and Control of Complex Cyber-Physical Systems (CPSData), 2016

2015

  • Model Checking of Finite-State Machine-Based Scenario-Aware Dataflow using Timed Automata
    M. Skelin, E.R. Wognsen, M.C. Olesen, R.R. Hansen, and K.G. Larsen
    In: Proceedings of the International Symposium on Industrial Embedded Systems (SIES), 2015
  • A Scenario-Aware Dataflow Programming Model
    R. van Kampenhout, S. Stuijk, and K. Goossens
    In: Proceedings of Digital System Design (DSD), pp. 25-32, IEEE Computer Society, 2015

2014

  • Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
    M.C.W. Geilen, J. Falk, C. Haubelt, T. Basten, B. Theelen, and S. Stuijk
    In: Proceedings of Asilomar Conference on Signals, Systems, and Computers (Asilomar), IEEE Computer Society, 2014
  • Exponentially Timed SADF: Compositional Semantics, Reductions, and Analysis
    J.-P. Katoen, and H. Wu.
    In: Proceedings of International Conference on Embedded Software (EMSOFT), pp. 1-10, IEEE Computer Society, 2014

2013

  • Dynamic Dataflow Graphs
    S.S. Bhattacharyya, E.F. Deprettere, and B.D. Theelen
    In: Handbook of Signal Processing Systems, 2nd Edition, Springer
  • Throughput-Constrained DVFS for Scenario-Aware Dataflow Graphs
    M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen and H. Corporaal
    In: Proceedings of Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Computer Society, 2013

2012

  • Parametric Throughput Analysis of Scenario-Aware Dataflow Graphs
    M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen and H. Corporaal
    In: Proceedings of International Conference of Computer Design (ICCD), pp. 219-226, IEEE Computer Society, 2012
  • Predictable Dynamic Embedded Data Processing
    M.C.W. Geilen, S. Stuijk, and and T. Basten
    In: Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS), pp. 320-327, 2012
  • Model Checking of Scenario-Aware Dataflow with CADP
    B.D. Theelen, J.-P. Katoen, and H. Wu.
    In: Proceedings of Design, Automation and Test in Europe (DATE), pp. 653-658, ACM 2012
  • Playing Games with Scenario- and Resource-Aware SDF Graphs Through Policy Iteration
    Y. Yang, M.C.W. Geilen, T. Basten, S. Stuijk and H. Corporaal
    In: Proceedings of Design, Automation and Test in Europe (DATE), pp. 194-199, ACM 2012

2011

  • Analyzing Synchronous Dataflow Scenarios for Dynamic Software-defined Radio Applications
    F. Siyoum, M. Geilen, O. Moreira, R. Nas and H.Corporaal
    In: Proceedings of the International Symposium on System-on-Chip (SOC), pp. 14 - 21, IEEE Computer Society, 2011
  • Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
    M.C.W. Geilen, J. Falk, C. Haubelt, T. Basten, B.D. Theelen and S. Stuijk
    Technical Report ESR-2011-03, Eindhoven University of Technology, Eindhoven (The Netherlands), December 2011.
  • Performance Model Checking Scenario-Aware Dataflow
    B.D. Theelen, M.C.W. Geilen, and J.P.M. Voeten.
    In: Proceedings of the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 6919, pp. 43-59, Springer 2011
    Benchmarks: MPEG-4 AVC, Running Example, Channel Equalizer, MPEG-4 SP (PD=1), MPEG-4 SP (PD=2), MPEG-4 SP (PD=3), MP3 (PD=1), MP3 (PD=2), MP3 (PD=3), MP3 (PD=9)
  • Scenario-Aware Dataflow: Modeling, Analysis and Implementation of Dynamic Applications
    S. Stuijk, M.C.W. Geilen, B.D. Theelen, and T. Basten.
    In: Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS), pp. 404-411, 2011

2010

  • Worst-case Performance Analysis of Synchronous Dataflow Scenarios
    M.C.W. Geilen and S. Stuijk
    In: Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS), pp. 125-134, ACM 2010
  • A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour
    S. Stuijk, M.C.W. Geilen and T. Basten
    In: Proceedings of EUROMICRO Conference on Digital System Design (DSD), pp. 548-555, IEEE Computer Society, 2013

2008

  • FSM-Based SADF
    S. Stuijk, A.H. Ghamarian, B.D. Theelen, M.C.W. Geilen and T. Basten
    MNEMEE internal report, Eindhoven University of Technology, Eindhoven (The Netherlands), December 2008
  • Scenario-Aware Dataflow
    B.D. Theelen, M.C.W. Geilen, S. Stuijk, S.V. Gheorghita, T. Basten, J.P.M. Voeten and A.H. Ghamarian
    Technical Report ESR-2008-08, Eindhoven University of Technology, Eindhoven (The Netherlands), July 2008

2007

  • A Performance Analysis Tool for Scenario-Aware Streaming Applications
    B.D. Theelen
    In: Proceedings of the International Conference on the Quantitative Evaluation of Systems (QEST), pp. 269-270, IEEE Computer Society, 2007
    Benchmarks: MPEG-4 SP Decoder (pipeling degree 3), MPEG-4 SP Decoder (pipeling degree 2) and corresponding SDF model of the MPEG-4 SP Decoder (pipeling degree 3)

2006

  • A Scenario-Aware Data Flow Model for Combined Long-Run Average and Worst-Case Performance Analysis
    B.D. Theelen, M.C.W. Geilen, T. Basten, J.P.M. Voeten, S.V. Gheorghita and S. Stuijk
    In: Proceedings of the ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 185-194, IEEE Computer Society, 2006
    Examples: Introductory Example (excludes the unnecessary detector F) and MPEG-4 SP Decoder
Copyright © 2008 Electronic Systems Group. All rights reserved.
Webmaster : Content