{"id":"https://openalex.org/W3141237729","doi":"https://doi.org/10.1109/memcod.2009.5185387","title":"Survival strategies for synthesized hardware systems","display_name":"Survival strategies for synthesized hardware systems","publication_year":2009,"publication_date":"2009-07-01","ids":{"openalex":"https://openalex.org/W3141237729","doi":"https://doi.org/10.1109/memcod.2009.5185387","mag":"3141237729"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2009.5185387","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2009.5185387","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045127387","display_name":"Martin Rinard","orcid":"https://orcid.org/0000-0001-8095-8523"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Martin Rinard","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5045127387"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.46117184,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"116","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9897000193595886,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9639999866485596,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8339766263961792},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.8235353827476501},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6286817193031311},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5413034558296204},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.536385715007782},{"id":"https://openalex.org/keywords/face","display_name":"Face (sociological concept)","score":0.4725582003593445},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4127545952796936},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35816383361816406},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.227543443441391},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17225381731987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8339766263961792},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.8235353827476501},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6286817193031311},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5413034558296204},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.536385715007782},{"id":"https://openalex.org/C2779304628","wikidata":"https://www.wikidata.org/wiki/Q3503480","display_name":"Face (sociological concept)","level":2,"score":0.4725582003593445},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4127545952796936},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35816383361816406},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.227543443441391},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17225381731987},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2009.5185387","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2009.5185387","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W595525492","https://openalex.org/W1525451871","https://openalex.org/W1745893157","https://openalex.org/W1946775303","https://openalex.org/W1964412230","https://openalex.org/W2108153346","https://openalex.org/W2121218648","https://openalex.org/W2122901253","https://openalex.org/W2152475836","https://openalex.org/W2170239024","https://openalex.org/W4234033339","https://openalex.org/W4244999110","https://openalex.org/W6631621482"],"related_works":["https://openalex.org/W2120447654","https://openalex.org/W2977179488","https://openalex.org/W2144453115","https://openalex.org/W2128223750","https://openalex.org/W4238532390","https://openalex.org/W2188872161","https://openalex.org/W2002978035","https://openalex.org/W2961779879","https://openalex.org/W797688974","https://openalex.org/W2209382646"],"abstract_inverted_index":{"Survival":[0],"is":[1,18,26],"a":[2,23,36],"key":[3],"concern":[4],"of":[5,16,29,42,68,77,86,92,99,108,121],"many":[6],"complex":[7],"systems.":[8],"A":[9],"standard":[10,65],"approach":[11],"to":[12,19,21,49,62],"maximizing":[13],"the":[14,40,43,75,84,93,97,119],"likelihood":[15],"survival":[17,54,69],"attempt":[20],"produce":[22],"system":[24,94],"that":[25,38,56,116],"as":[27,31],"free":[28],"errors":[30,79],"possible.":[32],"We":[33],"instead":[34],"propose":[35],"methodology":[37],"changes":[39],"semantics":[41],"underlying":[44],"development":[45],"and":[46,51,80,111,114],"execution":[47,73,91],"environments":[48],"cleanly":[50],"simply":[52],"obtain":[53,63],"guarantees":[55],"are":[57],"difficult":[58],"if":[59],"not":[60],"impossible":[61],"with":[64],"techniques.":[66],"Examples":[67],"properties":[70],"include":[71],"continued":[72],"in":[74,96,118],"face":[76,98],"addressing":[78],"guaranteed":[81],"bounds":[82],"on":[83],"amount":[85],"memory":[87,101],"required":[88],"during":[89],"any":[90],"(even":[95],"dynamic":[100],"allocation).We":[102],"summarize":[103],"results":[104],"for":[105],"software":[106],"implementations":[107],"these":[109],"techniques":[110],"discuss":[112],"issues":[113],"advantages":[115],"arise":[117],"context":[120],"hardware":[122],"implementations.":[123]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}