AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Muralidaran Vijayaraghavan

Muralidaran Vijayaraghavan

Massachusetts Institute of Technology - Cambridge / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1418012
person_outline Muralidaran Vijayaraghavan's MOST POPULAR ARTICLES
1-) Kami: a platform for high-level parametric hardware specification and its modular verification Proceedings of the ACM on Programming Languages 1 (ICFP), 1-30, 2017
2-) Bounded dataflow networks and latency-insensitive circuits 2009 7th IEEE/ACM International Conference on Formal Methods and Models for …, 2009
3-) Modular deductive verification of multiprocessor hardware designs International Conference on Computer Aided Verification, 109-127, 2015
4-) Hardware acceleration of matrix multiplication on a xilinx fpga 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
5-) Quick performance models quickly: Closely-coupled partitioned simulation on FPGAs ISPASS 2008-IEEE International Symposium on Performance Analysis of Systems …, 2008