% This needs to test for all cases d=4k+1,4k+2,4k+3,4k+4, as well as the % negation of the phase factors to verify the conjugation relation.
Abstract: In Mixed-Criticality (MC) systems, there are often multiple Worst-Case Execution Times (WCETs) for the same task, corresponding to system operation mode. Determining the appropriate WCETs ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results