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