{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:02Z","timestamp":1751662862654,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,18]],"date-time":"2005-09-18T00:00:00Z","timestamp":1127001600000},"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":[[2005,9,18]]},"DOI":"10.1145\/1086228.1086230","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["HAIL"],"prefix":"10.1145","author":[{"given":"Jun","family":"Sun","sequence":"first","affiliation":[{"name":"DoCoMo Communication Laboratories USA, Inc., San Jose, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wanghong","family":"Yuan","sequence":"additional","affiliation":[{"name":"DoCoMo Communication Laboratories USA, Inc., San Jose, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahesh","family":"Kallahalla","sequence":"additional","affiliation":[{"name":"DoCoMo Communication Laboratories USA, Inc., San Jose, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nayeem","family":"Islam","sequence":"additional","affiliation":[{"name":"DoCoMo Communication Laboratories USA, Inc., San Jose, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_2_1","unstructured":"SMSC. LAN91C111 - 10\/100 Non-PCI Ethernet Single Chip MAC + PHY. Web site: http:\/\/www.smsc.com\/main\/datasheets\/91c111.pdf.  SMSC. LAN91C111 - 10\/100 Non-PCI Ethernet Single Chip MAC + PHY. Web site: http:\/\/www.smsc.com\/main\/datasheets\/91c111.pdf."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944655"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/997163.997169"},{"key":"e_1_3_2_1_5_1","volume-title":"A Language for Hardware\/Software Integration,\" in Proceedings of the Synchronous Languages, Applications, and Programming (SLAP)","author":"Edwards S. A.","year":"2005","unstructured":"S. A. Edwards , \"SHIM : A Language for Hardware\/Software Integration,\" in Proceedings of the Synchronous Languages, Applications, and Programming (SLAP) , Edinburgh, Scotland , April 3, 2005 . S. A. Edwards, \"SHIM: A Language for Hardware\/Software Integration,\" in Proceedings of the Synchronous Languages, Applications, and Programming (SLAP), Edinburgh, Scotland, April 3, 2005."},{"key":"e_1_3_2_1_6_1","first-page":"17","volume-title":"Devil: An IDL for Hardware Programming,\" in Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI","author":"Merillon F.","year":"2000","unstructured":"F. Merillon , L. Reveillere , C. Consel , R. Marlet , and G. Muller , \" Devil: An IDL for Hardware Programming,\" in Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI 2000 ), pp. 17 -- 30 , San Diego , CA , 2000. F. Merillon, L. Reveillere, C. Consel, R. Marlet, and G. Muller, \"Devil: An IDL for Hardware Programming,\" in Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI 2000), pp. 17--30, San Diego, CA, 2000."},{"key":"e_1_3_2_1_8_1","unstructured":"Jungo Software Technologies. WinDriver and KernelDriver. Web site: http:\/\/www.jungo.com.  Jungo Software Technologies. WinDriver and KernelDriver. Web site: http:\/\/www.jungo.com."},{"key":"e_1_3_2_1_9_1","unstructured":"Compuware Corporation. DriverStudio. Web site: http:\/\/www.compuware.com\/products\/driverstudio\/.  Compuware Corporation. DriverStudio. Web site: http:\/\/www.compuware.com\/products\/driverstudio\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143098"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.80"},{"key":"e_1_3_2_1_12_1","unstructured":"Coverity Inc. Coverity Prevent for C and C++. Web site: http:\/\/www.coverity.com.  Coverity Inc. Coverity Prevent for C and C++. Web site: http:\/\/www.coverity.com."},{"key":"e_1_3_2_1_13_1","unstructured":"Microsoft. Static Driver Verifier: Finding Bugs in Device Drivers at Compile-Time. Web site: http:\/\/download.microsoft.com\/download\/5\/b\/5\/5b5bec17-ea71-4653-9539-204a672f11cf\/SDV-intro.doc.  Microsoft. Static Driver Verifier: Finding Bugs in Device Drivers at Compile-Time. Web site: http:\/\/download.microsoft.com\/download\/5\/b\/5\/5b5bec17-ea71-4653-9539-204a672f11cf\/SDV-intro.doc."},{"key":"e_1_3_2_1_14_1","unstructured":"L. d. Alfaro M. Faella T. A. Henzinger R. Majumdar and M. Stoelinga \"Model Checking Discounted Temporal Properties \" in Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).  L. d. Alfaro M. Faella T. A. Henzinger R. Majumdar and M. Stoelinga \"Model Checking Discounted Temporal Properties \" in Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)."},{"key":"e_1_3_2_1_15_1","unstructured":"Intel. Intel\u00ae PXA27x Processor Family Developer's Manual. Web site: http:\/\/www.intel.com\/design\/pca\/applicationsprocessors\/manuals\/280000.htm.  Intel. Intel\u00ae PXA27x Processor Family Developer's Manual. Web site: http:\/\/www.intel.com\/design\/pca\/applicationsprocessors\/manuals\/280000.htm."},{"key":"e_1_3_2_1_16_1","unstructured":"A. Galton. Temporal Logic. Web site: http:\/\/plato.stanford.edu\/archives\/win2003\/entries\/logic-temporal\/.  A. Galton. Temporal Logic. Web site: http:\/\/plato.stanford.edu\/archives\/win2003\/entries\/logic-temporal\/."},{"key":"e_1_3_2_1_17_1","unstructured":"W. Yuan and J. Sun. HAIL - Hardware access interface language (compiler specification user guide and other related information). Web site: http:\/\/www.docomolabsresearchers-usa.com\/~jsun\/hail.  W. Yuan and J. Sun. HAIL - Hardware access interface language (compiler specification user guide and other related information). Web site: http:\/\/www.docomolabsresearchers-usa.com\/~jsun\/hail."}],"event":{"name":"EMSOFT05: Fifth ACM International Conference on Embedded Software 2005","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Jersey City NJ USA","acronym":"EMSOFT05"},"container-title":["Proceedings of the 5th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086230","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086228.1086230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:18Z","timestamp":1750262898000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086230"}},"subtitle":["a language for easy and correct device access"],"short-title":[],"issued":{"date-parts":[[2005,9,18]]},"references-count":16,"alternative-id":["10.1145\/1086228.1086230","10.1145\/1086228"],"URL":"https:\/\/doi.org\/10.1145\/1086228.1086230","relation":{},"subject":[],"published":{"date-parts":[[2005,9,18]]},"assertion":[{"value":"2005-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}