R. Jejurikar, R. Gupta, “Energy Aware Task Scheduling with Task Synchronization for Embedded Real Time Systems,” TR 02-21, June 21, 2002. download pdf
H. Yu, D. D. Gajski, “Datapath Synthesis for a 16-Bit Microprocessor,” TR 02-05, January 22, 2002. download pdf
P. Mishra, N. Dutt, “Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV,” TR 02-26, September 13, 2002. download pdf
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