Network fusion

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3302, Issue , 2004, Pages 21-40

  Fradet, Pascal ^a   Ha, Stéphane Hong Tuan ^b  

^a INRIA RHÔNE ALPES   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

INTERNAL COMMUNICATIONS; INVASIVE COMPOSITION; LABELED TRANSITION SYSTEMS; MODULAR PROGRAMMING; SCHEDULING CONSTRAINTS; SEQUENTIAL PROGRAMS; TRANSFORMATION TECHNIQUES; UNIFIED FRAMEWORK;

STATIC ANALYSIS;

EID: 35048852259     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_3     Document Type: Article

References (16)

1. A.V. Aho, R. Sethi, and J.D. Ullman. Compilers. Principles, Techniques, and Tools. Addison-Wesley, 1986.
2. Arrigoni, Duchini, and Lavagno. False path elimination in quasi-static scheduling. In Automation and Test in Europe Conference and Exhibition (DATE'02), pages 964-970, 2002.
3. R. Clayton and K. Calvert. Augmenting the proebsting-watterson filter fusion algorithm, 1997. http://citeseer.ist.psu.edu/186288.html.
4. T. Colcombet and P. Fradet. Enforcing trace properties by program transformation. In Symposium on Principles of Programming Languages (POPL'00), pages 54-66, 2000.
5. J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe, and A.L. Sangiovanni-Vincentelli. Task generation and compiletime scheduling for mixed data-control embedded software. Technical Report LSI-99-47-R, Dept. of Software, Universitat Politecnica de Catalunya, 1999.
6. M. Geilen and T. Basten. Requirements on the execution of Kahn process networks. In European Symposium on Programming (ESOP'03), 2003.
7. G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress (Information Processing'74), pages 471-475, 1974.
8. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. of the European Conference on Object-Oriented Programming, June 1997.
9. B. Lin. Software synthesis of process-based concurrent programs. In Proceedings of the 1998 Conference on Design Automation (DAC-98), pages 502-505, 1998.
10. F. Nielson, H.R. Nielson, and C.L. Hankin. Principles of Program Analysis. Springer-Verlag, 1999.
11. T.M. Parks. Bounded scheduling of process networks. PhD thesis, University of California, Berkeley, 1995.
12. T.A. Proebsting and S.A. Watterson. Filter fusion. In Symposium on Principles of Programming Languages (POPL'96), pages 119-130, 1996.
13. K. Strehl, L. Thiele, D. Ziegenbein, and R. Ernst. Scheduling hardware/software systems using symbolic techniques. In Proceedings of the seventh international workshop on Hardware/software codesign (CODES '99), pages 173-177, 1999.
14. L. Thiele, K. Strehl, D. Ziegenbein, R. Ernst, and J. Teich. Funstate - an internal design representation for codesign. In International Conference on Computer-Aided Design (ICCAD '99), pages 558-565, 1999.
15. P. Wadler. Listlessness is better than laziness. In Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, pages 45-52, 1984.
16. P. Wadler. Deforestation: transforming programs to eliminate trees. Theoretical Computer Science, 73(2):231-248, 1990.