SysteMoC: A Data-Flow Programming Language for Codesign

[1]  Rafael Rosales,et al.  MAESTRO— Holistic Actor-Oriented Modeling of Nonfunctional Properties and Firmware Behavior for MPSoCs , 2014, TODE.

[2]  Paul R. Kosinski,et al.  A straightforward denotational semantics for non-determinate data flow programs , 1978, POPL 1978.

[3]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[4]  Jack B. Dennis,et al.  First version of a data flow procedure language , 1974, Symposium on Programming.

[5]  Edward A. Lee.  The problem with threads , 2006, Computer.

[6]  Shuvra S. Bhattacharyya,et al.  Functional DIF for Rapid Prototyping , 2008, 2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping.

[7]  Jürgen Teich,et al.  FunState-an internal design representation for codesign , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

[8]  Michael Glaß,et al.  Automatic communication-driven virtual prototyping and design for networked embedded systems , 2015, Microprocess. Microsystems.

[9]  Christian Haubelt,et al.  SystemCoDesigner—an automatic ESL synthesis approach by design space exploration and behavioral synthesis for streaming applications , 2009, TODE.

[10]  Christian Haubelt,et al.  Classification of General Data Flow Actors into Known Models of Computation , 2008, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.

[11]  Edward A. Lee,et al.  APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations , 1997, Des. Autom. Embed. Syst..

[12]  Thomas Martyn Parks,et al.  Bounded scheduling of process networks , 1996 .

[13]  Christian Haubelt,et al.  A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs , 2013, TECS.

[14]  Mickaël Raulet,et al.  Exploiting Statically Schedulable Regions in Dataflow Programs , 2011, J. Signal Process. Syst..

[15]  E.A. Lee,et al.  Synchronous data flow , 1987, Proceedings of the IEEE.

[16]  Jean A. Peperstraete,et al.  Cycle-static dataflow , 1996, IEEE Trans. Signal Process..

[17]  Christian Haubelt,et al.  Analysis of SystemC actor networks for efficient synthesis , 2011, TECS.

[18]  Jürgen Teich,et al.  FunState —an internal design representation for codesign , 1999, ICCAD 1999.

[19]  Christian Haubelt,et al.  A rule-based static dataflow clustering algorithm for efficient embedded software synthesis , 2011, 2011 Design, Automation & Test in Europe.

[20]  Christian Haubelt,et al.  Efficient approximately-timed performance modeling for architectural exploration of MPSoCs , 2009, 2009 Forum on Specification & Design Languages (FDL).

[21]  S.S. Bhattacharyya,et al.  A hierarchical multiprocessor scheduling system for DSP applications , 1995, Conference Record of The Twenty-Ninth Asilomar Conference on Signals, Systems and Computers.

[22]  Sander Stuijk,et al.  Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications , 2011, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

[23]  Christian Haubelt,et al.  Task-accurate performance modeling in SystemC for real-time multi-processor architectures , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[24]  Christian Haubelt,et al.  A Very Fast and Quasi-accurate Power-State-Based System-Level Power Modeling Methodology , 2012, ARCS.

[25]  Shuvra S. Bhattacharyya,et al.  Cycle-Breaking Techniques for Scheduling Synchronous Dataflow Graphs , 2007 .

[26]  Michael Glaß,et al.  Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling , 2015, SCOPES.

[27]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[28]  Elizabeth Latronico,et al.  System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[29]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[30]  Michael Glaß,et al.  Quasi-static scheduling of data flow graphs in the presence of limited channel capacities , 2015, 2015 13th IEEE Symposium on Embedded Systems For Real-time Multimedia (ESTIMedia).

[31]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[32]  Jürgen Teich,et al.  System-Level Synthesis Using Evolutionary Algorithms , 1998, Des. Autom. Embed. Syst..

[33]  Edward A. Lee,et al.  Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing , 1989, IEEE Transactions on Computers.

[34]  Edward A. Lee,et al.  Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[35]  Christian Haubelt,et al.  Syntax and execution behavior of SysteMoC , 2005 .

[36]  Christian Haubelt,et al.  A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications , 2008, EMSOFT '08.

[37]  Christian Haubelt,et al.  Integrated Modeling Using Finite State Machines and Dataflow Graphs , 2013, Handbook of Signal Processing Systems.

[38]  Shuvra S. Bhattacharyya,et al.  Parameterized dataflow modeling for DSP systems , 2001, IEEE Trans. Signal Process..

[39]  Shuvra S. Bhattacharyya,et al.  Heterogeneous Design in Functional DIF , 2008, SAMOS.

[40]  Edward A. Lee,et al.  Scheduling dynamic dataflow graphs with bounded memory using the token flow model , 1993, 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing.