Faster statistical model checking by means of abstraction and learning A Nouri, B Raman, M Bozga, A Legay, S Bensalem International Conference on Runtime Verification, 340-355, 2014 | 35 | 2014 |
Application-specific workload shaping in multimedia-enabled personal mobile devices B Raman, S Chakraborty ACM Transactions on Embedded Computing Systems (TECS) 7 (2), 1-22, 2008 | 23 | 2008 |
Reducing data-memory footprint of multimedia applications by delay redistribution B Raman, S Chakraborty, WT Ooi, S Dutta Proceedings of the 44th annual Design Automation Conference, 738-743, 2007 | 14 | 2007 |
Stochastic modeling and performance analysis of multimedia socs B Raman, A Nouri, D Gangadharan, M Bozga, A Basu, M Maheshwari, ... 2013 International Conference on Embedded Computer Systems: Architectures …, 2013 | 12 | 2013 |
On buffering with stochastic guarantees in resource-constrained media players B Raman, G Quintin, WT Ooi, D Gangadharan, J Milan, S Chakraborty 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on …, 2011 | 10 | 2011 |
Meeting CPU constraints by delaying playout of multimedia tasks B Raman, S Chakraborty, WT Ooi Proceedings of the international workshop on Network and operating systems …, 2005 | 3 | 2005 |
Application-specific workload shaping in resource-constrained media players R BALAJI | 2 | 2009 |
A general stochastic framework for low-cost design of multimedia SoCs B Raman, A Nouri, D Gangadharan, M Bozga, A Basu, M Maheshwari, ... Technical Report TR-2012-7, Verimag Research Report, 2012 | 1 | 2012 |
Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space? S Janssen, L Paulevé, Y Ponty, B Raman, M Zytnicki IWBDA-4th International Workshop on Bio-Design Automation-2012, 2012 | | 2012 |
Investigating the RFAM paradox: The pseudoknot explanation S Janssen, Y Ponty, B Raman, S Sheikh, JM Steyaert, P Clote Fifth Indo-French Bioinformatics Meeting, 2011 | | 2011 |