Technical Reports

W. Mueller, R. Doemer, A. Gerstlauer, “The Formal Execution Semantics of SpecC,” TR 02-04, January 11, 2002. download pdf


S. Gupta, N. Savoiu, N. Dutt, R. Gupta, A. Nicolau, “Using Global Code Motions to Improve the Quality of Results for High-Level Synthesis," TR 02-29, October 1, 2002. download pdf


J. Peng, S. Abdi, D. D. Gajski, “Automatic Model Refinement for Fast Architecture Exploration,” TR 02-14, April 1, 2002. download pdf


A. Ghosh, T. Givargis, “Analytical Design Space Exploration of Caches for Embedded Systems,” TR 02-27, September 11, 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


S. Abdi, J. Peng, R. Doemer, D. Shin, A. Gerstlauer, A. Gluhak, L. Cai, Q. Xie, H. Yu, P. Zhang, D. D. Gajski, “SCE Environment – Tutorial," TR 02-28, September 24, 2002. download pdf


D. Shin, D. D. Gajski, “Interface Synthesis from Protocol Specification,” TR 02-13, April 12, 2002. download pdf


C. Pereira, V. Raghunathan, S. Gupta, R. Gupta, M. Srivastava, “A Software Architecture for Building Power Aware Real Time Operating Systems,” TR 02-02, March 14, 2002. download pdf


J. Lee, K. Choi, N. Dutt, “Automatic Instruction Set Design Through Efficient Instruction Encoding for Application-Specific Processors,” TR 02-23, August 8, 2002. download pdf


D. Shin, D. D. Gajski, “Queue Generation Algorithm for Interface Synthesis,” TR 02-12, April 11, 2002. download pdf


M. Mousavai, G. Russello, M. Chaudron, M. Reniers, T. Basten, A. Corsaro, S. Shukla, R. Gupta, D. Schmidt, “Aspect + Gamma = AspectGamma: A Framework for Aspect Orineted Programming,” TR 02-01, March 1, 2002. download pdf


T. Givargis, “Optimal Cache Organization using an Allocation Tree,” TR 02-22, September 11, 2002. download pdf


D. Shin, D. D. Gajski, “Scheduling in RTL Design Methodology,” TR 02-11, April 12, 2002. download pdf