{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,16]],"date-time":"2025-12-16T12:18:37Z","timestamp":1765887517523,"version":"3.41.0"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T00:00:00Z","timestamp":1375315200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T00:00:00Z","timestamp":1375315200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T00:00:00Z","timestamp":1375315200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/tc.2013.79","type":"journal-article","created":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T18:02:02Z","timestamp":1372356122000},"page":"1542-1556","source":"Crossref","is-referenced-by-count":41,"title":["R3TOS: A Novel Reliable Reconfigurable Real-Time Operating System for Highly Adaptive, Efficient, and Dependable Computing on FPGAs"],"prefix":"10.1109","volume":"62","author":[{"given":"Xabier","family":"Iturbe","sequence":"first","affiliation":[{"name":"The University of Edinburgh Ikerlan-IK4 Research Alliance, Edinburgh Mondragon"}]},{"given":"Khaled","family":"Benkrid","sequence":"additional","affiliation":[{"name":"The University of Edinburgh, Edinburgh"}]},{"given":"Chuan","family":"Hong","sequence":"additional","affiliation":[{"name":"The University of Edinburgh, Edinburgh"}]},{"given":"Ali","family":"Ebrahim","sequence":"additional","affiliation":[{"name":"The University of Edinburgh, Edinburgh"}]},{"given":"Raul","family":"Torrego","sequence":"additional","affiliation":[{"name":"Ikerlan-IK4 Research Alliance, Mondragon"}]},{"given":"Imanol","family":"Martinez","sequence":"additional","affiliation":[{"name":"Ikerlan-IK4 Research Alliance, Mondragon"}]},{"given":"Tughrul","family":"Arslan","sequence":"additional","affiliation":[{"name":"The University of Edinburgh, Edinburgh"}]},{"given":"Jon","family":"Perez","sequence":"additional","affiliation":[{"name":"Ikerlan-IK4 Research Alliance, Mondragon"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DASIP.2010.5706281"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61730-2_35"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253733"},{"article-title":"Operating System Design for Partially Reconfigurable Logic Devices","year":"2005","author":"Walder","key":"ref5"},{"article-title":"BORPH: An Operating System for FPGA-based Reconfigurable Computers","year":"2007","author":"So","key":"ref6"},{"article-title":"Research Issues in Operating Systems for Reconfigurable Computing","volume-title":"Proc. Int\u2019l Conf. Eng. Reconfigurable Systems and Algorithms","author":"Wigley","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CIT.2005.75"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.10"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45234-8_55"},{"article-title":"Embedded Linux as a Platform for Dynamically Self-Reconfiguring Systems-On-Chip","volume-title":"Proc. Int\u2019l Conf. Eng. Reconfigurable Systems and Algorithms","author":"Williams","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2005.35"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SOCC.2005.1554501"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2005.1612697"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1331331.1331338"},{"article-title":"Multithreaded Programming and Execution Models for Reconfigurable Hardware","year":"2010","author":"Lubbers","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2011.48"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/121353"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2011.60"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2012.6268634"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147070"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11515-8_15"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2011.56"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/mm.2010.91"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19861-8_16"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2007.51"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/reconfig.2011.34"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ReConFig.2011.82"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/905057"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2009.5272463"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/62.210638"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ReConFig.2011.49"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/12\/6547961\/06494561.pdf?arnumber=6494561","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T17:14:31Z","timestamp":1747761271000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6494561\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":32,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tc.2013.79","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[2013,8]]}}}