{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:07Z","timestamp":1761611227031,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/memcod.2008.4547700","type":"proceedings-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T11:40:32Z","timestamp":1213962032000},"page":"129-138","source":"Crossref","is-referenced-by-count":6,"title":["On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications"],"prefix":"10.1109","author":[{"given":"Bijoy A.","family":"Jose","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiren D.","family":"Patel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"MRICDF A New Polychronous Model of Computation for Reactive Embedded Software","year":"0","author":"jose","key":"19"},{"key":"17","article-title":"generating multi-threaded code from polychronous specifications","author":"jose","year":"2008","journal-title":"Proc of Synchronous Languages Applications and Programming (SLAP)"},{"journal-title":"Algorithm and Grammar for Multithreading SIGNAL","year":"0","author":"jose","key":"18"},{"key":"15","article-title":"standard for information technology - portable operating system interface (posix). shell and utilities. ieee st 1003.1-2004","volume":"6","year":"2004","journal-title":"The Open Group Base Specifications Issue 6"},{"journal-title":"Intel Thread Building Blocks 2 0 for Open Source","year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207695"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"journal-title":"The Polychrony Toolset","year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"20","article-title":"transactional memory: synthesis lectures on computer architecture","author":"larus","year":"2007","journal-title":"Morgan & Claypool Synthesis Series"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1168919.1168896"},{"key":"23","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1007\/3-540-58468-4_183","article-title":"distributed implementation of signal: scheduling & graph clustering","author":"maffeis","year":"1994","journal-title":"Springer-Verlag 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.02.006"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-7844-8"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289950"},{"year":"0","key":"3"},{"journal-title":"Renesas SH2A-DUAL SuperH Multi-Core Microcontrollers","year":"0","key":"2"},{"year":"0","key":"10"},{"year":"0","key":"1"},{"journal-title":"PThreads Performance","year":"0","author":"kothari","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48320-9_13"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1996.495517"},{"journal-title":"Cooperative vs Preemptive Threading","year":"0","author":"harold","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"}],"event":{"name":"2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08)","start":{"date-parts":[[2008,6,5]]},"location":"Anaheim, CA, USA","end":{"date-parts":[[2008,6,7]]}},"container-title":["2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4542603\/4547672\/04547700.pdf?arnumber=4547700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T05:17:58Z","timestamp":1497763078000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4547700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/memcod.2008.4547700","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}