AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Rajarshi Ray

Rajarshi Ray

Indian Association for the Cultivation of Science - Kalküta / India
Others
AD Scientific Index ID: 4473759
विज्ञान की खेती के लिए भारतीय संघ
person_outline Rajarshi Ray's MOST POPULAR ARTICLES
1-) SpaceEx: Scalable verification of hybrid systems International Conference on Computer Aided Verification, 379-395, 2011
2-) Asac: Automatic sensitivity analysis for approximate computing Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers …, 2014
3-) Accelerating sparse matrix-vector multiplication on GPUs using bit-representation-optimized schemes Proceedings of the International Conference on High Performance Computing …, 2013
4-) XSpeed: Accelerating reachability analysis on multi-core processors Haifa Verification Conference, 3-18, 2015
5-) ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023