Vidura Wijayasekara

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A taxonomy and survey on Green Data Center Networks.

Kashif Bilal, Saif Ur Rehman Malik, Osman Khalid, Abdul Hameed, Enrique Alvarez, Vidura Wijaysekara, Rizwana Irfan, Sarjan Shrestha, Debjyoti Dwivedy, Mazhar Ali, Usman Shahid Khan, Assad Abbas, Nauman Jalil, Samee Ullah Khan

Future Gener. Comput. Syst., 2014

Timed Refinement for Verification of Real-Time Object Code Programs.

Mohana Asha Latha Dubasi, Sudarshan K. Srinivasan, Vidura Wijayasekara

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Equivalence verification for NULL Convention Logic (NCL) circuits.

Vidura Wijayasekara, Sudarshan K. Srinivasan, Scott C. Smith

Proceedings of the 32nd IEEE International Conference on Computer Design, 2014

2013

Equivalence checking for synchronous elastic circuits.

Vidura Wijaysekara, Sudarshan K. Srinivasan

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013