Search results for: Arkadeb Ghosal
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 357-371
Journal of Signal Processing Systems > 2016 > 85 > 1 > 23-43
Science of Computer Programming > 2012 > 77 > 2 > 96-112
DAC Design Automation Conference 2012 > 656 - 663
Design Automation Conference > 617 - 618
IEEE Embedded Systems Letters > 2010 > 2 > 2 > 21 - 22