Technical Reports

Jelena Trajkovic and Daniel Gajski, "Generation of Custom Co-processor Structure from C-Code," TR 08-05, June 27, 2008. download pdf

 

Daniel D. Gajski, Samar Abdi, Gunar Schirner, Han-su Cho, Yonghyun Hwang, Lochi Yu, Ines Viskic, and Quoc-Viet Dang, "Embedded System Environment (Front End) ESE Version 2.0 Evaluation Tutorial," TR 08-15, December 12, 2008. download pdf

 

Lochi Yu, Samar Abdi, Daniel Gajski, "A Tool for Equivalence Verification of TLMs using Model Algebra", TR 08-04, February 28, 2008. download pdf

 

Daniel D. Gajski, Samar Abdi, Gunar Schirner, Han-su Cho, Yonghyun Hwang, Lochi Yu, Ines Viskic, and Quoc-Viet Dang, "User Manual for Embedded System Environment ESE Version 2.0.0," TR 08-14, December 12, 2008. download pdf

 

Siwen Sun, Rainer Doemer, "A Convolutional Encoder and Decoder Model in SpecC", TR 08-03, February 27, 2008. download pdf

 

Timothy Bohr, Rainer Doemer, "A Flexible Video Stream Converter," TR 08-13, October 5, 2008. download pdf

 

Pramod Chandraiah, Rainer Doemer, "Assessment of Productivity Gains Achieved through Automated Source Re-Coding", TR 08-02, February 15, 2008. download pdf

 

Yonghyun Hwang, Hans Gunar Schirner, Samar Abdi, "Timed RTOS Models in Automatically Generated Cycle-Approximate TLMs," TR 08-12, September 2008. complete TR is available upon request

 

Weiwei Chen, Rainer Doemer, "System Specification of a DES Cipher Chip", TR 08-01, January 28, 2008. download pdf

 

Yongjin Ahn, Samar Abdi, "Process Network Modeling and TLM Generation for H.264 Codec Design," TR 08-11, October 10, 2008. download pdf

 

Andreas Gerstlauer, Dongwan Shin, Samar Abdi, Pramod Chandraiah, Daniel Gajski, "Design of a MP3 Decoder using the System-On-Chip Environment (SCE)", TR 07-05, November 2, 2007 download pdf

 

Daniel Castellanos, Rainer Doemer, "System-Level Modeling and Simulation of an Elevator Control System", TR 07-04, June 25, 2007 download pdf

 

Carmen Badea, Alexandru Nicolau, Alexander Veidenbaum, "A Simplified Java Compilation System for Resource-Constrained Embedded Processors", TR 07-03, June 2007. Complete TR is available upon request

 

Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Kyoungwoo Lee, Nikil Dutt, Nalini Venkatasubramanian, "Iterative System Tuning for Proactive Systems by Formal Verification and System Prototype: System Prototype Program Interface", TR 07-02, January 2007. Complete TR is available upon request

 

Lochi Yu, Samar Abdi, Daniel Gajski, "Transaction Level Platform Modeling in SystemC for Multi-Processor Designs", TR 07-01 January 2007 download pdf