Timing analysis of parallel software using abstract execution

DOI10.1007/978-3-642-54013-4_4MaRDI QIDQ2938061zbMATH OpenOpenAlexFDO

Authors Andreas Gustavsson, Jan Gustafsson, Björn Lisper

Publication date 13 January 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54013-4_4

zbMATH Keywords

WCETabstract interpretationparallelismmulti-coreabstract execution

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Model Checking Software
• Static timing analysis -- what is special?
• scientific article; zbMATH DE number 1249731
• scientific article; zbMATH DE number 1949600
• Correct Hardware Design and Verification Methods

Cited in

(7)

• Euro-Par 2004 Parallel Processing
• Timing analysis of concurrent programs running on shared cache multi-cores
• Segment Abstraction for Worst-Case Execution Time Analysis
• Measuring the execution time of fragmented programs
• Timing-sequence testing of parallel programs
• Using Performance Analysis Tools for a Parallel-in-Time Integrator
• scientific article; zbMATH DE number 1512608 (Why is no real title available?)

This page was built for publication: Timing analysis of parallel software using abstract execution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938061)