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
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