{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:07:30Z","timestamp":1742382450759},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_7","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T11:01:43Z","timestamp":1182164503000},"page":"80-100","source":"Crossref","is-referenced-by-count":3,"title":["Quasi-Static Scheduling of Independent Tasks for Reactive Systems"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Cortadella","sequence":"first","affiliation":[]},{"given":"Alex","family":"Kondratyev","sequence":"additional","affiliation":[]},{"given":"Luciano","family":"Lavagno","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Passerone","sequence":"additional","affiliation":[]},{"given":"Yosinori","family":"Watanabe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J. Buck. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. PhD thesis, U. C. Berkeley, 1993.","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe, and A. Sangiovanni-Vincentelli. Task Generation and Compile-Time Scheduling for Mixed Data-Control Embedded Software. In Proceedings of the 37th Design Automation Conference, June 2000.","DOI":"10.1145\/337292.337553"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"E. A. de Kock, G. Essink, W. J. M. Smits, P. van der Wolf, J.-Y. Brunel, W. M. Kruijtzer, P. Lieverse, and K. A. Vissers. YAPI: Application Modeling for Singal Processing Systems. In Proceedings of the 37 th Design Automation Conference, June 2000.","DOI":"10.1145\/337292.337511"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"D. Har\u2019el, H. Lachover, A. Naamad, A. Pnueli, et al. STATEMATE: a working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4), April 1990.","DOI":"10.1109\/32.54292"},{"key":"7_CR6","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 66 Wood Lane End, Hemel Hempstead, Hertfordshire, HP2 4RG, UK, 1985."},{"key":"7_CR7","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In Proceedings of IFIP Congress, August 1974."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"H. Kopetz and G. Grunsteidl. TTP-A protocol for fault-tolerant real-time systems. IEEE Computer, 27(1), January 1994.","DOI":"10.1109\/2.248873"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"E. A. Lee and D. G. Messerschmitt. Static scheduling of synchronous data flow graphs for digital signal processing. IEEE Transactions on Computers, January 1987.","DOI":"10.1109\/TC.1987.5009446"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"B. Lin. Software synthesis of process-based concurrent programs. In 35th ACM\/IEEE Design Automation Conference, June 1998.","DOI":"10.1145\/277044.277182"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"C. Passerone, Y. Watanabe, and L. Lavagno. Generation of minimal size code for schedule graphs. In Proceedings of the Design Automation and Test in Europe Conference, March 2001.","DOI":"10.1109\/DATE.2001.915096"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice Petri nets. In 36th ACM\/IEEE Design Automation Conference, June 1999.","DOI":"10.1145\/309847.310073"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"K. Strehl, L. Thiele, D. Ziegenbein, R. Ernst, and et al. Scheduling hardware\/software systems using symbolic techniques. In International Workshop on Hardware\/Software Codesign, 1999.","DOI":"10.1145\/301177.301523"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"P. van der Wolf, P. Lieverse, M. Goel, D. L. Hei, and K. Vissers. An MPEG-2 Decoder Case Study as a Driver for a System Level Design Methodology. In Proceedings of the 7 th International Workshop on Hardware\/Software Codesign, May 1999.","DOI":"10.1145\/301177.301196"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T03:59:00Z","timestamp":1556510340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}