Parallel Cost Analysis

DOI10.1145/3274278zbMath1407.68062OpenAlexW2901933418MaRDI QIDQ4617976

Guillermo Román-Díez, Einar Broch Johnsen, Elvira Albert, Jesús Correas, Ka I. Pun

Publication date: 7 February 2019

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3274278

zbMATH Keywords

distributed systemsstatic analysisresource analysis

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Global Reproducibility Through Local Control for Distributed Active Objects ⋮ A General Framework for Static Cost Analysis of Parallel Logic Programs ⋮ Denotational semantics as a foundation for cost recurrence extraction for functional languages ⋮ Time analysis of actor programs ⋮ Resource Analysis driven by (Conditional) Termination Proofs ⋮ Analysing parallel complexity of term rewriting

This page was built for publication: Parallel Cost Analysis