Technical Reports
WebRTCBench: A Benchmark for Performance Assessment of WebRTC Implementations
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.
Abstracting ESL Designs to UPPAAL System Models
Che-Wei Chang and Rainer Doemer, “Abstracting ELS Designs to UPPAAL System Models,” CECS TR 14-13. Posted on December 8, 2014.
MAVO: An Automated Framework for ESL Design Monitor, Analyze, Visualize and Optimize
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.
Using Natural Language Documentation in the Formal Verification of Hardware Designs
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
Relaxing Manufacturing Guard-bands in Memories for Energy Saving
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.
SPMPool: Runtime SPM Management for Embedded Many-Cores
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
Cross-Layer Design Space Exploration of Heterogeneous Multicore Processors With Predictive Models
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
Cycle-Approximate Estimation-Based Mapping
Kyoungwon Kim and Daniel Gajski, “Cycle-Approximate Estimation-Based Mapping,” CECS TR 14-10. Posted on June 17, 2014
Automatic Partitioning and Process Mapping for Model-Based Design
Kyoungwon Kim and Daniel Gajski, “Automatic Partitioning and Process Mapping for Model-Based Design,” CECS TR 14-09. Posted on June 17, 2014
Strength of Diversity: Exploiting Cheap Heterogeneous Noisy Sensors for Accurate Full-Chip Thermal Estimation and Prediction
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
Analyzing and Exploring Fault-tolerant Distributed memories for NoCs
Abbas BanaiyanMofrad, Gustavo Girao, Nikil Dutt, “Analyzing and Exploring Fault-tolerant Distributed memories for NoCs,” CECS TR 12-15. Posted on January 3, 2014.
Smartphone Based Robotics: Powerful Flexible and Inexpensive Robots for Hobbyists, Educators, Students and Researchers
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
Message Sequence Charts for Assertion-based Verification
Patricia S. Lee and Ian G. Harris, “Message Sequence Charts for Assertion-based Verification,” TR 13-13. Posted October 31, 2013. download pdf.
Variability-Aware Static Latch Modeling
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
A Comparison of Error Detection between Simulation-based Validation and Model Checking
Patricia Lee, Shireesh Verma and Ian G. Harris, “A Comparison of Error Detection Between Simulation-based Validation and Model Checking,” TR 13-12. Posted October 9, 2013. download pdf
A Hybrid Thread Library for Efficient Electronic System Level Simulation
Guantao Liu and Rainer Dömer, “A Hybrid Thread Library for Efficient Electronic System Level Simulation,” TR 13-11. Posted October 8, 2013. download pdf
Grid Impact Analysis of a Residential Microgrid under Various EV Penetration Rates in GridLAB-D
Fereidoun Ahourai, Mohammad Abdullah Al Faruque, “Grid Impact Analysis of a Residential Microgrid under Various EV Penetration Rates in GridLab-D,” TR 13-08. July 30, 2013. Posted July 31, 2013. download pdf
A User-level Thread Library Built on Linux Context Functions for Efficient ESL Simulation
Guantao Liu and Rainer Dömer, “A User-level Thread Library Built on Linux Context Functions for Efficient ESL Simulation,” TR 13-07. Posted June 7, 2013. download pdf
CyberPhysical-System-On-CHip (CPSoC): Sensor-Actuator Rich Self-Aware Computational Platform
Santanu Sarma, N. Dutt, N. Venkatasubramanian, A. Nicolau, P. Gupta, “Cyber Physical-System-On-Chip (CPSoC): Sensor-Actuator Rich Self-Aware Computational Platform” CECS TR 13-06. Revised June 26, 2014. Download pdf
An Extended Eclipse Platform for Recoding System-Level Models
Han Xu, Rainer Dömer, “An Extended Eclipse Platform for Recoding System-Level Models,” TR 13-04. April 30, 2013. Posted May 1, 2013. download pdf
RIDE: Recoding Integrated Development Environment
Rainer Dömer, “RIDE: Recoding Integrated Development Environment,” TR 13-02. Posted April 29, 2013. download pdf
XGRID: A Scalable Many-Core Embedded Processor
Volkan Gunes, Tony Givargis, “XGRID: A Scalable Many-Core Embedded Processor,” TR 13-03. April 22, 2013. Posted on April 23, 2013. Revision posted on July 1, 2014.download pdf
Towards A Unified Hardware Abstraction Layer Architecture for Embedded Systems
Hao Peng, Rainer Dömer, “Towards A Unified Hardware Abstraction Layer Architecture for Embedded Systems,” TR 12-14. November 26, 2012. Posted November 27, 2012. download pdf
System-Level Modeling and Refinement of a Canny Edge Detector
Xu Han, Yasaman and Rainer Doemer, “System-Level Modeling and Refinement of a Canny Edge Detector,” TR 12-13. November 7, 2012. Posted November 9, 2012. download pdf
Performance Evaluation and Optimization of A Custom Native Linux Threads Library
Guantao Liu and Rainer Doemer, “Performance Evaluation and Optimization of A Custom Native Linux Threads Library,” TR 12-11. October 3, 2012. Posted October 5, 2012. download pdf
Mobile Embedded Software with Android: Course Design and Experience
Gu-Min Jeong, DOng-Byeong Kang, Sung-Soo Lim and Nikil D. Dutt, “Mobile Embedded Software with Android: Course Design and Experience,” TR 12-10. October 1, 2012. Posted October 2, 2012. pdf download
Development of a Fast Error Aware Model for Arithmetic and Logic Circuits
Samy Zoynoun, “Development of a Fast Error Aware Model for Arithmetic and Logic Circuits,” TR 12-08. August 3, 2012. Posted August August 6, 2012. download pdf
An Architecture for Home-oriented IPTV Service Platform on Residential Gateway
Pyung Soo Kim, “An Architecture for Home-oriented IPTV Service Platform on Residential Gateway,” TR 12-07. Augst 1, 2012. Posted August 10, 2012. download pdf
An Embedded Hybrid-Memory-Aware Virtualization Layer for Chip-Multiprocessor
Luis Angel D. Bathen and Nikil Dutt, “An Embedded Hybrid-Memory-Aware Virtualization Layer for Chip-Multiprocessor,” TR 12-03. March 27, 2012. Posted August 10, 2012. download pdf
Iris – A Home Control System with an Implemented Home Improvement Application
Davit Hovhannisyan, Arno Abramyan, Derek Nham and Barry Tach, “Iris – A Home Control System with an Implemented Home Improvement Application,” TR 12-06. July 27, 2012. Posted July 31, 2012. download
Study of Android-Based Multi-Projector Mobile System
Apik Zorian, “Study of Android-Based Multi-Projector Mobile System,” TR 12-05. July 17, 2012. Posted July 30, 2012. download pdf
Bin-MAC: A Hybrid MAC for Ultra-Compact Wireless Sensor Nodes
Vahid Salmani and Pai Chou, “Bin-MAC: A Hybrid MAC for Ultra-Compact Wireless Sensor Nodes,” TR 12-04. Posted July 16, 2012. download pdf
TLM Generation in ESE
Kyoungwon Kim, “TLM Generation in ESE,” TR 12-02. February 20, 2012. Posted February 27, 2012. download pdf
A Standard Cell-Based DPA Attack Countermeasure using Homogeneous Dual-Rail Logic (HDRL)
Kazuyuki Tanimura and Nikil Dutt, “A Standard Cell-Based DPA Attack Countermeasure using Homogeneous Dual-Rail Logic (HDRL),” TR 12-01. January 25, 2012. Posted January 27, 2012. download pdf
Reducing Reconfiguration Overhead for Reconfigurable Multi-Mode Filters Through Polynomial-Time Optimization and Joint Filter Design
Amir Hossein Gholamipour, Fadi Kurdahi, Ahmed Eltawil and Mazen A.R. Saghir, "Reducing Reconfiguration Overhead for Reconfigurable Multi-Mode Filters Through Polynomial-Time Optimization and Joint Filter Design," TR 11-06. August 2, 2011. Posted December 13, 2011. download pdf
Improving the Accuracy of High Performance BLAS Implementations using Adaptive Blocked Algorithms
Matthew Badin, Paolo D’Alberto, Lubomir Bic, Michael Dillencourt, Alexandru Nicolau, "Improving the Accuracy of High Performance BLAS Implementations using Adaptive Blocked Algorithms," TR 11-05. April 15, 2011. Posted July 19, 2011. download pdf
System Level Modeling of a H.264 Video Encoder
Che-Wei Chang and Rainer Doemer, "System Level Modeling of a H.264 Video Encoder," TR 11-04. June 2, 2011. Posted June 3, 2011. download pdf
A Parallel Transaction-Level Model of H.264 Video Decoder
Xu Han, Weiwei Chen and Rainer Doemer, "A Parallel Transaction-Level Model of H.264 Video Decoder," TR 11-03, June 2, 2011. Posted June 3, 2011. download pdf
A Distributed Parallel Simulator for Transaction Level Models with Relaxed Timing
Weiwei Chen and Rainer Doemer, "A Distributed Parallel Simulator for Transaction Level Models with Relaxed Timing," TR 11-02, May 31, 2011. Posted June 3, 2011. download pdf
Heterogeneous Mapping to Minimize Resource Usage under Maximal Spatial Reuse Constraints for FIR-like Structures
Amir Hossein Gholamipour, Michael Dillencourt, Fadi Kurdahi and Ahmed Eltawil, "Heterogeneous Mapping to Minimize Resource Usage under Maximal Spatial Reuse Constraints for FIR-like Structures," TR 11-01. August 2, 2011. Posted December 13, 2011 download pdf