Phased scheduling of stream programs

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2003, Pages 103-112

  Karczmarek, Michal ^a   Thies, William ^a   Amarasinghe, Saman ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Buffer size; Code size; Cyclo static dataflow; DSP; Phased scheduling; Stream programming; StreamIt; Synchronous dataflow

Indexed keywords

ALGORITHMS; BUFFER STORAGE; DATA FLOW ANALYSIS; DATA STRUCTURES; DIGITAL SIGNAL PROCESSING; HIGH LEVEL LANGUAGES; PROGRAM COMPILERS; SCHEDULING;

BUFFER SIZE; CODE SIZE; CYCLO STATIC DATA FLOW; PHASE SCHEDULING; STREAM PROGRAMS; STREAMIT LANGUAGE; SYNCHRONOUS DATA FLOW;

EMBEDDED SYSTEMS;

EID: 0242696254     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/780732.780747     Document Type: Conference Paper

References (25)

1. Albert Benveniste, Paul Caspi, Paul Le Guernic and Nicolas Halbawchs. Data-Flow Synchronous Languages. In REX School/Symposium, pages 1-45, 1993.
2. Gerard Berry and Georges Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science of Computer Programming, 19(2):87-152, 1992.
3. Chuvra S. Bhattacharyya, Praveen K. Murthy, and Edward A. Lee. APGAN and RPMC: Complementary Heuristics for Translating DSP Block Diagrams into Efficient Software Implementations. Journal of Design Automation for Embedded Systems, January 1997.
4. S. Bhattacharyya, P. Murthy, and E. Lee. Synthesis of embedded software from synchronous dataflow specifications. Journal of VLSI Signal Processing Systems, 21(2), June 1999.
5. S. S. Bhattacharyya. Optimization Trade-offs in the Synthesis of Software for Embedded DSP. In CASES, October 1999. Washington, D. C.
6. S. S. Bhattacharyya, P. K. Murthy, and E. A. Lee. Software Synthesis from Dataflow Graphs. Kluwer Academic Publishers, 1996.
7. Greet Bilsen, Marc Engels, Rudy Lauwereins, and Jean Peperstraete. Cyclo-Static Dataflow. IEEE Trans. on Signal Processing, pages 397-408, February 1996.
8. Thierry Gautier, Paul Le Guernic, and Loic Besnard. Signal: A declarative language for synchronous programming of real-time systems. Springer Verlag Lecture Notes in Computer Science, 274:257-277, 1987.
9. S. Goddard and K. Jeffay. Analyzing the Real-Time Properties of a U.S. Navy Singer Processing System. International Journal of Reliability. Quality and Safety Engineering, 7 (4), 2000.
10. Michael Gordon, William Thies, Michal Karczmarek, Jeremy Wong, Henry Hoffmann, David Maze, and Saman Amarasinghe. A Stream Compiler for Communication-Exposed Architectures. In ASPLOS, pages 75-86, October 2002.
11. R. Govindarajan, Guang R. Gao, and Palash Desai. Minimizing memory requirements in rate optimal schedules. In Proc. of the 1994 International Conference on Application Specific Array Processors, pages 75-86. IEEE Computer Society, August 1994.
12. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proc. of the IEEE, 79(9):1305-1320, September 1991.
13. StreamIt Homepage. http://compiler.lcs.mit.edu/streamit.
14. J. Gaudiot and W. Bohm and T. DeBoni and J. Feo and P. Mille. The Sisal Model of Functional Programming and its Implementation. In Proc. of the Second Aizu International Symposium on Parallel Algorithms/Architectures Synthesis, 1997.
15. Michal Karczmarek. Constrained and Phased Scheduling of Synchronous Data Flow Graphs for StreamIt Language. S.M. Thesis, Massachusetts Institute of Technology, Laboratory for Computer Science, 2002.
16. Andrew Lamb, William Thies, and Saman Amarasinghe. Linear Analysis and Optimization of Stream Programs. In PLDI, 2003.
17. E. Lee and D. Messershmitt. Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. IEEE Trans. on Computers, C-36(1):24-35, January 1987.
18. Edward A. Lee. Overview of the Ptolemy Project. UCB/ERL Technical Memorandum UCB/ERL M01/11, Dept. EECS, UC Berkeley, CA, March 2001.
19. P. K. Murthy and S. S. Bhattacharyya. A Buffer Merging Technique for Reducing Memory Requirements of Synchronous Dataflow Specifications. In International Symposium on System Synthesis, 1999.
20. P. K. Murthy and S. S. Bhattacharyya. Buffer Merging - A Powerful Technique for Reducing Memory Requirements of Synchronous Dataflow Specifications. Technical report, Inst. for Adv. Computer Studies, UMD College Park, 2000.
21. T. Parks, J. Pino, and E. Lee. A Comparison of Synchronous and CycloStatic Dataflow. In IEEE Asilomar Conference on Signals, Systems, and Computers, 1995.
22. Robert Stephens. A Survey of Stream Processing. Acta Informatica, 34(7):491-541, 1997.
23. William Thies, Michal Karczmarek, and Saman Amarasinghe. StreamIt: A Language for Streaming Applications. In Proc. of the International Conference on Compiler Construction, 2002.
24. P. Wauters, M. Engels, R. Lauwereins, and J. Peperstraete. Cyclo-dynamic dataflow. In 4th EUROMICRO Workshop on Parallel and Distributed Processing, January 1996.
25. Eckart Zitzler, Jurgen Teich, and Shuvra S. Bhattacharyya. Evolutionary Algorithms for the Synthesis of Embedded Software. IEEE Trans. on Very Large Scale Integration (VLSI) Systems, 8(4), August 2000.