{"id":"https://openalex.org/W2761066510","doi":"https://doi.org/10.1109/infocom.2017.8056981","title":"Generalized finitary real-time calculus","display_name":"Generalized finitary real-time calculus","publication_year":2017,"publication_date":"2017-05-01","ids":{"openalex":"https://openalex.org/W2761066510","doi":"https://doi.org/10.1109/infocom.2017.8056981","mag":"2761066510"},"language":"en","primary_location":{"id":"doi:10.1109/infocom.2017.8056981","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2017.8056981","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2017 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},"type":"conference-paper","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/A5031557175","display_name":"Kai Lampka","orcid":"https://orcid.org/0000-0002-7134-2142"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Kai Lampka","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Sweden","Elektrobit Automotive, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]},{"raw_affiliation_string":"Elektrobit Automotive, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040216378","display_name":"Steffen Bondorf","orcid":"https://orcid.org/0000-0002-0483-5107"},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Steffen Bondorf","raw_affiliation_strings":["Distributed Computer Systems (DISCO) Lab, University of Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Distributed Computer Systems (DISCO) Lab, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102136395","display_name":"Jens Schmitt","orcid":null},"institutions":[{"id":"https://openalex.org/I153267046","display_name":"University of Kaiserslautern","ror":"https://ror.org/04zrf7b53","country_code":"DE","type":"education","lineage":["https://openalex.org/I153267046"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jens B. Schmitt","raw_affiliation_strings":["Distributed Computer Systems (DISCO) Lab, University of Kaiserslautern, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Distributed Computer Systems (DISCO) Lab, University of Kaiserslautern, Germany","institution_ids":["https://openalex.org/I153267046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002245169","display_name":"Nan Guan","orcid":"https://orcid.org/0000-0003-3775-911X"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Nan Guan","raw_affiliation_strings":["Department of Computing, Hong Kong Polytechnic University, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, Hong Kong Polytechnic University, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100748818","display_name":"Wang Yi","orcid":"https://orcid.org/0000-0002-2994-6110"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Wang Yi","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Sweden","institution_ids":["https://openalex.org/I123387679"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10933","display_name":"Real-Time Systems Scheduling","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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9980000257492065,"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/finitary","display_name":"Finitary","score":0.9870775938034058},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6059147119522095},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5054264068603516},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.49457237124443054},{"id":"https://openalex.org/keywords/memory-footprint","display_name":"Memory footprint","score":0.4626717269420624},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4613369405269623},{"id":"https://openalex.org/keywords/reconfigurability","display_name":"Reconfigurability","score":0.44623687863349915},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.43340668082237244},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.4228825867176056},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.4142681360244751},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4115484654903412},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.37977030873298645},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3521789312362671},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35132062435150146},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3128312826156616},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3039312958717346},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.1636420488357544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14110854268074036}],"concepts":[{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.9870775938034058},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6059147119522095},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5054264068603516},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.49457237124443054},{"id":"https://openalex.org/C74912251","wikidata":"https://www.wikidata.org/wiki/Q6815727","display_name":"Memory footprint","level":2,"score":0.4626717269420624},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4613369405269623},{"id":"https://openalex.org/C2780149590","wikidata":"https://www.wikidata.org/wiki/Q7302742","display_name":"Reconfigurability","level":2,"score":0.44623687863349915},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.43340668082237244},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.4228825867176056},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.4142681360244751},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4115484654903412},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.37977030873298645},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3521789312362671},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35132062435150146},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3128312826156616},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3039312958717346},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.1636420488357544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14110854268074036},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"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/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/infocom.2017.8056981","is_oa":false,"landing_page_url":"https://doi.org/10.1109/infocom.2017.8056981","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE INFOCOM 2017 - IEEE Conference on Computer Communications","raw_type":"proceedings-article"},{"id":"pmh:oai:ira.lib.polyu.edu.hk:10397/74699","is_oa":false,"landing_page_url":"http://hdl.handle.net/10397/74699","pdf_url":null,"source":{"id":"https://openalex.org/S4306400205","display_name":"PolyU Institutional Research Archive (Hong Kong Polytechnic University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I14243506","host_organization_name":"Hong Kong Polytechnic University","host_organization_lineage":["https://openalex.org/I14243506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309895","display_name":"Carl-Zeiss-Stiftung","ror":"https://ror.org/03ng4kg22"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1997922019","https://openalex.org/W1997998060","https://openalex.org/W2007206096","https://openalex.org/W2101112998","https://openalex.org/W2120452217","https://openalex.org/W2124262702","https://openalex.org/W2139548638","https://openalex.org/W2145132630","https://openalex.org/W2147206873","https://openalex.org/W2157214313","https://openalex.org/W2165257655","https://openalex.org/W2167334434","https://openalex.org/W2271586634","https://openalex.org/W2322740863","https://openalex.org/W4252783681","https://openalex.org/W6684320611"],"related_works":["https://openalex.org/W2090715050","https://openalex.org/W4293195734","https://openalex.org/W2106389308","https://openalex.org/W2036306661","https://openalex.org/W2145655468","https://openalex.org/W1481650142","https://openalex.org/W118795575","https://openalex.org/W2045867114","https://openalex.org/W2519348496","https://openalex.org/W2764757682"],"abstract_inverted_index":{"Real-time":[0],"Calculus":[1],"(RTC)":[2],"is":[3,34,121,130],"a":[4,37,136,144,155,185],"non-stochastic":[5],"queuing":[6],"theory":[7],"to":[8,71,79,102,123,184],"the":[9,30,54,86,100,103,110,114,124,151,161,177,180],"worst-case":[10],"performance":[11],"analysis":[12],"of":[13,39,48,56,95,105,113,154,165,179,189],"distributed":[14],"real-time":[15],"systems.":[16],"Workload":[17],"as":[18,20,24,36],"well":[19],"resources":[21],"are":[22],"modelled":[23,35],"piece-wise":[25],"linear,":[26],"pseudo-periodic":[27],"curves":[28,50,78,94,166],"and":[29,58,83,120,159,176],"system":[31],"under":[32],"investigation":[33],"sequence":[38,55],"algebraic":[40],"operations":[41,57],"over":[42],"these":[43],"curves.":[44],"The":[45,169],"memory":[46,87],"footprint":[47],"computed":[49],"increases":[51],"exponentially":[52],"with":[53,91],"RTC":[59,67,76,97,107,147,182,190],"may":[60],"become":[61],"computationally":[62],"infeasible":[63],"fast.":[64],"Recently,":[65],"Finitary":[66,75,106,146,181],"has":[68],"been":[69],"proposed":[70],"counteract":[72],"this":[73,140],"problem.":[74],"restricts":[77],"finite":[80,162],"input":[81,163],"domains":[82,164],"thereby":[84],"counteracts":[85],"demand":[88],"explosion":[89],"seen":[90],"pseudo":[92],"periodic":[93],"common":[96],"implementations.":[98],"However,":[99],"proof":[101],"correctness":[104],"specifically":[108],"exploits":[109],"operational":[111,152],"semantic":[112,153],"greed":[115],"processing":[116],"component":[117,157],"(GPC)":[118],"model":[119,158],"tied":[122],"maximum":[125],"busy":[126],"window":[127],"size.":[128],"This":[129],"an":[131],"inherent":[132],"limitation,":[133],"which":[134],"prevents":[135],"straight-forward":[137],"generalization.":[138],"In":[139],"paper,":[141],"we":[142],"provide":[143],"generalized":[145],"that":[148],"abstracts":[149],"from":[150],"specific":[156],"reduces":[160],"even":[167],"further.":[168],"novel":[170],"approach":[171],"allows":[172],"for":[173],"faster":[174],"computations":[175],"extension":[178],"idea":[183],"much":[186],"wider":[187],"range":[188],"models.":[191]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":5}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}