Technical Reports

M. Reshadi, B. Gorjiara, and D. Gajski, "NISC Technology and Preliminary Results," TR 05-11, August 2005. download pdf

 

D.Gajski, A. Gerstlauer, R. Doemer, S. Abdi, J. Peng, D. Shin, "TL Environment," TR 05-10, July 2005. download pdf

 

D. Gajski, and J. Trajkovic, "Communication Design for No Instruction Set Computer," TR 05-09, July 2005. download pdf

 

D. Gajski, H. Cho, and S. Abdi, " General Transducer Architecture," TR 05-08, August 2005. download pdf

 

M. Ghodrat, and T. Givargis, "Equivalence Checking of Arithmetic Expressions Using Fast Evaluation," TR 05-07, July 2005. download pdf

 

M. Ghodrat, and T. Givargis, "Expression Equivalence Checking using Interval Analysis," TR 05-06, May 2005. download pdf

 

M. Reshadi, B. Gorjiara, D. Gajski, "NISC Technology Online Toolset," TR 05-19, December 2005. download pdf

TR 05-18 cancelled

TR 05-17 cancelled

 

G Schirner and R. Doemer, "Using Result Oriented Modeling for Fast yet Accurate TLMs," TR 05-05, May 2005. download pdf

 

R. Jejurikar and R. Gupta, "Optimized Slowdown in Real-Time Task Systems," TR 04-10, April 2004. download pdf

 

A. Gupta and R. Doemer, "System Design of Digital Camera Using SpecC," TR 04-32, December 10, 2004. download pdf

 

S. Pasricha, N. Dutt, and M. Ben-Romdhane, " Automated Synthesis of Bus Architectures for Systems with Throughput Constraints," TR 04-20, August 2004. download pdf

 

R. Jejurikar and R. Gupta, "Procrastination Scheduling in Fixed Priority Real-Time Systems," TR 04-09, April, 2004. download pdf

 

R. Jejurikar and R. Gupta, "Leakage Aware Dynamic Slack Reclamation in Real-Time," TR 04-31, November 2004. download pdf

 

R. Doemer, A. Gerstlauer, D. Shin, "Cycle-accurate RTL Modeling with Multi-Cycled and Pipelined Components," TR 04-19, July 22, 2004. download pdf

 

M. Reshadi and D. Gajski, "NISC Modeling and Simulation," TR 04-08, March 2004. download pdf