Nikolaos D. Liveris

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

Publications

Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis. ASP-DAC (2009)
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
A dynamic-programming algorithm for reducing the energy consumption of pipelined System-Level streaming applications. ASP-DAC (2008)
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee
State space abstraction for parameterized self-stabilizing embedded systems. EMSOFT (2008)
Nikolaos D. Liveris, Chuan Lin, J. Wang, Hai Zhou, Prithviraj Banerjee
Retiming for Synchronous Data Flow Graphs. ASP-DAC (2007)
Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee
An Efficient System-Level to RTL Verification Framework for Computation-Intensive Applications. Asian Test Symposium (2005)
Nikolaos D. Liveris, Prithviraj Banerjee
Power Aware Interface Synthesis for Bus-Based SoC Design. DATE (2004)
Nikolaos D. Liveris, Nikolaos D. Zervas, Dimitrios Soudris, Constantinos E. Goutis
A Code Transformation-Based Methodology for Improving I-Cache Performance of DSP Applications. DATE (2002)
Nikolaos D. Liveris, Nikolaos D. Zervas, A. P. Kakaroudas, Costas E. Goutis
A code transformation-based methodology for improving I-cache performance. ICECS (2001)