Unified Cache Modeling for WCET Analysis and Layout Optimizations

2009 30th IEEE Real-Time Systems Symposium ◽

10.1109/rtss.2009.20 ◽

2009 ◽

Author(s):

Sudipta Chattopadhyay ◽

Abhik Roychoudhury

Keyword(s):

Wcet Analysis ◽

Download Full-text

Predictive Cache Modeling and Analysis

10.21236/ada552968 ◽

2011 ◽

Author(s):

Russell Kegley ◽

Jonathan Preston ◽

Brian Dougherty ◽

Jules White ◽

Anirudda Gokhale

Keyword(s):

Modeling And Analysis ◽

Download Full-text

Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures

2015 Euromicro Conference on Digital System Design ◽

10.1109/dsd.2015.105 ◽

2015 ◽

Author(s):

Vincent Nelis ◽

Patrick Meumeu Yomsi ◽

Luis Miguel Pinho

Keyword(s):

Parallel Applications ◽

Wcet Analysis ◽

Download Full-text

Symbolic state traversal for WCET analysis

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629354 ◽

2009 ◽

Author(s):

Stephan Wilhelm ◽

Björn Wachter

Keyword(s):

Download Full-text

Optimization of Multi-core Interconnection for WCET Analysis in Automotive Application

2012 Fourth International Conference on Computational Intelligence and Communication Networks ◽

10.1109/cicn.2012.155 ◽

2012 ◽

Author(s):

Zhou Xuewen ◽

Jiang Jiang ◽

Liu Ting ◽

Han Xing

Keyword(s):

Automotive Application ◽

Download Full-text

Precise micro-architectural modeling for WCET analysis via AI+SAT

2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) ◽

10.1109/rtas.2013.6531082 ◽

2013 ◽

Author(s):

A. Banerjee ◽

S. Chattopadhyay ◽

A. Roychoudhury

Keyword(s):

Wcet Analysis ◽

Architectural Modeling

Download Full-text

Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis

2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) ◽

10.1109/rtas.2016.7461326 ◽

2016 ◽

Author(s):

Thomas Sewell ◽

Felix Kam ◽

Gernot Heiser

Keyword(s):

Wcet Analysis ◽

Download Full-text

Experiences from Applying WCET Analysis in Industrial Settings

10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) ◽

10.1109/isorc.2007.36 ◽

2007 ◽

Author(s):

Jan Gustafsson ◽

Andreas Ermedahl

Keyword(s):

Wcet Analysis ◽

Industrial Settings

Download Full-text

Symbolic Loop Bound Computation for WCET Analysis

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_20 ◽

2012 ◽

pp. 227-242 ◽

Author(s):

Jens Knoop ◽

Laura Kovács ◽

Jakob Zwirchmayr

Keyword(s):

Wcet Analysis ◽

Download Full-text

Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints

Advances in Real-Time Systems ◽

10.1007/978-3-642-24349-3_6 ◽

2011 ◽

pp. 123-143 ◽

Author(s):

Reinhard Wilhelm ◽

Philipp Lucas ◽

Oleg Parshin ◽

Lili Tan ◽

Björn Wachter

Keyword(s):

Input Constraints ◽

Wcet Analysis ◽

Flow Constraints

Download Full-text

Performance Estimation of Embedded Software with Instruction Cache Modeling

Readings in Hardware/Software Co-Design ◽

10.1016/b978-155860702-6/50015-6 ◽

2002 ◽

pp. 167-178 ◽

Author(s):

YAU-TSUN STEVEN LI ◽

SHARAD MALIK ◽

ANDREW WOLFE

Keyword(s):

Embedded Software ◽

Performance Estimation ◽

Instruction Cache ◽

Download Full-text