{"id":"https://openalex.org/W2140274690","doi":"https://doi.org/10.1145/1286821.1286824","title":"The embedded machine","display_name":"The embedded machine","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W2140274690","doi":"https://doi.org/10.1145/1286821.1286824","mag":"2140274690"},"language":"en","primary_location":{"id":"doi:10.1145/1286821.1286824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1286821.1286824","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1286821.1286824","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1286821.1286824","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080555605","display_name":"Thomas A. Henzinger","orcid":"https://orcid.org/0000-0002-2985-7724"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Thomas A. Henzinger","raw_affiliation_strings":["University of California, Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102985234","display_name":"Christoph Kirsch","orcid":"https://orcid.org/0000-0002-3515-6203"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christoph M. Kirsch","raw_affiliation_strings":["University of California, Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Berkeley","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":4.7194,"has_fulltext":true,"cited_by_count":56,"citation_normalized_percentile":{"value":0.9476399,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":98},"biblio":{"volume":"29","issue":"6","first_page":"33","last_page":"33"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9051426649093628},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8515561819076538},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.6241782903671265},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6066761612892151},{"id":"https://openalex.org/keywords/machine-code","display_name":"Machine code","score":0.5364276766777039},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5349923968315125},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.49045321345329285},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4568546414375305},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.45046964287757874},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4220723509788513},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.26306992769241333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9051426649093628},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8515561819076538},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.6241782903671265},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6066761612892151},{"id":"https://openalex.org/C115168132","wikidata":"https://www.wikidata.org/wiki/Q55813","display_name":"Machine code","level":3,"score":0.5364276766777039},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5349923968315125},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.49045321345329285},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4568546414375305},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.45046964287757874},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4220723509788513},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26306992769241333},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1286821.1286824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1286821.1286824","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1286821.1286824","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/1286821.1286824","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1286821.1286824","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1286821.1286824","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1646772695","display_name":"Towards Predictability and Portability in Embedded Software","funder_award_id":"0208875","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1661699599","display_name":null,"funder_award_id":"CCR-0225610","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G177218894","display_name":null,"funder_award_id":"F49620","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G3306441335","display_name":null,"funder_award_id":"CCR-0225610","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5515515839","display_name":null,"funder_award_id":"F49620-00-1-0327","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6110536159","display_name":null,"funder_award_id":"F49620-00-1-0327","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7460574776","display_name":"ITR: Foundations of Hybrid and Embedded Software Systems","funder_award_id":"0225610","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320915","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052"},{"id":"https://openalex.org/F4320323345","display_name":"Universit\u00e4t Salzburg","ror":"https://ror.org/05gs8cd61"},{"id":"https://openalex.org/F4320333591","display_name":"Multidisciplinary University Research Initiative","ror":null},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2140274690.pdf","grobid_xml":"https://content.openalex.org/works/W2140274690.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W12916250","https://openalex.org/W1507495123","https://openalex.org/W1512503303","https://openalex.org/W1524254874","https://openalex.org/W1533525390","https://openalex.org/W1586502670","https://openalex.org/W1595119611","https://openalex.org/W1875492031","https://openalex.org/W1879157574","https://openalex.org/W1986277018","https://openalex.org/W2007649729","https://openalex.org/W2024237509","https://openalex.org/W2080629401","https://openalex.org/W2106974838","https://openalex.org/W2109488193","https://openalex.org/W2109810153","https://openalex.org/W2125415493","https://openalex.org/W2137784941","https://openalex.org/W2138130652","https://openalex.org/W2166996723","https://openalex.org/W2171235097","https://openalex.org/W2886362482","https://openalex.org/W3023258080","https://openalex.org/W4206455946","https://openalex.org/W6635289408","https://openalex.org/W6638832069"],"related_works":["https://openalex.org/W650988184","https://openalex.org/W2162410319","https://openalex.org/W4321184925","https://openalex.org/W1483618713","https://openalex.org/W60915090","https://openalex.org/W2137356287","https://openalex.org/W2025840053","https://openalex.org/W2161692994","https://openalex.org/W1546698345","https://openalex.org/W2050587118"],"abstract_inverted_index":{"The":[0,30,84],"Embedded":[1,44,127],"Machine":[2,128],"is":[3,69],"a":[4],"virtual":[5],"machine":[6],"that":[7,99],"mediates":[8],"in":[9,137],"real":[10],"time":[11,93],"the":[12,22,33,43,48,51,87,92,96,106,113,116,126,141],"interaction":[13],"between":[14],"software":[15],"processes":[16],"and":[17,64,81,108,131],"physical":[18],"processes.":[19],"It":[20],"separates":[21],"compilation":[23],"of":[24,95,115,145],"embedded":[25],"programs":[26],"into":[27],"two":[28],"phases.":[29],"first":[31],"phase,":[32,36,86,90],"platform-independent":[34],"compiler":[35,89],"generates":[37],"E":[38,67,97],"code":[39,68],"(code":[40],"executed":[41],"by":[42,105,112],"Machine),":[45],"which":[46],"supervises":[47],"timing,":[49],"not":[50],"scheduling":[52],"of,":[53],"application":[54],"tasks":[55],"relative":[56],"to":[57,129],"external":[58],"events":[59],"such":[60,139],"as":[61,140],"clock":[62],"ticks":[63],"sensor":[65],"interrupts.":[66],"portable":[70],"and,":[71],"given":[72],"an":[73,146],"input":[74],"behavior,":[75],"exhibits":[76],"predictable":[77],"(i.e.,":[78],"deterministic)":[79],"timing":[80],"output":[82],"behavior.":[83],"second":[85],"platform-dependent":[88],"checks":[91],"safety":[94],"code,":[98],"is,":[100],"whether":[101],"platform":[102,109],"performance":[103],"(determined":[104,111],"hardware)":[107],"utilization":[110],"scheduler":[114],"operating":[117],"system)":[118],"enable":[119],"its":[120],"timely":[121],"execution.":[122],"We":[123],"have":[124],"used":[125],"compile":[130],"execute":[132],"high-performance":[133],"control":[134,143],"applications":[135],"written":[136],"Giotto,":[138],"flight":[142],"system":[144],"autonomous":[147],"model":[148],"helicopter.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}