{"id":"https://openalex.org/W2616469550","doi":"https://doi.org/10.1145/3078659.3078665","title":"Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis","display_name":"Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis","publication_year":2017,"publication_date":"2017-05-17","ids":{"openalex":"https://openalex.org/W2616469550","doi":"https://doi.org/10.1145/3078659.3078665","mag":"2616469550"},"language":"en","primary_location":{"id":"doi:10.1145/3078659.3078665","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3078659.3078665","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Workshop on Software and Compilers 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/A5030385246","display_name":"Guus Kuiper","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Guus Kuiper","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068667517","display_name":"Philip S. Kurtin","orcid":"https://orcid.org/0000-0001-8132-0409"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Philip S. Kurtin","raw_affiliation_strings":["University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111443523","display_name":"Marco J.G. Bekooij","orcid":null},"institutions":[{"id":"https://openalex.org/I109147379","display_name":"NXP (Netherlands)","ror":"https://ror.org/059be4e97","country_code":"NL","type":"company","lineage":["https://openalex.org/I109147379"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marco J.G. Bekooij","raw_affiliation_strings":["NXP Semiconductors, Eindhoven, The Netherlands and University of Twente, Enschede, The Netherlands"],"affiliations":[{"raw_affiliation_string":"NXP Semiconductors, Eindhoven, The Netherlands and University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I109147379","https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030385246"],"corresponding_institution_ids":["https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":0.4622,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.60353037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10933","display_name":"Real-Time Systems Scheduling","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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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.9991999864578247,"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/dataflow","display_name":"Dataflow","score":0.8507055044174194},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8341975212097168},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.8084622621536255},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.7420728206634521},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.6764074563980103},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.5141280293464661},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5102508068084717},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.46272435784339905},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.45700064301490784},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3686824440956116},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3419693410396576},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.17421221733093262}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.8507055044174194},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8341975212097168},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.8084622621536255},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7420728206634521},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.6764074563980103},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.5141280293464661},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5102508068084717},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.46272435784339905},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.45700064301490784},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3686824440956116},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3419693410396576},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.17421221733093262},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3078659.3078665","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3078659.3078665","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/63614796-b1e5-4247-9a8b-83f52e92a5bc","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/63614796-b1e5-4247-9a8b-83f52e92a5bc","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kuiper, G, Kurtin, P S & Bekooij, M J G 2017, 'Hybrid Latency Minimization Approach Using Model Checking and Dataflow Analysis', Paper presented at 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, Sankt Goar, Germany, 12/06/17 - 13/06/17 pp. 41-50. https://doi.org/10.1145/3078659.3078665","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/63614796-b1e5-4247-9a8b-83f52e92a5bc","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334893","display_name":"Stichting voor de Technische Wetenschappen","ror":"https://ror.org/057tq3593"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1224547023","https://openalex.org/W1536261100","https://openalex.org/W1544936738","https://openalex.org/W1561555726","https://openalex.org/W1936851409","https://openalex.org/W1997998060","https://openalex.org/W2047516333","https://openalex.org/W2049454663","https://openalex.org/W2102247536","https://openalex.org/W2102815588","https://openalex.org/W2106662138","https://openalex.org/W2113488668","https://openalex.org/W2122113444","https://openalex.org/W2125658777","https://openalex.org/W2127200569","https://openalex.org/W2138137724","https://openalex.org/W2153300803","https://openalex.org/W2157508806","https://openalex.org/W2342430766","https://openalex.org/W2391155895","https://openalex.org/W2530971000","https://openalex.org/W2612733816","https://openalex.org/W3142840155"],"related_works":["https://openalex.org/W2293118914","https://openalex.org/W2998381397","https://openalex.org/W4236419692","https://openalex.org/W3167919718","https://openalex.org/W4251718783","https://openalex.org/W2171015181","https://openalex.org/W4239447582","https://openalex.org/W1484403103","https://openalex.org/W1985964844","https://openalex.org/W2075835272"],"abstract_inverted_index":{"Bounding":[0],"the":[1,21,43,60],"latency":[2,28,47],"of":[3,56,62],"real-time":[4],"multiprocessor":[5],"applications":[6],"is":[7],"crucial":[8],"for":[9],"safety-critical":[10],"systems.":[11],"Several":[12],"approximative":[13],"analysis":[14,48],"approaches":[15,25],"exist":[16],"that":[17],"can":[18,50],"efficiently":[19],"analyze":[20],"latency.":[22,44],"However,":[23],"these":[24],"produce":[26],"pessimistic":[27],"results":[29,49],"and":[30],"do":[31],"not":[32],"exploit":[33,37],"buffer":[34],"sizing":[35],"nor":[36],"additional":[38],"sequence":[39],"constraints":[40],"to":[41],"reduce":[42],"More":[45],"accurate":[46],"be":[51],"obtained":[52],"using":[53],"model":[54],"checking":[55],"timed-automata,":[57],"however,":[58],"at":[59],"cost":[61],"a":[63],"typically":[64],"excessive":[65],"run-time.":[66]},"counts_by_year":[{"year":2018,"cited_by_count":2}],"updated_date":"2026-03-16T09:10:04.655348","created_date":"2025-10-10T00:00:00"}