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