Vidura Wijayasekara

According to our database1, Vidura Wijayasekara authored at least 4 papers between 2013 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
A taxonomy and survey on Green Data Center Networks.
Future Generation Comp. Syst., 2014

Timed Refinement for Verification of Real-Time Object Code Programs.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Equivalence verification for NULL Convention Logic (NCL) circuits.
Proceedings of the 32nd IEEE International Conference on Computer Design, 2014

2013
Equivalence checking for synchronous elastic circuits.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013


  Loading...