Assembly Code Analysis Using Stochastic Process Algebra

DOI10.1007/978-3-540-87412-6_8zbMath1180.68107MaRDI QIDQ3543310

Leïla Kloul, Lamia Djoudi

Publication date: 2 December 2008

Published in: Computer Performance Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87412-6_8

zbMATH Keywords

performance analysis; stochastic process algebra; code optimisation; assembly code; data dependencies graph

Mathematics Subject Classification ID

68N20: Theory of compilers and interpreters

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)