{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:50Z","timestamp":1740132050872,"version":"3.37.3"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["ERC 834166"],"award-info":[{"award-number":["ERC 834166"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002920","name":"Hong Kong Research Grants Council","doi-asserted-by":"publisher","award":["GRF 15213818","15206221"],"award-info":[{"award-number":["GRF 15213818","15206221"]}],"id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772123"],"award-info":[{"award-number":["61772123"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1109\/tcad.2021.3114261","type":"journal-article","created":{"date-parts":[[2021,9,21]],"date-time":"2021-09-21T20:08:57Z","timestamp":1632254937000},"page":"2877-2890","source":"Crossref","is-referenced-by-count":3,"title":["Locking Protocols for Parallel Real-Time Tasks With Semaphores Under Federated Scheduling"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0980-8455","authenticated-orcid":false,"given":"Yang","family":"Wang","sequence":"first","affiliation":[{"name":"Key Laboratory of Intelligent Computing in Medical Image, Ministry of Education, Northeastern University, Shenyang, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2675-2895","authenticated-orcid":false,"given":"Xu","family":"Jiang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Intelligent Computing in Medical Image, Ministry of Education, Northeastern University, Shenyang, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3775-911X","authenticated-orcid":false,"given":"Nan","family":"Guan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, City University of Hong Kong, Hong Kong"}]},{"given":"Yue","family":"Tang","sequence":"additional","affiliation":[{"name":"Key Laboratory of Intelligent Computing in Medical Image, Ministry of Education, Northeastern University, Shenyang, China"}]},{"given":"Weichen","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Nanyang Technological University, Singapore"}]}],"member":"263","reference":[{"issue":"49","key":"ref1","first-page":"1","article-title":"What really happened on mars rover pathfinder","volume":"19","author":"Jones","year":"1997","journal-title":"Risks Dig."},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/RTSS.2009.51"},{"key":"ref3","first-page":"377","article-title":"Resource sharing in global fixed-priority preemptive multiprocessor scheduling","volume-title":"Proc. Real-Time Syst.","author":"Andersson"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/REAL.1990.128747"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/RTSS.2010.17"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/RTSS.2013.13"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/RTSS.2012.59"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/EMSOFT.2015.7318254"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/RTSS.2010.42"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/ECRTS.2014.23"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/RTSS.2016.031"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/RTSS.2017.00015"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/s10617-012-9090-1"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/ECRTS.2013.38"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ECRTS.2014.26"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/3316781.3317907"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/RTSS46320.2019.00033"},{"year":"2011","author":"Brandenburg","article-title":"Scheduling and locking in multiprocessor real-time operating systems","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TC.2020.2987300"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/TPDS.2017.2777454"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/368996.369025"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.4108\/ICST.SIMUTOOLS2010.8667"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/RTCSA.2017.8046322"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/ECRTS.2015.27"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1007\/BF00365393"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/12.57058"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/RTOSS.1994.292571"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/RTCSA.2007.8"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/ECRTS.2006.10"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/REAL.2001.990598"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/978-981-4585-87-3_10-1"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/DAC18072.2020.9218584"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/RTAS.2013.6531087"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9863427\/09542981.pdf?arnumber=9542981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T00:00:21Z","timestamp":1705017621000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9542981\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":33,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3114261","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2022,9]]}}}