Login / Signup
Interference Constraint Graph - A new specification for mixed-criticality systems.
Pengcheng Huang
Pratyush Kumar
Nikolay Stoimenov
Lothar Thiele
Published in:
ETFA (2013)
Keyphrases
</>
high level
dynamic programming
constraint graph
clustering algorithm
lower bound