Formal timing analysis for distributed real-time programs

DOI10.1007/BF01088622MaRDI QIDQ1329098zbMATH OpenFDO

Authors Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga

Publication date 29 June 1994

Published in Real-Time Systems (Search for Journal in Brave)

zbMATH Keywords

timingNP- completemonitorsreal-time distributed programsresource managers

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of operating systems (68N25)

Cites work

• scientific article; zbMATH DE number 3592938 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• A Graph-Theoretic Approach for Timing Analysis and its Implementation
• A general-purpose algorithm for analyzing concurrent programs
• A linear space algorithm for computing maximal common subsequences
• Toward a discipline of real-time programming

This page was built for publication: Formal timing analysis for distributed real-time programs

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