{"id":"https://openalex.org/W2166676048","doi":"https://doi.org/10.1145/1176760.1176800","title":"Extensible control architectures","display_name":"Extensible control architectures","publication_year":2006,"publication_date":"2006-10-22","ids":{"openalex":"https://openalex.org/W2166676048","doi":"https://doi.org/10.1145/1176760.1176800","mag":"2166676048"},"language":"en","primary_location":{"id":"doi:10.1145/1176760.1176800","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1176760.1176800","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems","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/A5016988968","display_name":"Greg Hoover","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Greg Hoover","raw_affiliation_strings":["University of California, Santa Barbara, California"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Barbara, California","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026518797","display_name":"Forrest Brewer","orcid":null},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Forrest Brewer","raw_affiliation_strings":["University of California, Santa Barbara, California"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Barbara, California","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5036932071","display_name":"Timothy Sherwood","orcid":"https://orcid.org/0000-0002-6550-6075"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Timothy Sherwood","raw_affiliation_strings":["University of California, Santa Barbara, California"],"affiliations":[{"raw_affiliation_string":"University of California, Santa Barbara, California","institution_ids":["https://openalex.org/I154570441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5016988968"],"corresponding_institution_ids":["https://openalex.org/I154570441"],"apc_list":null,"apc_paid":null,"fwci":0.2838,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59707109,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"323","last_page":"333"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994000196456909,"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.78180992603302},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7090020179748535},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.5366067290306091},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5287953019142151},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.43110793828964233},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.4232668876647949},{"id":"https://openalex.org/keywords/design-language","display_name":"Design language","score":0.4206002950668335},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.41613009572029114},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.4112718105316162},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21654707193374634}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78180992603302},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7090020179748535},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.5366067290306091},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5287953019142151},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.43110793828964233},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.4232668876647949},{"id":"https://openalex.org/C49777639","wikidata":"https://www.wikidata.org/wiki/Q5264354","display_name":"Design language","level":2,"score":0.4206002950668335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41613009572029114},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4112718105316162},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21654707193374634},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1176760.1176800","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1176760.1176800","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.415.8774","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.8774","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/cases/p323.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1663179985","https://openalex.org/W1995969393","https://openalex.org/W1997018187","https://openalex.org/W2055295051","https://openalex.org/W2078974709","https://openalex.org/W2081938726","https://openalex.org/W2096253164","https://openalex.org/W2099529102","https://openalex.org/W2109957573","https://openalex.org/W2117883771","https://openalex.org/W2133037007","https://openalex.org/W2134976264","https://openalex.org/W2145717438","https://openalex.org/W2150966518","https://openalex.org/W2172052797"],"related_works":["https://openalex.org/W184826316","https://openalex.org/W3132573772","https://openalex.org/W1576777252","https://openalex.org/W3161879573","https://openalex.org/W2102187481","https://openalex.org/W2497444493","https://openalex.org/W2115166264","https://openalex.org/W1928391485","https://openalex.org/W1971201388","https://openalex.org/W2765012215"],"abstract_inverted_index":{"Architectural":[0],"advances":[1],"of":[2,76,86,94,102,151,173,187,198,214,221],"modern":[3],"systems":[4],"has":[5],"often":[6,66],"been":[7],"at":[8],"odds":[9],"with":[10,120,226],"control":[11,118,143,196,204],"complexity,":[12],"requiring":[13],"significant":[14],"effort":[15,142],"in":[16],"both":[17],"design":[18,70,97,122,155,200],"and":[19,49,65,145,167,191],"verification.":[20],"This":[21],"is":[22],"particularly":[23],"true":[24],"for":[25,194,219],"sequential":[26],"controllers,":[27],"where":[28],"machine":[29],"complexity":[30],"can":[31,163],"quickly":[32],"surpass":[33],"designer":[34],"ability.":[35],"Traditional":[36],"solutions":[37],"to":[38,47,61,68,114],"this":[39,125],"problem":[40],"require":[41],"elaborate":[42],"specifications":[43,57],"that":[44,89,157,210],"are":[45],"difficult":[46],"maintain":[48],"extend.":[50],"Further,":[51],"the":[52,62,74,92,100,136,152,174,180,195,199,202,211,215],"logic":[53],"generated":[54],"from":[55,91],"these":[56],"bares":[58],"no":[59],"resemblance":[60],"intended":[63],"behavior":[64],"fails":[67],"meet":[69],"performance":[71],"constraints.":[72],"In":[73,124,206],"process":[75],"designing":[77],"a":[78,84,103,129,222],"multi-threaded,":[79],"dynamically-pipelined":[80],"microcontroller,":[81,190],"we":[82,111,127,208],"encountered":[83],"number":[85],"common":[87],"difficulties":[88],"arise":[90],"inadequacies":[93],"traditional":[95],"pipeline":[96,131],"methodologies.":[98],"Through":[99],"use":[101],"novel":[104],"nondeterministic":[105],"finite":[106],"automata":[107],"(NFA)":[108],"specification":[109,133],"model,":[110,183],"were":[112],"able":[113],"implement":[115],"an":[116,171,184],"extensible":[117],"structure":[119,150,197],"minimal":[121,141,227],"effort.":[123,228],"paper":[126],"present":[128,170],"viable":[130],"controller":[132],"methodology":[134,176],"using":[135],"pyPBS":[137,181,216],"language,":[138],"which":[139,162],"enables":[140],"partitioning":[144],"compact":[146],"behavioral":[147],"representation.":[148],"The":[149],"language":[153,217],"encourages":[154],"decisions":[156],"promote":[158],"efficient":[159],"modular":[160],"constructions":[161],"be":[164],"easily":[165],"integrated":[166],"extended.":[168],"We":[169],"overview":[172,186],"our":[175,188],"including":[177,201],"background":[178],"on":[179],"synthesis":[182],"architectural":[185],"multi-threaded":[189],"implementation":[192],"details":[193],"complete":[203],"specifications.":[205],"addition,":[207],"show":[209],"applicative":[212],"nature":[213],"allows":[218],"addition":[220],"multi-cycle":[223],"multiplication":[224],"unit":[225]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}