Fast performance prediction for periodic task systems


During design exploration, many implementations of the same system specification may need to be evaluated. In this paper, we present an approach to construct sufficient and necessary conditions for a given system specifications. These conditions can be employed in the design exploration process to rapidly determine if an implementation of the system… (More)
DOI: 10.1145/334012.334026


2 Figures and Tables