Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
Oleg Parshin
Stephan Thesing
Reinhard Wilhelm
Farn Wang
Editor
The precise determination of worst-case execution times (WCETs) for programs is mostly being performed on fully linked executables, since all needed information is available and all machine parameters influencing cache performance are available to the analysis. This paper describes how to perform a component-wise prediction of the instruction cache behavior guaranteeing conservative results compared to an analysis of a fully linked executable. This proves the correctness of the method based on a previous proof of correctness of the analysis of fully linked executables. The analysis is described for a general A-way set associative cache. The only assumption is that the replacement strategy is LRU. © Springer-Verlag 2004.
Presentation Conference Type | Conference Paper (Published) |
---|---|
Conference Name | International Symposium on Automated Technology for Verification and Analysis |
Publication Date | Oct 31, 2004 |
Deposit Date | Jun 16, 2017 |
Volume | 3299 |
Pages | 211-229 |
Series Title | Lecture Notes in Computer Science |
Series ISSN | 0302-9743 |
ISBN | 9783540236108 |
DOI | https://doi.org/10.1007/978-3-540-30476-0_20 |
Keywords | WECT, cache analysis, LRU strategy |
Public URL | https://uwe-repository.worktribe.com/output/1057459 |
Publisher URL | http://dx.doi.org/10.1007/978-3-540-30476-0_20 |
Related Public URLs | https://link.springer.com/chapter/10.1007%2F978-3-540-30476-0_20 |
A logic for context-aware non-monotonic reasoning agents
(2014)
Presentation / Conference Contribution
Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment
(2014)
Presentation / Conference Contribution
MyGeo-Explorer: A semantic search tool for querying geospatial information
(2015)
Journal Article
Modeling and verifying context-aware non-monotonic reasoning agents
(2015)
Presentation / Conference Contribution
A temporal description logic for resource-bounded rule-based context-aware agents
(2014)
Presentation / Conference Contribution
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search