{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:20Z","timestamp":1725562580542},"publisher-location":"Boston, MA","reference-count":26,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441963994"},{"type":"electronic","value":"9781441964007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-6400-7_6","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T20:08:37Z","timestamp":1280952517000},"page":"173-199","source":"Crossref","is-referenced-by-count":3,"title":["MRICDF: A Polychronous Model for Embedded Software Synthesis"],"prefix":"10.1007","author":[{"given":"Bijoy A.","family":"Jose","sequence":"first","affiliation":[]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,26]]},"reference":[{"key":"6_CR1_6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N Halbwachs","year":"1993","unstructured":"N. Halbwachs. Synchronous programming of reactive systems. Kluwer, Dordrecht, 1993."},{"issue":"12","key":"6_CR2_6","doi-asserted-by":"publisher","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217\u20131229, 1998.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"issue":"2","key":"6_CR3_6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"issue":"9","key":"6_CR4_6","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305\u20131320, 1991.","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"6_CR5_6","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"PL Guernic","year":"1991","unstructured":"P. L. Guernic, T. Gautier, M. L. Borgne, and C. L. Maire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321\u20131336, 1991.","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"6_CR6_6","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages twelve years later. Proceedings of the IEEE: Special Isssue on Modeling and Design of Embedded Systems, 91(1):64\u201383, 2003.","journal-title":"Proceedings of the IEEE: Special Isssue on Modeling and Design of Embedded Systems"},{"key":"6_CR7_6","doi-asserted-by":"crossref","unstructured":"G. Berry and E. Sentovich. Multiclock esterel: correct hardware design and verification methods. Lecture Notes in Computer Science, volume 2144, pages 110\u2013125. Springer, Berlin, 2001.","DOI":"10.1007\/3-540-44798-9_10"},{"issue":"3","key":"6_CR8_6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/MC.2004.1274005","volume":"37","author":"T Austin","year":"2004","unstructured":"T. Austin, D. Blaauw, T. Mudge, and K. Flautner. Making typical silicon matter with razor. Computer, 37(3):57\u201365, 2004.","journal-title":"Computer"},{"key":"6_CR9_6","doi-asserted-by":"crossref","unstructured":"M. Blum and S. Kannan. Designing programs that check their work. In Proc. of the 21st ACM Symposium on Theory of Computing, pages 86\u201397, New York, NY, USA, 1989. ACM.","DOI":"10.1145\/73007.73015"},{"key":"6_CR10_6","unstructured":"Synfora Inc. Esterel Studio EDA Tool. \n                http:\/\/www.synfora.com\/products\/esterelstudio.html\n                \n              ."},{"key":"6_CR11_6","unstructured":"ESTEREL Technologies. The SCADE suite. \n                http:\/\/www.esterel-technologies.com\/products\/scade-suite\n                \n              ."},{"key":"6_CR12_6","unstructured":"ESPRESSO Project, INRIA. The Polychrony toolset. \n                http:\/\/www.irisa.fr\/espresso\/Polychrony\n                \n              ."},{"key":"6_CR13_6","doi-asserted-by":"crossref","unstructured":"T. Gautier, P. Le Guernic, and L. Besnard. SIGNAL: A declarative language for synchronous programming of real-time systems. In Proc. of a Conf. on Functional Programming Languages and Computer Architecture, pages 257\u2013277, 1987.","DOI":"10.1007\/3-540-18317-5_15"},{"key":"6_CR14_6","doi-asserted-by":"crossref","unstructured":"T. P. Amagbegnon, L. Besnard, and P. Le Guernic. Implementation of the data-flow synchronous language signal. In ACM Symp. on Prog. Languages Design and Implementation (PLDI\u201995), volume 1, pages 163\u2013173, 1995.","DOI":"10.1145\/207110.207134"},{"issue":"8","key":"6_CR15_6","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1016\/j.ic.2001.05.001","volume":"204","author":"D Nowak","year":"2006","unstructured":"D. Nowak. Synchronous structures. Information and Computation, 204(8):1295\u20131324, 2006.","journal-title":"Information and Computation"},{"key":"6_CR16_6","doi-asserted-by":"crossref","unstructured":"B. A. Jose and S. K. Shukla. An alternative polychronous model and synthesis methodology for model-driven embedded software. In Asia and South Pacific Design Automation Conference (ASP-DAC 2010), pages 13\u201318, Jan. 2010.","DOI":"10.1109\/ASPDAC.2010.5419925"},{"key":"6_CR17_6","doi-asserted-by":"crossref","unstructured":"B. A. Jose, S. K. Shukla, H. D. Patel, and J-P Talpin. On the multi-threaded software synthesis from polychronous specifications. In Formal Models and Methods in Co-Design (MEMOCODE), Anaheim, CA, USA, pages 129\u2013138, Jun. 2008.","DOI":"10.1109\/MEMCOD.2008.4547700"},{"key":"6_CR18_6","unstructured":"B. Houssais. The synchronous programming language signal. a tutorial. Technical report, IRISA ESPRESSO project, 2004."},{"key":"6_CR19_6","unstructured":"B. A. Jose, L. Stewart, J. Pribble, and S. K. Shukla. Technical report on EmCodeSyn models: STARMAC and producer\u2013consumer examples. Technical Report 2009-02, FERMAT Lab, Virginia Tech, 2009."},{"key":"6_CR20_6","unstructured":"B. A. Jose, J. Pribble, Lemaire Stewart, and Sandeep K. Shukla. EmCodeSyn: a visual framework for multi-rate data flow specifications and code synthesis for embedded applications. In 12th Forum on Specification and Design Languages (FDL\u201909), pages 1\u20136, Sept. 2009."},{"key":"6_CR21_6","doi-asserted-by":"crossref","unstructured":"P. Jackson and J. Pais. Computing prime implicants. In CADE-10: Proc. of the Tenth Intl. Conf. on Automated Deduction, pages 543\u2013557, New York, NY, USA, 1990. Springer, New York.","DOI":"10.1007\/3-540-52885-7_113"},{"key":"6_CR22_6","unstructured":"J. de Kleer. An improved incremental algorithm for computing prime implicants. In Proc. AAAI-92, pages 780\u2013785, San Jose, CA, USA, 1992."},{"key":"6_CR23_6","doi-asserted-by":"crossref","unstructured":"A. Matusiwicz, N. Murray, and E. Rosenthal. Prime implicate tries. In Proc. of 18th Intl. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo, Norway, 2009. Lecture Notes in Computer Science, volume 5607, pages 250\u2013264. Springer, Berlin, 2009.","DOI":"10.1007\/978-3-642-02716-1_19"},{"key":"6_CR24_6","unstructured":"STARMAC project Group. The Stanford testbed of autonomous rotorcraft for multi-agent control overview. \n                http:\/\/www.hybrid.stanford.edu\/starmac\/overview\n                \n              ."},{"issue":"1","key":"6_CR25_6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2008.01.006","volume":"238","author":"BA Jose","year":"2009","unstructured":"B. A. Jose, H. D. Patel, S. K. Shukla, and J.-P. Talpin. Generating multi-threaded code from polychronous specifications. Electronic Notes on Computer Science, 238(1):57\u201369, 2009.","journal-title":"Electronic Notes on Computer Science"},{"key":"6_CR26_6","doi-asserted-by":"crossref","unstructured":"B. A. Jose, J. Pribble, and S. K. Shukla. Faster software synthesis using actor elimination techniques for polychronous formalism. In 10th International Conference on Applications of Concurrency to System Design (ACSD 2010), June 2010.","DOI":"10.1109\/ACSD.2010.31"}],"container-title":["Synthesis of Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6400-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T23:41:22Z","timestamp":1619826082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-6400-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441963994","9781441964007"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6400-7_6","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}