{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:19:13Z","timestamp":1729642753364,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icvd.2003.1183196","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T15:38:00Z","timestamp":1061998680000},"page":"579-584","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of real-time embedded software by timed quasi-static scheduling"],"prefix":"10.1109","author":[{"family":"Pao-Ann Hsiung","sequence":"first","affiliation":[]},{"family":"Feng-Shi Su","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"211","article-title":"Efficient compilation of process-based concurrent programs without run-time scheduling","author":"lin","year":"1997","journal-title":"Proceedings of the Design Automation and Test in Europe (DATE)"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1145\/277044.277182","article-title":"Software synthesis of process-based concurrent programs","author":"lin","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref12","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","volume":"980","author":"maler","year":"1995","journal-title":"22th Annual Symposium on Theoretical Aspects of Computer Scoence (STACS'95)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/357195.357196"},{"key":"ref14","doi-asserted-by":"crossref","DOI":"10.1109\/DAC.1999.782140","article-title":"Synthesis of embedded software using free-choice petri nets","author":"sgroi","year":"1999","journal-title":"Proc Design Automation Conf (DAC 99)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/774789.774832"},{"journal-title":"BLUETOOTH Connect Without Cables","year":"2001","author":"bray","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00337680"},{"key":"ref5","first-page":"19","article-title":"Time-memory scheduling and code generation of real-time embedded software","author":"gau","year":"2002","journal-title":"Proc of the 8th International Conference on Real-Time Computing Systems and Applications (RTCSA'02"},{"key":"ref8","first-page":"35","article-title":"Formal synthesis and control of soft embedded real-time systems","author":"hsiung","year":"2001","journal-title":"Proc of IFIP 21st Int'l Conference on Formal Techniques for Networked and Distributed Systems (Forte)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/371636.371729"},{"key":"ref2","first-page":"634","author":"balarin","year":"1999","journal-title":"Proc of International Conference on Computer Design (ICCD'29)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818838"},{"key":"ref9","article-title":"Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets","author":"hsiung","year":"2002","journal-title":"Proc of the Workshop on Theory and Practice of Timed Systems (TPTS'2002 Grenoble France) Electronic Notes in Theoretical Computer Science (ENTCS)"}],"event":{"name":"16th International Conference on VLSI Design. Concurrently with the 2nd International Conference on Embedded Systems Design","acronym":"ICVD-03","location":"New Delhi, India"},"container-title":["16th International Conference on VLSI Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8427\/26547\/01183196.pdf?arnumber=1183196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T08:36:12Z","timestamp":1585125372000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1183196\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icvd.2003.1183196","relation":{},"subject":[]}}