Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Kwak, Hee-Hwan"
Now showing items 1-1 of 1
-
Conference Object
Symbolic schedulability analysis of real-time systems
Kwak, Hee-Hwan; Lee, Insup; Philippou, Anna; Choi, Jin-Young; Sokolsky, Oleg (IEEE, 1998)We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities. We use ACSR-VP to describe an instance of ...