Model of distributed computing system operation with time

DOI10.1134/S0361768813050046zbMath1311.68033MaRDI QIDQ395266

R. L. Smelyanskii

Publication date: 29 January 2014

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

simulationperformance analysisdistributed computing systemsformal models of behavior

Mathematics Subject Classification ID

Distributed systems (68M14)

Uses Software

• Maude

Cites Work

• Scheduling algorithms for real-time computing systems admitting simulation models
• A calculus of communicating systems
• Synthesizing structures of real-time computer systems using genetic algorithms
• Methodology and tools for predicting the execution time of optimized programs
• Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Model of distributed computing system operation with time