L. Cai and D Gajski, "Specification Tuning of System-Level Design,” TR 02-20, June 6, 2002. download pdf
W. Mueller, R. Doemer, A. Gerstlauer, “The Formal Execution Semantics of SpecC,” TR 02-04, January 11, 2002. download pdf
A. Ghosh, T. Givargis, “Analytical Design Space Exploration of Caches for Embedded Systems,” TR 02-27, September 11, 2002. download pdf
P. Mishra, M. Mamidipaka, N. Dutt, “A Framework for Memory Subsystem Exploration,” TR 02-19, May 24, 2002. download pdf
R. Jejurikar, R. Gupta, “Efficiency and Optimality of Static Slowdown for Periodic Tasks in Real-Time Embedded Systems,” TR 02-03, March 19, 2002. download pdf