{"id":"https://openalex.org/W4251910621","doi":"https://doi.org/10.1109/emsoft.2013.6658589","title":"Diversely enumerating system-level architectures","display_name":"Diversely enumerating system-level architectures","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W4251910621","doi":"https://doi.org/10.1109/emsoft.2013.6658589"},"language":"en","primary_location":{"id":"doi:10.1109/emsoft.2013.6658589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/emsoft.2013.6658589","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Proceedings of the International Conference on Embedded Software (EMSOFT)","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/A5111897571","display_name":"Ethan K. Jackson","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ethan K. Jackson","raw_affiliation_strings":["Microsoft Research, USA"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, USA","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050938071","display_name":"Gabor Simko","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gabor Simko","raw_affiliation_strings":["Vanderbilt University, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013237840","display_name":"J\u00e1nos Sztipanovits","orcid":"https://orcid.org/0000-0002-8360-6299"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Janos Sztipanovits","raw_affiliation_strings":["Vanderbilt University, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, USA","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5111897571"],"corresponding_institution_ids":["https://openalex.org/I1290206253"],"apc_list":null,"apc_paid":null,"fwci":1.4427,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.8730433,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9987999796867371,"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/equivalence","display_name":"Equivalence (formal languages)","score":0.6750589609146118},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6252555251121521},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5798783898353577},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.5413974523544312},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5085104703903198},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.4787684977054596},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.46621614694595337},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37519571185112},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3349384069442749},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32803210616111755}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6750589609146118},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6252555251121521},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5798783898353577},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.5413974523544312},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5085104703903198},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.4787684977054596},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.46621614694595337},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37519571185112},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3349384069442749},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32803210616111755},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/emsoft.2013.6658589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/emsoft.2013.6658589","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 Proceedings of the International Conference on Embedded Software (EMSOFT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W192097321","https://openalex.org/W1490423772","https://openalex.org/W1519503479","https://openalex.org/W1547743088","https://openalex.org/W1741445233","https://openalex.org/W1968413755","https://openalex.org/W1970879550","https://openalex.org/W1972097705","https://openalex.org/W2076963921","https://openalex.org/W2097614154","https://openalex.org/W2098035530","https://openalex.org/W2103414887","https://openalex.org/W2122169424","https://openalex.org/W2132314908","https://openalex.org/W2138207663","https://openalex.org/W2140462475","https://openalex.org/W2153301577","https://openalex.org/W2164242542","https://openalex.org/W2415170901","https://openalex.org/W4205256993","https://openalex.org/W4210855551","https://openalex.org/W4244408011","https://openalex.org/W6629443322","https://openalex.org/W6637835644","https://openalex.org/W6681739275","https://openalex.org/W6682663378"],"related_works":["https://openalex.org/W2587400934","https://openalex.org/W3199424936","https://openalex.org/W23271634","https://openalex.org/W2393075133","https://openalex.org/W2898489509","https://openalex.org/W2962944529","https://openalex.org/W3016468266","https://openalex.org/W2769613360","https://openalex.org/W2015780695","https://openalex.org/W2316076049"],"abstract_inverted_index":{"Embedded":[0],"systems":[1],"are":[2],"highly":[3],"constrained,":[4],"and":[5,40,88],"modern":[6,69],"constraint":[7,71],"solvers":[8,18],"can":[9],"be":[10],"used":[11],"to":[12,82,86],"synthesize":[13],"architectures":[14],"satisfying":[15],"constraints.":[16],"However,":[17],"may":[19],"enumerate":[20],"solutions":[21],"with":[22],"bias":[23],"yielding":[24],"a":[25],"skewed":[26],"view":[27],"of":[28,53],"the":[29,83],"solution":[30],"space.":[31],"In":[32],"this":[33],"paper":[34],"we":[35],"formalize":[36],"enumerators,":[37],"enumeration":[38],"bias,":[39],"build":[41],"empirically":[42,65],"diverse":[43,47,66,77],"enumerators.":[44],"An":[45],"ideal":[46,84],"enumerator":[48,78],"uniformly":[49],"draws":[50],"equivalence":[51],"classes":[52],"solutions.":[54],"We":[55,73],"develop":[56],"an":[57],"algorithm,":[58],"called":[59],"symmetry-directed":[60],"randomized":[61,89],"partitioning,":[62],"for":[63],"constructing":[64],"enumerators":[67],"from":[68],"unmodified":[70],"solvers.":[72,90],"show":[74],"that":[75],"our":[76],"is":[79],"significantly":[80],"closer":[81],"compared":[85],"baseline":[87]},"counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}