Travelled to:
1 × USA
Collaborated with:
R.Sinha P.S.Roop
Talks about:
synchron (1) reachabl (1) program (1) analysi (1) effici (1) wcrt (1) use (1)
Person: Matthew M. Y. Kuo
DBLP: Kuo:Matthew_M=_Y=
Contributed to:
Wrote 1 papers:
- DAC-2011-KuoSR #analysis #performance #reachability #source code #using
- Efficient WCRT analysis of synchronous programs using reachability (MMYK, RS, PSR), pp. 480–485.