{"id":"https://openalex.org/W2294187968","doi":"https://doi.org/10.1109/memcod.2010.5558639","title":"Elastic systems","display_name":"Elastic systems","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2294187968","doi":"https://doi.org/10.1109/memcod.2010.5558639","mag":"2294187968"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2010.5558639","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2010.5558639","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2117/132512","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031451250","display_name":"Jordi Cortadella","orcid":"https://orcid.org/0000-0001-8114-250X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jordi Cortadella","raw_affiliation_strings":["Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082593664","display_name":"Marc Galceran-Oms","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Marc Galceran-Oms","raw_affiliation_strings":["Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universitat Polilt\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110756486","display_name":"Mike Kishinevsky","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mike Kishinevsky","raw_affiliation_strings":["Strategic CAD Laboratory, Intel Corporation, Hillsboro, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Strategic CAD Laboratory, Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9968000054359436,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9968000054359436,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9815000295639038,"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.9682000279426575,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/retiming","display_name":"Retiming","score":0.8989458084106445},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7830917239189148},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7250115871429443},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6049218773841858},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5122188925743103},{"id":"https://openalex.org/keywords/elasticity","display_name":"Elasticity (physics)","score":0.5018138885498047},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.4915061891078949},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4287658929824829},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3878997564315796},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2672411799430847},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08256718516349792}],"concepts":[{"id":"https://openalex.org/C41112130","wikidata":"https://www.wikidata.org/wiki/Q2146175","display_name":"Retiming","level":2,"score":0.8989458084106445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7830917239189148},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7250115871429443},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6049218773841858},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5122188925743103},{"id":"https://openalex.org/C121854251","wikidata":"https://www.wikidata.org/wiki/Q62932","display_name":"Elasticity (physics)","level":2,"score":0.5018138885498047},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.4915061891078949},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4287658929824829},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3878997564315796},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2672411799430847},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08256718516349792},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/memcod.2010.5558639","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2010.5558639","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)","raw_type":"proceedings-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/132512","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/132512","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference report"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/132512","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/132512","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference report"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4099999964237213}],"awards":[{"id":"https://openalex.org/G3714365592","display_name":null,"funder_award_id":"CICYT TIN2004-07925","funder_id":"https://openalex.org/F4320307102","funder_display_name":"Intel Corporation"}],"funders":[{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"},{"id":"https://openalex.org/F4320321505","display_name":"Generalitat de Catalunya","ror":"https://ror.org/01bg62x04"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W1555915743","https://openalex.org/W1615690992","https://openalex.org/W1996109622","https://openalex.org/W1999823427","https://openalex.org/W2009461940","https://openalex.org/W2009655251","https://openalex.org/W2024977123","https://openalex.org/W2025694687","https://openalex.org/W2039217369","https://openalex.org/W2053162779","https://openalex.org/W2071886931","https://openalex.org/W2084369349","https://openalex.org/W2087656024","https://openalex.org/W2088760722","https://openalex.org/W2098800299","https://openalex.org/W2099034654","https://openalex.org/W2099129242","https://openalex.org/W2099316112","https://openalex.org/W2099552965","https://openalex.org/W2100720925","https://openalex.org/W2104437253","https://openalex.org/W2104869032","https://openalex.org/W2105782051","https://openalex.org/W2106280822","https://openalex.org/W2109725661","https://openalex.org/W2110722301","https://openalex.org/W2111485030","https://openalex.org/W2118373632","https://openalex.org/W2123196056","https://openalex.org/W2124138034","https://openalex.org/W2130630281","https://openalex.org/W2132158474","https://openalex.org/W2132520462","https://openalex.org/W2142990928","https://openalex.org/W2151898093","https://openalex.org/W2156628821","https://openalex.org/W2157629805","https://openalex.org/W2160566592","https://openalex.org/W2165873073","https://openalex.org/W2172176868","https://openalex.org/W3140976369","https://openalex.org/W3146834460","https://openalex.org/W3147194359","https://openalex.org/W3150969051","https://openalex.org/W4231905827","https://openalex.org/W4233187670","https://openalex.org/W4238629703","https://openalex.org/W4239974125","https://openalex.org/W4240110784","https://openalex.org/W4240816339","https://openalex.org/W4248668797","https://openalex.org/W4249427125","https://openalex.org/W6652797872","https://openalex.org/W6675881260","https://openalex.org/W6676480693","https://openalex.org/W6679486732","https://openalex.org/W6683316392","https://openalex.org/W6683458370"],"related_works":["https://openalex.org/W2134549436","https://openalex.org/W2160236198","https://openalex.org/W1951668625","https://openalex.org/W2903287280","https://openalex.org/W3140976369","https://openalex.org/W2201801726","https://openalex.org/W2132158474","https://openalex.org/W1937646452","https://openalex.org/W4238503248","https://openalex.org/W70755997"],"abstract_inverted_index":{"Elastic":[0],"systems":[1,40],"provide":[2],"tolerance":[3],"to":[4,29],"the":[5,86,98],"variations":[6],"in":[7],"computation":[8],"and":[9,37,58,68],"communication":[10],"delays.":[11],"The":[12,33,61],"incorporation":[13],"of":[14,35,46,63,89],"elasticity":[15],"opens":[16],"new":[17,22],"opportunities":[18],"for":[19,66,78],"optimization":[20,70],"using":[21,97],"correct-by-construction":[23],"transformations":[24,48,65],"that":[25,85],"cannot":[26],"be":[27,42,50,72,82,93],"applied":[28],"rigid":[30],"non-elastic":[31],"systems.":[32],"basics":[34],"synchronous":[36],"asynchronous":[38],"elastic":[39],"will":[41,49,71,81],"reviewed.":[43],"A":[44],"set":[45],"behavior-preserving":[47],"presented:":[51],"retiming,":[52],"recycling,":[53],"early":[54],"evaluation,":[55],"variable-latency":[56],"units":[57],"speculative":[59],"execution.":[60],"application":[62],"these":[64],"performance":[67],"power":[69],"discussed.":[73],"Finally,":[74],"a":[75,90],"novel":[76],"framework":[77],"microarchitectural":[79],"exploration":[80],"introduced,":[83],"showing":[84],"optimal":[87],"pipelining":[88],"circuit":[91],"can":[92],"automatically":[94],"obtained":[95],"by":[96],"previous":[99],"transformations.":[100]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2016-06-24T00:00:00"}