{"id":"https://openalex.org/W2101637975","doi":"https://doi.org/10.1145/2209285.2209289","title":"Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation","display_name":"Constraint Programming Approach to Reconfigurable Processor Extension Generation and Application Compilation","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W2101637975","doi":"https://doi.org/10.1145/2209285.2209289","mag":"2101637975"},"language":"en","primary_location":{"id":"doi:10.1145/2209285.2209289","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2209285.2209289","pdf_url":null,"source":{"id":"https://openalex.org/S112809824","display_name":"ACM Transactions on Reconfigurable Technology and Systems","issn_l":"1936-7406","issn":["1936-7406","1936-7414"],"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 Reconfigurable Technology and Systems","raw_type":"journal-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/A5055986991","display_name":"K\u00e9vin Martin","orcid":"https://orcid.org/0000-0002-8122-1192"},"institutions":[{"id":"https://openalex.org/I161929037","display_name":"Universit\u00e9 de Bretagne Occidentale","ror":"https://ror.org/01b8h3982","country_code":"FR","type":"education","lineage":["https://openalex.org/I161929037"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]},{"id":"https://openalex.org/I4210123702","display_name":"Laboratoire des Sciences et Techniques de l\u2019Information de la Communication et de la Connaissance","ror":"https://ror.org/0266kfd37","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I180375564","https://openalex.org/I201181511","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I4210123702","https://openalex.org/I4210127572","https://openalex.org/I4210145102","https://openalex.org/I4210148559","https://openalex.org/I4210159245","https://openalex.org/I4405260085"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Kevin Martin","raw_affiliation_strings":["INRIA, Rennes-Bretagne Atlantique","Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)","CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"INRIA, Rennes-Bretagne Atlantique","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)","institution_ids":["https://openalex.org/I161929037","https://openalex.org/I4210123702"]},{"raw_affiliation_string":"CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040469742","display_name":"Christophe Wolinski","orcid":null},"institutions":[{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Wolinski","raw_affiliation_strings":["IRISA, University of Rennes I","CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"IRISA, University of Rennes I","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802"]},{"raw_affiliation_string":"CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060404940","display_name":"Krzysztof Kuchci\u0144ski","orcid":"https://orcid.org/0000-0001-8941-459X"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Krzysztof Kuchcinski","raw_affiliation_strings":["Lund University","Department of Computer Science [Lund] (Dept. of Computer Science, LTH, P.O. Box 118, 221 00 Lund, Sweden. - Sweden)"],"affiliations":[{"raw_affiliation_string":"Lund University","institution_ids":["https://openalex.org/I187531555"]},{"raw_affiliation_string":"Department of Computer Science [Lund] (Dept. of Computer Science, LTH, P.O. Box 118, 221 00 Lund, Sweden. - Sweden)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019259455","display_name":"Antoine Floch","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Antoine Floch","raw_affiliation_strings":["INRIA, Rennes-Bretagne Atlantique","CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"INRIA, Rennes-Bretagne Atlantique","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012347617","display_name":"Fran\u00e7ois Charot","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fran\u00e7ois Charot","raw_affiliation_strings":["INRIA, Rennes-Bretagne Atlantique","CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"INRIA, Rennes-Bretagne Atlantique","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"CAIRN - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5055986991"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I161929037","https://openalex.org/I4210123702","https://openalex.org/I4210133778"],"apc_list":null,"apc_paid":null,"fwci":4.1182,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.94837755,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"5","issue":"2","first_page":"1","last_page":"38"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12292","display_name":"Graph Theory and Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.9970999956130981,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9958999752998352,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.832065761089325},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.6327031254768372},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.577446699142456},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.39655211567878723},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35452800989151},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3434896767139435},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33576804399490356},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1251939833164215}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.832065761089325},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.6327031254768372},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.577446699142456},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39655211567878723},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35452800989151},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3434896767139435},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33576804399490356},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1251939833164215},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2209285.2209289","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2209285.2209289","pdf_url":null,"source":{"id":"https://openalex.org/S112809824","display_name":"ACM Transactions on Reconfigurable Technology and Systems","issn_l":"1936-7406","issn":["1936-7406","1936-7414"],"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 Reconfigurable Technology and Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00663464v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00663464","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://doi.acm.org/10.1145/2209285.2209","raw_type":"Journal articles"},{"id":"pmh:oai:lup.lub.lu.se:ffb03964-6bb2-445e-a54b-745b09dbba26","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/2797182","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1936-7406","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W1539156730","https://openalex.org/W1687629676","https://openalex.org/W1978846379","https://openalex.org/W1982480183","https://openalex.org/W1994216113","https://openalex.org/W1994285181","https://openalex.org/W2003557304","https://openalex.org/W2034841960","https://openalex.org/W2040253151","https://openalex.org/W2053230311","https://openalex.org/W2093332051","https://openalex.org/W2111488604","https://openalex.org/W2111939814","https://openalex.org/W2115179770","https://openalex.org/W2121507132","https://openalex.org/W2122660736","https://openalex.org/W2126359798","https://openalex.org/W2126675596","https://openalex.org/W2127524685","https://openalex.org/W2129658276","https://openalex.org/W2130396671","https://openalex.org/W2131264876","https://openalex.org/W2134084674","https://openalex.org/W2134196168","https://openalex.org/W2134542516","https://openalex.org/W2141486354","https://openalex.org/W2144206556","https://openalex.org/W2147405597","https://openalex.org/W2150512180","https://openalex.org/W2153798176","https://openalex.org/W2154051217","https://openalex.org/W2155314350","https://openalex.org/W2160450201","https://openalex.org/W2165675998","https://openalex.org/W2165892109","https://openalex.org/W2167058518","https://openalex.org/W2169406908","https://openalex.org/W2170075581","https://openalex.org/W2171594157","https://openalex.org/W2337098149","https://openalex.org/W2607159714","https://openalex.org/W4231130798","https://openalex.org/W4244898092"],"related_works":["https://openalex.org/W4243324743","https://openalex.org/W1514298554","https://openalex.org/W2911787024","https://openalex.org/W1548690989","https://openalex.org/W2120647900","https://openalex.org/W2495969191","https://openalex.org/W2115140794","https://openalex.org/W2041120224","https://openalex.org/W4249103506","https://openalex.org/W1504320321"],"abstract_inverted_index":{"In":[0,62],"this":[1],"article,":[2],"we":[3,22],"present":[4,14],"a":[5,90,136],"constraint":[6],"programming":[7],"approach":[8,25,47,142],"for":[9,26,40,105],"solving":[10],"hard":[11],"design":[12,53,121,157],"problems":[13],"when":[15],"automatically":[16],"designing":[17],"specialized":[18],"processor":[19,32,69,108],"extensions.":[20,44],"Specifically,":[21],"discuss":[23],"our":[24,51,63,94,141,156],"automatic":[27],"selection":[28],"and":[29,76,101,118,153,162,178,180],"synthesis":[30],"of":[31,86,107,126,140,146,164,184],"extensions":[33,109],"as":[34,36,68,73,78,110,112],"well":[35,111],"efficient":[37],"application":[38,115,176],"compilation":[39],"these":[41],"newly":[42],"generated":[43,186],"The":[45,188],"discussed":[46],"is":[48,143,190],"implemented":[49,67],"in":[50],"integrated":[52],"framework,":[54,64],"IFPEC":[55],",":[56],"built":[57],"using":[58],"Constraint":[59],"Programming":[60],"(CP).":[61],"custom":[65],"instructions,":[66],"extensions,":[70,132],"are":[71],"defined":[72],"computational":[74],"patterns":[75],"represented":[77],"graphs.":[79],"This,":[80],"along":[81],"with":[82,98,193],"the":[83,144,160,165,182,185],"graph":[84],"representation":[85],"an":[87],"application,":[88],"provides":[89],"way":[91],"to":[92,135,151,171],"use":[93],"CP":[95,166],"framework":[96,167],"equipped":[97],"subgraph":[99],"isomorphism":[100],"connected":[102,134],"component":[103],"constraints":[104,150],"identification":[106],"their":[113],"selection,":[114,175],"scheduling,":[116,177],"binding,":[117],"routing.":[119],"All":[120],"steps":[122],"assume":[123],"architectures":[124],"composed":[125],"runtime":[127],"reconfigurable":[128],"cells,":[129],"implementing":[130],"selected":[131],"tightly":[133],"processor.":[137],"An":[138],"advantage":[139],"possibility":[145],"combining":[147],"different":[148],"heterogeneous":[149],"represent":[152],"solve":[154,172],"all":[155],"problems.":[158],"Moreover,":[159],"flexibility":[161],"expressiveness":[163],"makes":[168],"it":[169],"possible":[170],"simultaneously":[173],"extension":[174],"binding":[179],"improve":[181],"quality":[183],"results.":[187,195],"article":[189],"largely":[191],"illustrated":[192],"experimental":[194]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":6}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}