{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:46:08Z","timestamp":1729611968451,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/rtcsa.2014.6910556","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:39:52Z","timestamp":1412109592000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["TACO: A scalable framework for timing analysis and code optimization of synchronous programs"],"prefix":"10.1109","author":[{"family":"Zhenmin Li","sequence":"first","affiliation":[]},{"given":"Avinash","family":"Malik","sequence":"additional","affiliation":[]},{"given":"Zoran","family":"Salcic","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"JOP Reference Handbook Building Embedded","year":"2009","author":"schoeberl","key":"15"},{"key":"16","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on uppaal","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2435227.2435254","article-title":"GALS-HMP: A heterogeneous multiprocessor for embedded applications","volume":"12","author":"salcic","year":"2013","journal-title":"ACM Trans Embed Comput Syst"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630132"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2010.01.001"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024837"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1629395.1629424"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.011"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2012.6378622"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558636"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763043"},{"key":"8","article-title":"Java for safety-critical applications","author":"henties","year":"2009","journal-title":"2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 09)"}],"event":{"name":"2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)","start":{"date-parts":[[2014,8,20]]},"location":"Chongqing, China","end":{"date-parts":[[2014,8,22]]}},"container-title":["2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6900045\/6910490\/06910556.pdf?arnumber=6910556","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T17:26:16Z","timestamp":1565889976000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6910556\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/rtcsa.2014.6910556","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}