TACO: A scalable framework for timing analysis and code optimization of synchronous programs.

Zhenmin Li, Avinash Malik, Zoran A. Salcic

Browse the full RTCSA paper archive.