{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:12:21Z","timestamp":1725487941435},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540725893"},{"type":"electronic","value":"9783540725909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72590-9_149","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T15:12:59Z","timestamp":1184598779000},"page":"977-980","source":"Crossref","is-referenced-by-count":0,"title":["Recursive Priority Inheritance Protocol for Solving Priority Inversion Problems in Real-Time Operating Systems"],"prefix":"10.1007","author":[{"given":"Kwangsun","family":"Ko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seong-Goo","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gyehyeon","family":"Gyeong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young Ik","family":"Eom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"149_CR1","unstructured":"TimeSys Inc., Priority Inversion: Why You Care and What to Do About It. A White Paper (2004)"},{"key":"149_CR2","doi-asserted-by":"crossref","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers\u00a039(9) (1990)","DOI":"10.1109\/12.57058"},{"key":"149_CR3","doi-asserted-by":"crossref","unstructured":"Akgul, B., Mooney, V., Thane, H., Kuacharoen, P.: Hardware Support for Priority Inheritance. In: Proc. of the IEEE Real-Time Systems Symp. (Dec. 2003)","DOI":"10.1109\/REAL.2003.1253271"},{"key":"149_CR4","doi-asserted-by":"crossref","unstructured":"Z\u00f6bel, D., Polock, D., Van Arkel, A.: Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. In: Electronic Notes in Theoretical Computer Science, vol.\u00a0133 (2005)","DOI":"10.1016\/j.entcs.2004.08.071"},{"key":"149_CR5","unstructured":"Goodenough, J.B., Sha, L.: The Priority Ceiling Protocol. Special Report CMU\/SEI-88-SR-4 (Mar. 1998)"},{"key":"149_CR6","doi-asserted-by":"crossref","unstructured":"Dutertre, B.: Formal Analysis of the Priority Ceiling Protocol. In: Proc. of IEEE Real-Time Systems Symp. (Nov. 2000)","DOI":"10.1109\/REAL.2000.896005"},{"key":"149_CR7","unstructured":"Yodaiken, V.: Against Priority Inheritance. FSMLABS Technical Paper (2003)"},{"key":"149_CR8","unstructured":"Embedded Linux\/Microcontroller Project, http:\/\/www.uclinux.org"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72590-9_149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T00:37:38Z","timestamp":1556671058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72590-9_149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540725893","9783540725909"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72590-9_149","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}