{"id":"https://openalex.org/W2091097681","doi":"https://doi.org/10.1109/date.2012.6176571","title":"Design of streaming applications on MPSoCs using abstract clocks","display_name":"Design of streaming applications on MPSoCs using abstract clocks","publication_year":2012,"publication_date":"2012-03-01","ids":{"openalex":"https://openalex.org/W2091097681","doi":"https://doi.org/10.1109/date.2012.6176571","mag":"2091097681"},"language":"en","primary_location":{"id":"doi:10.1109/date.2012.6176571","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176571","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"},"type":"preprint","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/A5075127320","display_name":"Abdoulaye Gamati\u00e9","orcid":"https://orcid.org/0000-0002-8326-3257"},"institutions":[{"id":"https://openalex.org/I4210160005","display_name":"Computer Science Laboratory of Lille","ror":null,"country_code":"FR","type":null,"lineage":["https://openalex.org/I4210160005"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"A. Gamatie","raw_affiliation_strings":["UMR 8022, CNRS/LIFL, Villeneuve D'Ascq, France","CNRS/LIFL - UMR 8022, Villeneuve D'Ascq, France"],"affiliations":[{"raw_affiliation_string":"UMR 8022, CNRS/LIFL, Villeneuve D'Ascq, France","institution_ids":["https://openalex.org/I4210160005","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"CNRS/LIFL - UMR 8022, Villeneuve D'Ascq, France","institution_ids":["https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5075127320"],"corresponding_institution_ids":["https://openalex.org/I4210160005","https://openalex.org/I1294671590"],"apc_list":null,"apc_paid":null,"fwci":1.61447427,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.84902553,"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":"763","last_page":"768"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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":1.0,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9998000264167786,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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.8208305835723877},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.8198621273040771},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7507883310317993},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6186755895614624},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.5038027167320251},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.4738883376121521},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3712911009788513},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.338714063167572},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20978188514709473}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8208305835723877},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8198621273040771},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7507883310317993},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6186755895614624},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.5038027167320251},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.4738883376121521},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3712911009788513},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.338714063167572},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20978188514709473},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2012.6176571","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176571","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W36183573","https://openalex.org/W1580368786","https://openalex.org/W1597755753","https://openalex.org/W1947997869","https://openalex.org/W1989012062","https://openalex.org/W1989828912","https://openalex.org/W2014290146","https://openalex.org/W2031381504","https://openalex.org/W2095941979","https://openalex.org/W2097312793","https://openalex.org/W2117099535","https://openalex.org/W2126865399","https://openalex.org/W2127335869","https://openalex.org/W2130038731","https://openalex.org/W2134204870","https://openalex.org/W2149377475","https://openalex.org/W2162376252","https://openalex.org/W2595839262","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W3142211975","https://openalex.org/W1879443270","https://openalex.org/W2018912978","https://openalex.org/W2130914040","https://openalex.org/W2119122672","https://openalex.org/W4292904049","https://openalex.org/W2136848245","https://openalex.org/W1978899622","https://openalex.org/W4213404769"],"abstract_inverted_index":{"This":[0,18],"paper":[1],"presents":[2],"a":[3,63],"cost-effective":[4],"and":[5,10,30,45,52,61],"formal":[6],"approach":[7,19],"to":[8,21,42,59,75,78],"model":[9],"analyze":[11,62],"streaming":[12],"applications":[13,27],"on":[14,28],"multi-processor":[15],"systems-on-chip":[16],"(MPSoCs).":[17],"enables":[20],"address":[22],"time":[23],"requirements,":[24],"mapping":[25],"of":[26,38],"MPSoCs":[29],"system":[31,82],"behavior":[32],"correctness":[33],"by":[34],"using":[35],"abstract":[36],"clocks":[37],"synchronous":[39],"languages.":[40],"Compared":[41],"usual":[43],"prototyping":[44],"simulation":[46],"techniques,":[47],"it":[48],"is":[49,57,71],"very":[50],"fast":[51],"favors":[53],"correctness-by-construction.":[54],"No":[55],"coding":[56],"needed":[58],"run":[60],"system,":[64],"which":[65],"avoids":[66],"tedious":[67],"debugging":[68],"efforts.":[69],"It":[70],"an":[72],"ideal":[73],"complement":[74],"existing":[76],"techniques":[77],"deal":[79],"with":[80],"large":[81],"design":[83],"spaces.":[84]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}