 | 2009 |
|---|
| 7 |       | Nikolaos D. Liveris,
Hai Zhou,
Prithviraj Banerjee:
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis.
ASP-DAC 2009: 636-641 |
| 2008 |
|---|
| 6 | | 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: 42-48 |
| 5 | | Nikolaos D. Liveris,
Hai Zhou,
Robert P. Dick,
Prithviraj Banerjee:
State space abstraction for parameterized self-stabilizing embedded systems.
EMSOFT 2008: 11-20 |
| 2007 |
|---|
| 4 | | Nikolaos D. Liveris,
Chuan Lin,
J. Wang,
Hai Zhou,
Prithviraj Banerjee:
Retiming for Synchronous Data Flow Graphs.
ASP-DAC 2007: 480-485 |
| 2005 |
|---|
| 3 | | Nikolaos D. Liveris,
Hai Zhou,
Prithviraj Banerjee:
An Efficient System-Level to RTL Verification Framework for Computation-Intensive Applications.
Asian Test Symposium 2005: 28-33 |
| 2004 |
|---|
| 2 | | Nikolaos D. Liveris,
Prithviraj Banerjee:
Power Aware Interface Synthesis for Bus-Based SoC Design.
DATE 2004: 864-869 |
| 2002 |
|---|
| 1 | | 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: 977-983 |
