Model of distributed computing system operation with time

DOI10.1134/S0361768813050046MaRDI QIDQ395266zbMATHFDO

Authors 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)

Recommendations

• Design and Analysis of Distributed Algorithms
• Publication:4398822
• Publication:3023461
• A model of the behavior of network objects in distributed computer systems
• Modelling distributed systems.

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 41616 (Why is no real title available?)
• A calculus of communicating systems
• Efficient model checking algorithms for computation tree logic and their application to the verification of parallel programs
• Methodology and tools for predicting the execution time of optimized programs
• Scheduling algorithms for real-time computing systems admitting simulation models
• Synthesizing structures of real-time computer systems using genetic algorithms

Cited in

(1)

• DISTRIBUTED PROCESSING FUNCTIONS OF A TIME SERIES ANALYSIS SYSTEM

Describes a project that uses

Uses Software

• Maude

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

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