Symbolic schedulability analysis of real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1998, Pages 409-418

  Kwak, Hee Hwan ^a   Lee, Insup ^a   Philippou, Anna ^a   Choi, Jin Young ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; CONSTRAINT THEORY; INTEGER PROGRAMMING; LOGIC PROGRAMMING;

SYMBOLIC SCHEDULABILITY ANALYSIS;

REAL TIME SYSTEMS;

EID: 0032291695     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)