{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:45Z","timestamp":1725562605688},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220114"},{"type":"electronic","value":"9783540248415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24841-5_21","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:28:22Z","timestamp":1281299302000},"page":"261-272","source":"Crossref","is-referenced-by-count":1,"title":["Dynamic Ceiling Priorities: A Proposal for Ada0Y"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Real","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Burns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Miranda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmond","family":"Schonberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfons","family":"Crespo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"U.S. Department of Defense: Reference manual for the Ada programming language. ANSI\/MIL-STD 1815 A, U.S. Department of Defense (1983)"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Consolidated Ada Reference Manual. Language and Standard Libraries","year":"2001","unstructured":"Tucker Taft, S., Duff, R.A., Brukardt, R.L., Pl\u00f6dereder, E. (eds.): Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol.\u00a02219. Springer, Heidelberg (2001)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Goodenough, J., Sha, L.: The Priority Ceiling Protocol: a method for minimising the blocking of high priority Ada tasks. In: Proceedings of the 2nd International Workshop on Real-Time Ada Issues, Devon (1988)","DOI":"10.1145\/58612.59371"},{"key":"21_CR4","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 synchronisation. IEEE Transactions on Computers\u00a039, 1175\u20131185 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"21_CR5","unstructured":"Ada Core Technologies: GNAT Ada Compiler (2003), \n                    \n                      http:\/\/www.gnat.com\/"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF01995676","volume":"2","author":"M.I. Chen","year":"1990","unstructured":"Chen, M.I., Lin, K.J.: Dynamic Priority Ceilings: A Concurrency Control Protocol for Real- Time Systems. Real-Time Systems\u00a02, 325\u2013346 (1990)","journal-title":"Real-Time Systems"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. Liu","year":"1973","unstructured":"Liu, C., Layland, J.: Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM\u00a020, 46\u201361 (1973)","journal-title":"Journal of the ACM"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/3-540-48753-0_24","volume-title":"Reliable Software Technologies - Ada-Europe \u201999","author":"J. Real","year":"1999","unstructured":"Real, J., Wellings, A.: The ceiling protocol in multi-moded real-time systems. In: Gonz\u00e1lez Harbour, M., la de Puente, J.A. (eds.) Ada-Europe 1999. LNCS, vol.\u00a01622, pp. 275\u2013286. Springer, Heidelberg (1999)"},{"key":"21_CR9","unstructured":"Miranda, J.: A Detailed Description of the GNUAda Run-Time (2002), \n                    \n                      http:\/\/gnat.webhop.info\n                    \n                    \n                   and \n                    \n                      http:\/\/gnat.webhop.info"},{"key":"21_CR10","unstructured":"Ada Issue number AI-00327: Dynamic Ceiling Priorities (2003), \n                    \n                      http:\/\/www.ada-auth.org\/ais.html"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/584417.584427","volume":"XXII","author":"J. Real","year":"2002","unstructured":"Real, J., Crespo, A., Burns, A., Wellings, A.: Protected Ceiling Changes. Ada Letters\u00a0XXII, 66\u201371 (2002)","journal-title":"Ada Letters"},{"key":"21_CR12","unstructured":"IEEE: Portable Operating System Interface: Amendment 1: Realtime Extensions [C Language]. IEEE 1003.1b, IEEE (1993)"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/959221.959227","volume":"XXIII","author":"J. Miranda","year":"2003","unstructured":"Miranda, J., Shonberg, E., Masmano, M., Real, J., Crespo, A.: Dynamic Ceiling Priorities in GNAT \u2013 Implementation Report. Ada Letters\u00a0XXIII, 20\u201323 (2003)","journal-title":"Ada Letters"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24841-5_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:13:38Z","timestamp":1620011618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24841-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220114","9783540248415"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24841-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}