{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:18Z","timestamp":1772163978616,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"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":[[2010,10,24]]},"DOI":"10.1145\/1879063.1879072","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T10:01:31Z","timestamp":1289296891000},"page":"13-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller"],"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":[[2010,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Atmel Corporation. (2008 June 25). AVR 8-bit RISC {online} at http:\/\/www.atmel.com\/products\/avr\/.  Atmel Corporation. (2008 June 25). AVR 8-bit RISC {online} at http:\/\/www.atmel.com\/products\/avr\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/997119.997120"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/340396.340450"},{"key":"e_1_3_2_1_4_1","unstructured":"Cheng A. Real-Time Systems: Scheduling Analysis and Verification John Wiley and Sons 2nd printing with updates 2005.  Cheng A. Real-Time Systems: Scheduling Analysis and Verification John Wiley and Sons 2nd printing with updates 2005."},{"key":"e_1_3_2_1_5_1","unstructured":"The Free Software Foundation (FSF) {online} at http:\/\/www.fsf.org\/.  The Free Software Foundation (FSF) {online} at http:\/\/www.fsf.org\/."},{"key":"e_1_3_2_1_6_1","unstructured":"Community devoted to the AVR processors {online} at http:\/\/www.avrfreaks.net \/.  Community devoted to the AVR processors {online} at http:\/\/www.avrfreaks.net \/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2009.40"},{"key":"e_1_3_2_1_8_1","volume-title":"EDAA","author":"Gregertsen K.","year":"2009"},{"key":"e_1_3_2_1_9_1","unstructured":"Martin F. The Handy Board Technical Reference {online} at http:\/\/www.handyboard.com\/.  Martin F. The Handy Board Technical Reference {online} at http:\/\/www.handyboard.com\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13550-7_11"},{"key":"e_1_3_2_1_11_1","unstructured":"Parallax Inc. BASIC stamp microcontroller {online} at http:\/\/www.parallax.com\/.  Parallax Inc. BASIC stamp microcontroller {online} at http:\/\/www.parallax.com\/."},{"key":"e_1_3_2_1_13_1","unstructured":"Savage Innovations. The Object-Oriented PIC {online} at http:\/\/www.oopic.com\/.  Savage Innovations. The Object-Oriented PIC {online} at http:\/\/www.oopic.com\/."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 17th.","author":"Vardanega B."}],"event":{"name":"SIGAda '10: ACM SIGAda Annual International Conference","location":"Fairfax Virginia USA","acronym":"SIGAda '10","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the ACM SIGAda annual international conference on SIGAda"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879063.1879072","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879063.1879072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:05Z","timestamp":1750234145000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879063.1879072"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":13,"alternative-id":["10.1145\/1879063.1879072","10.1145\/1879063"],"URL":"https:\/\/doi.org\/10.1145\/1879063.1879072","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1879097.1879072","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}