BibSonomy ::  author ::

bookmarks

publications

(4)

• A Dynamic Assertion-Based Verification Platform for Validation of UML Designs.
  Ansuman Banerjee and Sayak Ray and Pallab Dasgupta and Partha Pratim Chakrabarti and S. Ramesh and P. Vignesh V. Ganesan ATVA 222-227 (2008)
  to dblp by dblp on 2008-10-21 00:00:00
  | URL | BibTeX  
• Performance Analysis of FlexRay-based ECU Networks.
  Andrei Hagiescu and Unmesh D. Bordoloi and Samarjit Chakraborty and Prahladavaradan Sampath and P. Vignesh V. Ganesan and Sethu Ramesh DAC 284-289 (2007)
  to dblp by dblp on 2007-12-07 00:00:00
  | URL | BibTeX  
• A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems.
  Sethu Ramesh and P. Vignesh V. Ganesan and Gurulingesh Raravit SIES 63-70 (2007)
  to dblp by dblp on 2007-12-07 00:00:00
  | URL | BibTeX  
• A model-based adaptive motion estimation scheme using Renyi's entropy for wireless video.
  Ganesan Ramachandran and Vignesh Krishnan and Dapeng Wu and Zhihai He J. Visual Communication and Image Representation 16 432-449 (2005)
  to dblp by dblp on 2007-03-01 00:00:00
  | URL | BibTeX