Assembly Code Analysis Using Stochastic Process Algebra

DOI10.1007/978-3-540-87412-6_8zbMath1180.68107OpenAlexW1502662617MaRDI 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 analysisstochastic process algebracode optimisationassembly codedata dependencies graph

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A Compositional Approach to Performance Modelling

This page was built for publication: Assembly Code Analysis Using Stochastic Process Algebra