{"id":"https://openalex.org/W2166977969","doi":"https://doi.org/10.1145/1065579.1065707","title":"A lattice-based framework for the classification and design of asynchronous pipelines","display_name":"A lattice-based framework for the classification and design of asynchronous pipelines","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2166977969","doi":"https://doi.org/10.1145/1065579.1065707","mag":"2166977969"},"language":"en","primary_location":{"id":"doi:10.1145/1065579.1065707","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1065579.1065707","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd annual conference on Design automation - DAC '05","raw_type":"proceedings-article"},"type":"conference-paper","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/A5075733090","display_name":"Peggy B. McGee","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peggy B. McGee","raw_affiliation_strings":["Dept. of Comput. Sci.. Columbia Univ., New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci.. Columbia Univ., New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023548648","display_name":"Steven M. Nowick","orcid":"https://orcid.org/0000-0002-8837-8109"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steven M. Nowick","raw_affiliation_strings":["Dept. of Comput. Sci.. Columbia Univ., New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comput. Sci.. Columbia Univ., New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"491","last_page":"491"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11567","display_name":"semigroups and automata theory","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9937999844551086,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7108314037322998},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6910400390625},{"id":"https://openalex.org/keywords/pipeline-transport","display_name":"Pipeline transport","score":0.5818737149238586},{"id":"https://openalex.org/keywords/environmental-science","display_name":"Environmental science","score":0.1551450788974762},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1352868378162384}],"concepts":[{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7108314037322998},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6910400390625},{"id":"https://openalex.org/C175309249","wikidata":"https://www.wikidata.org/wiki/Q725864","display_name":"Pipeline transport","level":2,"score":0.5818737149238586},{"id":"https://openalex.org/C39432304","wikidata":"https://www.wikidata.org/wiki/Q188847","display_name":"Environmental science","level":0,"score":0.1551450788974762},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1352868378162384},{"id":"https://openalex.org/C87717796","wikidata":"https://www.wikidata.org/wiki/Q146326","display_name":"Environmental engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1065579.1065707","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1065579.1065707","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 42nd annual conference on Design automation - DAC '05","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4000000059604645,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W16511050","https://openalex.org/W1500359059","https://openalex.org/W2093397547","https://openalex.org/W2104105510","https://openalex.org/W2115557582","https://openalex.org/W2117428997","https://openalex.org/W2120733705","https://openalex.org/W2128649793","https://openalex.org/W2149534087","https://openalex.org/W2152339026","https://openalex.org/W2155327371","https://openalex.org/W2160160584","https://openalex.org/W2911717499"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2116677773","https://openalex.org/W2155261584","https://openalex.org/W2584231425","https://openalex.org/W2042919702","https://openalex.org/W2390279801","https://openalex.org/W2150611273","https://openalex.org/W4207086172","https://openalex.org/W2358668433","https://openalex.org/W4225981436"],"abstract_inverted_index":{"This":[0,67],"paper":[1],"presents":[2],"a":[3,19,47,71,112,130],"unifying":[4],"framework":[5,68,103],"for":[6,79,104,133],"the":[7,24,58,80,84,93,100,126,134],"modeling":[8],"of":[9,27,40,73,83,95,114,137],"asynchronous":[10,105,138],"pipeline":[11,14],"circuits.":[12],"A":[13],"protocol":[15,64],"is":[16,43,99,124],"captured":[17,45],"in":[18,46],"graph-based":[20],"model":[21],"which":[22,49,77,107],"defines":[23],"partial":[25],"ordering":[26],"both":[28,119],"its":[29],"control":[30],"and":[31,53,61,121],"data":[32],"events.":[33],"The":[34],"relationship":[35],"between":[36],"an":[37],"entire":[38,85],"space":[39,87],"different":[41],"protocols":[42,110],"then":[44],"semi-lattice,":[48],"has":[50],"well-defined":[51],"top":[52],"bottom":[54],"elements,":[55],"corresponding":[56],"to":[57,128],"most":[59],"concurrent":[60,63],"least":[62],"variants,":[65],"respectively.":[66],"also":[69,125],"provides":[70],"set":[72],"correct-by-construction":[74],"transformation":[75],"rules":[76],"allows":[78],"systematic":[81],"exploration":[82,136],"design":[86],"by":[88],"their":[89],"successive":[90],"application.":[91],"To":[92],"best":[94],"our":[96],"knowledge,":[97],"this":[98],"first":[101,127],"formal":[102,131],"pipelines":[106],"can":[108],"capture":[109],"from":[111],"variety":[113],"logic":[115],"style":[116],"families,":[117],"including":[118],"dynamic":[120],"static.":[122],"It":[123],"provide":[129],"foundation":[132],"design-space":[135],"pipelines.":[139]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}