Nikolaos D. Liveris

According to our database1, Nikolaos D. Liveris authored at least 8 papers between 2001 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008
State space abstraction for parameterized self-stabilizing embedded systems.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

A dynamic-programming algorithm for reducing the energy consumption of pipelined System-Level streaming applications.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007
Retiming for Synchronous Data Flow Graphs.
Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2005
An Efficient System-Level to RTL Verification Framework for Computation-Intensive Applications.
Proceedings of the 14th Asian Test Symposium (ATS 2005), 2005

2004
Power Aware Interface Synthesis for Bus-Based SoC Design.
Proceedings of the 2004 Design, 2004

2002
A Code Transformation-Based Methodology for Improving I-Cache Performance of DSP Applications.
Proceedings of the 2002 Design, 2002

2001
A code transformation-based methodology for improving I-cache performance.
Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001


  Loading...