Formal timing analysis for distributed real-time programs

DOI10.1007/BF01088622zbMath0800.68318MaRDI QIDQ1329098

Bogdan Korel, Horst F. Wedde, 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

• Unnamed Item
• Unnamed Item
• A general-purpose algorithm for analyzing concurrent programs
• A linear space algorithm for computing maximal common subsequences
• Toward a discipline of real-time programming
• A Graph-Theoretic Approach for Timing Analysis and its Implementation

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