{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T17:08:17Z","timestamp":1723655297974},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/memcod.2010.5558636","type":"proceedings-article","created":{"date-parts":[[2010,8,27]],"date-time":"2010-08-27T14:37:22Z","timestamp":1282919842000},"source":"Crossref","is-referenced-by-count":22,"title":["Predictable multithreading of embedded applications using PRET-C"],"prefix":"10.1109","author":[{"given":"Sidharta","family":"Andalam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Partha","family":"Roop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Girault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450175"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309989"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1450095.1450117"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090639"},{"key":"ref15","first-page":"205","author":"roop","year":"2009","journal-title":"Tight wcrt analysis of synchronous c programs"},{"key":"ref16","author":"vahid","year":"2002","journal-title":"Embedded system design"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629366"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref19","year":"2008","journal-title":"MicroBlaze Processor Reference Guide"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref3","article-title":"Semantics of SyncCharts","author":"andr\u00e9","year":"2003","journal-title":"Technical Report ISRN 13S\/RR-2003–24-FR Sophia Antipolis"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182811"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1186\/1687-3963-2007-052651"},{"key":"ref7","author":"edwards","year":"2009","journal-title":"Estbench Esterel Benchmark Suite"},{"key":"ref2","author":"andalam","year":"2009","journal-title":"PRET-C A new language for programming precision timed architectures Technical Report 6922 INRIA Grenoble Rhone-Alpes"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457078"},{"key":"ref9","first-page":"24","article-title":"CAMA: Cache-aware memory allocation for WCET analysis","author":"herter","year":"2008","journal-title":"Proc Work in Progress Session ECRTS"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.01.005"}],"event":{"name":"2010 8th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)","location":"Grenoble, France","start":{"date-parts":[[2010,7,26]]},"end":{"date-parts":[[2010,7,28]]}},"container-title":["Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5550962\/5558619\/05558636.pdf?arnumber=5558636","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:23:01Z","timestamp":1489864981000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5558636\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2010.5558636","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}