Classification of WCET analysis techniques
Kirner, R., Puschner, P.
Published in Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) (2005)
Published in Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05) (2005)
Get full text
Conference Proceeding
Automatic Timing Model Generation by CFG Partitioning and Model Checking
Wenzel, Ingomar, Rieder, Bernhard, Kirner, Raimund, Puschner, Peter
Published in Design, Automation and Test in Europe (07.03.2005)
Published in Design, Automation and Test in Europe (07.03.2005)
Get full text
Conference Proceeding
Timing analysis of optimized code
Kirner, R., Puschner, P.
Published in Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003) (2003)
Published in Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003) (2003)
Get full text
Conference Proceeding
A tool for high-level language analysis of worst-case execution times
Puschner, P.
Published in Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) (1998)
Published in Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) (1998)
Get full text
Conference Proceeding
Developing real-time tasks with predictable timing
Pospischil, G., Puschner, P., Vrchoticky, A., Zainlinger, R.
Published in IEEE software (01.09.1992)
Published in IEEE software (01.09.1992)
Get full text
Journal Article
Principles of timing anomalies in superscalar processors
Wenzel, I., Kirner, R., Puschner, P., Rieder, B.
Published in Fifth International Conference on Quality Software (QSIC'05) (2005)
Published in Fifth International Conference on Quality Software (QSIC'05) (2005)
Get full text
Conference Proceeding
Transformation of path information for WCET analysis during compilation
Kirner, R., Puschner, P.
Published in Proceedings 13th Euromicro Conference on Real-Time Systems (2001)
Published in Proceedings 13th Euromicro Conference on Real-Time Systems (2001)
Get full text
Conference Proceeding
Processor support for temporal predictability - the SPEAR design example
Delvai, M., Huber, W., Puschner, P., Steininger, A.
Published in 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings (2003)
Published in 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings (2003)
Get full text
Conference Proceeding