Vinitha Arakkonam Palaniveloo

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Network Simulator

Message Passing

Routing Algorithm

Top Venues

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Vinitha Arakkonam Palaniveloo, Jude Angelo Ambrose, Arcot Sowmya
Improving GA-Based NoC Mapping Algorithms Using a Formal Model. ISVLSI (2014)
Vinitha Arakkonam Palaniveloo, Arcot Sowmya
Formal Estimation of Worst-Case Communication Latency in a Network-on-Chip. ISVLSI (2012)
Vinitha Arakkonam Palaniveloo, Arcot Sowmya
Application of Formal Methods for System-Level Verification of Network on Chip. ISVLSI (2011)