Technical Reports

Guantao Liu, Tim Schmidt, Rainer Dömer, “RISC Compiler and Simulator, Alpha Release V0.2.1: Out-of-Order Parallel Simulatable SystemC Subset,” CECS TR 15-02, posted on October 30, 2015


Sajjad Taheri, Laleh Aghababaie Beni, Alexander V. Veidenbaum, Alexandru Nicolau, Rosario Cammarota, Jianlin Qiu, Qiang Lu, Mohammad R. Haghighat, “WebRTCBench: A Benchmark for Performance Assessment of WebRTC Implementations,” CECS TR 15-01, April 20, 2015.


Che-Wei Chang and Rainer Doemer, “Abstracting ELS Designs to UPPAAL System Models,” CECS TR 14-13.  Posted on December 8, 2014.


Yasaman Samei and Rainer Doemer, “MAVO: An Automated Framework for ESL Design Monitor, Analyze, Visualize and Optimize,” CECS TR 14-12.  Posted on December 8, 2014.


Christopher B. Harris and Ian Harris, “Using Natural Language Documentation in the Formal Verification of Hardware Designs,” CECS TR 14-11.  Posted on November 17, 2014


Majid Shoushtari, Abbas Banaiyan, Nikil Dutt, “Relaxing Manufacturing Guard-bands in Memories for Energy Saving,” CECS TR 14-04-01. Revision posted on August 28, 2014.


Hossein Tajik, Bryan Donyanavard, Janmartin Jahn, Joerg Henkel, Nikil Dutt, “SPMPool: Runtime SPM Management for Embedded Many-Cores,” CECS TR 14-08.  Posted on July 8, 2014


Santanu Sarma and Nikil Dutt, “Cross-Layer Design Space Exploration of Heterogeneous Multicore Processors With Predictive Models,”  CECS TR 14-02.  Posted on June 19, 2014


Kyoungwon Kim and Daniel Gajski, Cycle-Approximate Estimation-Based Mapping,”  CECS TR 14-10.  Posted on June 17, 2014


Kyoungwon Kim and Daniel Gajski, Automatic Partitioning and Process Mapping for Model-Based Design,”  CECS TR 14-09. Posted on June 17, 2014


Santanu Sarma, Nikil Dutt, Puneet  Gupta, Strength of Diversity: Exploiting Cheap Heterogeneous Noisy Sensors for Accurate Full-Chip Thermal Estimation and Prediction,” CECS TR 14-01.  Posted on May 9, 2014


Abbas BanaiyanMofrad, Gustavo Girao, Nikil Dutt, Analyzing and Exploring Fault-tolerant Distributed memories for NoCs,”  CECS TR 12-15. Posted on January 3, 2014.


Nicolas Oros, Jeffrey L. Krichmar, “Smartphone Based Robotics: Powerful, Flexible and Inexpensive Robots for Hobbyists, Educators, Students and Researchers,”  TR 13-16. Posted December 3, 2013. download pdf


Patricia S. Lee and Ian G. Harris, “Message Sequence Charts for Assertion-based Verification,” TR 13-13. Posted October 31, 2013.  download pdf.


Il-Joon Kim, Amin Khajeh, Fadi J. Kurdahi and Ahmed M. Eltawil, “Varibility-Aware Static Latch Modeling,” TR 13-14. Posted on October 31, 2013. download pdf