Transforming Source Code to Mathematical Relations for Performance Evaluation

DOI10.17951/AI.2015.15.2.7-13zbMath1412.68039OpenAlexW2591904053WikidataQ110512570 ScholiaQ110512570MaRDI QIDQ5377239

Habib Izadkhah

Publication date: 24 May 2019

Published in: Annales Universitatis Mariae Curie-Sklodowska, sectio AI – Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.17951/ai.2015.15.2.7-13

zbMATH Keywords

discrete-time Markov chainsspeed-updistributed software systemssource code

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Transforming Source Code to Mathematical Relations for Performance Evaluation