{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:04:52Z","timestamp":1725559492471},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540269694"},{"type":"electronic","value":"9783540316640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11512622_30","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T21:56:09Z","timestamp":1279144569000},"page":"279-288","source":"Crossref","is-referenced-by-count":0,"title":["A Hardware Accelerator for Controlling Access to Multiple-Unit Resources in Safety\/Time-Critical Systems"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Marchand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Purnendu","family":"Sinha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"Akgul, B., Mooney, V., Thane, H., Kuacharoen, P.: Hardware Support for Priority Inheritance. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2003), pp. 246\u2013254 (2003)","DOI":"10.1109\/REAL.2003.1253271"},{"key":"30_CR2","unstructured":"Atmel Corporation, ATmega103L Datasheet (2001), \n                    \n                      http:\/\/www.atmel.com"},{"key":"30_CR3","doi-asserted-by":"publisher","first-page":"882","DOI":"10.1109\/12.55690","volume":"39","author":"F. Belik","year":"1990","unstructured":"Belik, F.: An Efficient Deadlock Avoidance Technique. IEEE Transactions on Computers\u00a039, 882\u2013888 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1049\/ip-cdt:19981772","volume":"145","author":"I. Cahit","year":"1998","unstructured":"Cahit, I.: Deadlock Detection using (0, 1)-Labeling of Resource Allocation Graphs. Computers and Digital Techniques, IEE Proceedings\u00a0145, 68\u201372 (1998)","journal-title":"Computers and Digital Techniques, IEE Proceedings"},{"key":"30_CR5","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/5.558708","volume":"85","author":"R. Gupta","year":"1997","unstructured":"Gupta, R., De Micheli, G.: Hardware\/Software Co-Design. IEEE Proceedings\u00a085, 349\u2013365 (1997)","journal-title":"IEEE Proceedings"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Kohout, P., Ganesh, B., Jacob, B.: Hardware Support for Real-Time Operating Systems. In: Proc. First IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS 2003), Newport Beach, CA, pp. 45\u201351 (2003)","DOI":"10.1145\/944654.944656"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"Labrosse, J.J.: MicroC\/OS-II: The Real-Time Kernel. CMP Books (2002)","DOI":"10.1201\/9781482295603"},{"key":"30_CR8","volume-title":"Real Time Systems","author":"J.W.S. Liu","year":"2000","unstructured":"Liu, J.W.S.: Real Time Systems. Prentice Hall, New York (2000)"},{"key":"30_CR9","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L. Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Transactions on Computers\u00a039, 1175\u20131185 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Shiu, P.H., Yudong, T., Mooney III, V.J.: A Novel Parallel Deadlock Detection Algorithm and Architecture. In: Hardware\/Software Codesign, Proc. of 9th CODES, pp. 73\u201378 (2001)","DOI":"10.1145\/371636.371684"},{"key":"30_CR11","volume-title":"Computers as Components","author":"W. Wolf","year":"2000","unstructured":"Wolf, W.: Computers as Components. Morgan Kaufman, San Francisco (2000)"},{"key":"30_CR12","unstructured":"Xilinx, \n                    \n                      http:\/\/www.xilinx.com"}],"container-title":["Lecture Notes in Computer Science","Embedded Computer Systems: Architectures, Modeling, and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11512622_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:36Z","timestamp":1619505936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11512622_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540269694","9783540316640"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11512622_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}