Stem wcrt$ (all stems)

4 papers:

DAC-2011-KuoSR #analysis #performance #reachability #source code #using

Efficient WCRT analysis of synchronous programs using reachability (MMYK, RS, PSR), pp. 480–485.

DATE-2011-AndalamRG #analysis #source code

Pruning infeasible paths for tight WCRT analysis of synchronous programs (SA, PSR, AG), pp. 204–209.

DATE-2009-MendlerHT #algebra #interface

WCRT algebra and interfaces for esterel-style synchronous processing (MM, RvH, CT), pp. 93–98.

LCTES-2005-TanM #analysis

WCRT analysis for a uniprocessor with a unified prioritized cache (YT, VJMI), pp. 175–182.