Timing Analysis of Parallel Software Using Abstract Execution

DOI10.1007/978-3-642-54013-4_4zbMath1428.68118OpenAlexW156781440MaRDI QIDQ2938061

Jan Gustafsson, Björn Lisper, Andreas Gustavsson

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

parallelismabstract interpretationWCETmulti-coreabstract execution

Mathematics Subject Classification ID

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

This page was built for publication: Timing Analysis of Parallel Software Using Abstract Execution