dc.contributor.author | Tang, Yue | |
dc.contributor.author | Jiang, Yuming | |
dc.contributor.author | Guan, Nan | |
dc.date.accessioned | 2020-03-13T09:45:38Z | |
dc.date.available | 2020-03-13T09:45:38Z | |
dc.date.created | 2020-01-07T14:06:48Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | Lecture Notes in Computer Science (LNCS). 2019, 11951 106-121. | nb_NO |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://hdl.handle.net/11250/2646678 | |
dc.description.abstract | Real-Time Calculus (RTC) is a framework for modeling and performance analysis of real-time networked systems. In RTC, workload and resources are modeled as arrival and service curves, and processing semantics are modeled by abstract components. Greedy Processing Component (GPC) is one of the fundamental abstract components in RTC, which processes incoming events in a greedy fashion as long as there are available resources. The relations between inputs and outputs of GPC have been established, which are consistent with its behaviors. In this paper, we first revise the original proof of calculating output curves in GPC, and then propose a new method to obtain tighter output arrival curves. Experiment results show that the precision of output arrival curves can be improved by our method compared with the original calculation and existing work. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | Taylor & Francis | nb_NO |
dc.title | Improving the Analysis of GPC in Real-Time Calculus | nb_NO |
dc.type | Journal article | nb_NO |
dc.type | Peer reviewed | nb_NO |
dc.description.version | acceptedVersion | nb_NO |
dc.source.pagenumber | 106-121 | nb_NO |
dc.source.volume | 11951 | nb_NO |
dc.source.journal | Lecture Notes in Computer Science (LNCS) | nb_NO |
dc.identifier.doi | http://dx.doi.org/10.1007/978-3-030-35540-1_7 | |
dc.identifier.cristin | 1767775 | |
dc.description.localcode | Locked until 18.11.2020 due to copyright restrictions. This is an [Accepted Manuscript] of an article published by Taylor & Francis, available at https://doi.org/10.1007/978-3-030-35540-1_7 | nb_NO |
cristin.unitcode | 194,63,30,0 | |
cristin.unitname | Institutt for informasjonssikkerhet og kommunikasjonsteknologi | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |