Axiomatic-like performance analysis (ALPA)

DOI10.1016/0898-1221(93)90026-RzbMath0805.68082OpenAlexW2063521863MaRDI QIDQ1324358

S. Adari, Reda A. Ammar

Publication date: 26 January 1995

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(93)90026-r

zbMATH Keywords

performance analysisparallel programmingprogram verificationsoftware developmenttime cost

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Uses Software

• UNITY

Cites Work

• An axiomatic treatment of SIMD assignment
• Array processing machines: an abstract model
• Guarded commands, nondeterminacy and formal derivation of programs
• An exercise in proving parallel programs correct
• Communicating sequential processes
• Program structures for parallel processing
• An axiomatic basis for computer programming
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatic-like performance analysis (ALPA)