{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:37:31Z","timestamp":1742996251611,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237242"},{"type":"electronic","value":"9783540304777"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30477-7_3","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T23:53:29Z","timestamp":1267401209000},"page":"21-40","source":"Crossref","is-referenced-by-count":2,"title":["Network Fusion"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Fradet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane Hong Tuan","family":"Ha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Compilers. Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers. Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Arrigoni, Duchini, Lavagno: False path elimination in quasi-static scheduling. In: Automation and Test in Europe Conference and Exhibition (DATE 2002), pp. 964\u2013970 (2002)","DOI":"10.1109\/DATE.2002.998416"},{"key":"3_CR3","unstructured":"Clayton, R., Calvert, K.: Augmenting the proebsting-watterson filter fusion algorithm (1997), http:\/\/citeseer.ist.psu.edu\/186288.html"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Colcombet, T., Fradet, P.: Enforcing trace properties by program transformation. In: Symposium on Principles of Programming Languages (POPL 2000), pp. 54\u201366 (2000)","DOI":"10.1145\/325694.325703"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cortadella, J., Kondratyev, A., Lavagno, L., Massot, M., Moral, S., Passerone, C., Watanabe, Y., Sangiovanni-Vincentelli, A.L.: Task generation and compile-time scheduling for mixed data-control embedded software. Technical Report LSI-99-47-R, Dept. of Software, Universitat Politecnica de Catalunya (1999)","DOI":"10.1145\/337292.337553"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/3-540-36575-3_22","volume-title":"Programming Languages and Systems","author":"M. Geilen","year":"2003","unstructured":"Geilen, M., Basten, T.: Requirements on the execution of Kahn process networks. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol.\u00a02618, pp. 319\u2013334. Springer, Heidelberg (2003)"},{"key":"3_CR7","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Proceedings of the IFIP Congress (Information Processing 1974), pp. 471\u2013475 (1974)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Lin, B.: Software synthesis of process-based concurrent programs. In: Proceedings of the 1998 Conference on Design Automation (DAC 1998), pp. 502\u2013505 (1998)","DOI":"10.1145\/277044.277182"},{"key":"3_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.L.: Principles of Program Analysis. Springer, Heidelberg (1999)"},{"key":"3_CR11","unstructured":"Parks, T.M.: Bounded scheduling of process networks. PhD thesis, University of California, Berkeley (1995)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Proebsting, T.A., Watterson, S.A.: Filter fusion. In: Symposium on Principles of Programming Languages (POPL 1996), pp. 119\u2013130 (1996)","DOI":"10.1145\/237721.237760"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Strehl, K., Thiele, L., Ziegenbein, D., Ernst, R.: Scheduling hardware\/software systems using symbolic techniques. In: Proceedings of the seventh international workshop on Hardware\/software codesign (CODES 1999), pp. 173\u2013177 (1999)","DOI":"10.1145\/301177.301523"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Thiele, L., Strehl, K., Ziegenbein, D., Ernst, R., Teich, J.: Funstate - an internal design representation for codesign. In: International Conference on Computer-Aided Design (ICCAD 1999), pp. 558\u2013565 (1999)","DOI":"10.1109\/ICCAD.1999.810711"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Listlessness is better than laziness. In: Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, pp. 45\u201352 (1984)","DOI":"10.1145\/800055.802020"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Deforestation: transforming programs to eliminate trees. Theoretical Computer Science\u00a073(2), 231\u2013248 (1990)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30477-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T22:24:55Z","timestamp":1739917495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30477-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237242","9783540304777"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30477-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}