{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:56Z","timestamp":1772163956020,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,26]],"date-time":"2008-10-26T00:00:00Z","timestamp":1224979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,10,26]]},"DOI":"10.1145\/1454474.1454488","type":"proceedings-article","created":{"date-parts":[[2008,10,28]],"date-time":"2008-10-28T08:18:35Z","timestamp":1225181915000},"page":"75-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Real-time synchronization on distributed architecture with Ada-2005"],"prefix":"10.1145","author":[{"given":"Jim","family":"Ras","sequence":"first","affiliation":[{"name":"University of Houston, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert M.K.","family":"Cheng","sequence":"additional","affiliation":[{"name":"University of Houston, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/253145.253159"},{"key":"e_1_3_2_1_2_1","first-page":"191","volume-title":"Real Time Systems Symposium","author":"Baker T.","year":"1990","unstructured":"Baker T. A stack-based scheduling of real-time processes . In Real Time Systems Symposium , pages 191 -- 200 , 1990 . Baker T. A stack-based scheduling of real-time processes. In Real Time Systems Symposium, pages 191--200, 1990."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2007.8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.27"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1316002.1316020"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.39"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1316002.1316006"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.35"},{"key":"e_1_3_2_1_9_1","first-page":"2002","author":"Cheng A. M. K.","year":"2005","unstructured":"Cheng A. M. K. , Real-Time Systems Scheduling, Analysis , and Verification. 2nd. ed. : Wiley & Sons 2002 , 2005 . Cheng A. M. K., Real-Time Systems Scheduling, Analysis, and Verification. 2nd. ed.: Wiley & Sons 2002, 2005.","journal-title":"Wiley & Sons"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Cheng A. M. K. and Ras J. The Implementation of the Multiprocessor Priority Ceiling Protocol in Ada-2005 Using a Shared Memory Programming Model. RTAS WIP 4\/2007.  Cheng A. M. K. and Ras J. The Implementation of the Multiprocessor Priority Ceiling Protocol in Ada-2005 Using a Shared Memory Programming Model. RTAS WIP 4\/2007.","DOI":"10.1145\/1274610.1274611"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1274610.1274611"},{"key":"e_1_3_2_1_13_1","volume-title":"Dept. of Computer Science","author":"Chen M. I.","unstructured":"Chen M. I. and Lin K. J . Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems. Technical report UIUCDCS-R-89-1511 , Dept. of Computer Science , University of Illinois at Urbana-Champaign , 4\/89. Chen M. I. and Lin K. J. Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time Systems. Technical report UIUCDCS-R-89-1511, Dept. of Computer Science, University of Illinois at Urbana-Champaign, 4\/89."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/0470856343"},{"key":"e_1_3_2_1_15_1","volume-title":"RTAS","author":"Gai P.","year":"2003","unstructured":"Gai P. , Natale M. , Lipari G. Ferrari A. , Gabellini C. , Marceca P. A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform . RTAS 2003 . Gai P., Natale M., Lipari G. Ferrari A., Gabellini C., Marceca P. A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. RTAS 2003."},{"key":"e_1_3_2_1_16_1","volume-title":"Computer Architecture: A quantitative approach","author":"Hennessy J.","year":"1995","unstructured":"Hennessy J. and Patterson D . Computer Architecture: A quantitative approach . Morgan Kaufmann Publishers , 1995 . Hennessy J. and Patterson D. Computer Architecture: A quantitative approach. Morgan Kaufmann Publishers, 1995."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Lee E. The problem with Threads. Berkeley report Jan\/2006.  Lee E. The problem with Threads. Berkeley report Jan\/2006.","DOI":"10.1109\/MC.2006.180"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160372"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/59368.59374"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000033378.56741.14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4000-7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","volume-title":"Ada-Europe 99","author":"Shen H.","year":"1993","unstructured":"Shen H. , Baker T. , and Charlet A . A Bare-Mach. Implement. of Ada Multi-Tasking Beneath the Linux Kernel. Reliable Software Technologies , Ada-Europe 99 , Lecture Notes in Computer Science , Springer Verlag , 6\/ 1993 . Shen H., Baker T., and Charlet A. A Bare-Mach. Implement. of Ada Multi-Tasking Beneath the Linux Kernel. Reliable Software Technologies, Ada-Europe 99, Lecture Notes in Computer Science, Springer Verlag, 6\/1993."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088593"},{"key":"e_1_3_2_1_26_1","unstructured":"http:\/\/www.quadros.com\/  http:\/\/www.quadros.com\/"},{"key":"e_1_3_2_1_27_1","unstructured":"http:\/\/www.windriver.com\/  http:\/\/www.windriver.com\/"},{"key":"e_1_3_2_1_28_1","unstructured":"http:\/\/www.cs.fsu.edu\/~baker\/florist.html  http:\/\/www.cs.fsu.edu\/~baker\/florist.html"}],"event":{"name":"SIGAda '08: ACM SIGAda Annual International Conference","location":"Portland OR USA","acronym":"SIGAda '08","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1454474.1454488","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1454474.1454488","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:45:56Z","timestamp":1750236356000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1454474.1454488"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,26]]},"references-count":27,"alternative-id":["10.1145\/1454474.1454488","10.1145\/1454474"],"URL":"https:\/\/doi.org\/10.1145\/1454474.1454488","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1454497.1454488","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,10,26]]},"assertion":[{"value":"2008-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}