According to our database1, Vidura Wijayasekara authored at least 4 papers between 2013 and 2014.
Legend:Book In proceedings Article PhD thesis Other
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
Equivalence checking for synchronous elastic circuits.
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013