Safe and precise WCET determination by abstract interpretation of pipeline models

Stephan Thesing. Safe and precise WCET determination by abstract interpretation of pipeline models. PhD thesis, Saarland University, 2005. [doi]

Abstract

Abstract is missing.