A formalization of priority inversion Özalp BabaoğluKeith MarzulloFred B. Schneider OriginalPaper Pages: 285 - 303
Deadlock prevention in concurrent real-time systems Susan DavidsonInsup LeeVictor Fay Wolfe OriginalPaper Pages: 305 - 318
Pipelined processors and worst case execution times N. ZhangA. BurnsM. Nicholson OriginalPaper Pages: 319 - 343