Assembly Code Analysis Using Stochastic Process Algebra

DOI10.1007/978-3-540-87412-6_8MaRDI QIDQ3543310zbMATH OpenOpenAlexFDO

Authors Lamia Djoudi, Leïla Kloul

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

assembly codecode optimisationdata dependencies graphperformance analysisstochastic process algebra

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)

Recommendations

• High Performance Computing for Computational Science - VECPAR 2004
• Probabilistic data flow analysis: a linear equational approach
• Probabilistic analysis of programs: a weak limit approach
• Adaptive optimizing compilers for the 21st century
• scientific article; zbMATH DE number 2079655

Cites work

• A Compositional Approach to Performance Modelling

Cited in

(2)

• Analysis of Chaos-Based Code Tracking Using Chaotic Correlation Statistics
• On frequency analysis of sequential program code execution

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

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