Nikolaos D. Liveris
According to our database1,
Nikolaos D. Liveris
authored at least 8 papers
between 2001 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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
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
Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001