Balaji Raman

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (8)

• Faster statistical model checking by means of abstraction and learning
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014 DOI: 10.1007/978-3-319-11164-3_28
  +Save
• Faster statistical model checking by means of abstraction and learning
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014
  +Save
• Stochastic modeling and performance analysis of multimedia SoCs
  2013 13th International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2013 2013 DOI: 10.1109/SAMOS.2013.6621117
  +Save
• On buffering with stochastic guarantees in resource-constrained media players
  Embedded Systems Week 2011, ESWEEK 2011 - 9th IEEE/ACM International Conference on Hardware/Software-Codesign and System Synthesis, CODES+ISSS'11 2011 DOI: 10.1145/2039370.2039398
  +Save
• Application-specific workload shaping in multimedia-enabled personal mobile devices
  Transactions on Embedded Computing Systems 2008 DOI: 10.1145/1331331.1331334
  +Save
• Reducing data-memory footprint of multimedia applications by delay redistribution
  2007 44th ACM/IEEE Design Automation Conference, DAC'07 2007 DOI: 10.1109/DAC.2007.375261
  +Save
• Application-specific workload shaping in multimedia-enabled personal mobile devices
  CODES+ISSS 2006: 4th International Conference on Hardware Software Codesign and System Synthesis 2006 DOI: 10.1145/1176254.1176259
  +Save
• Meeting CPU constraints by delaying playout of multimedia tasks
  - 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video, NOSSDAV 2005 Y2 - 13 June 2005 through 14 June 2005 DOI: - 10.1145/1065983.1066021
  +Save