Seminar by Balaji Raman
Analytical Models: from Embedded System Design to Computational Biology
Balaji Raman
VERIMAG, GIERES, France
Date: Tuesday, August 28th, 2012
Time: 830PM
Venue: CS101.Abstract:
I will introduce three topics: (1) deterministic analytical models for application-specific system-level design, (2) designing low-cost Multimedia Systems using stochastic analytical and simulation models, and (3) probabilistic model checking techniques for open research problems in Computational Biology.
In the second portion of my talk, first, I will motivate why we need a stochastic framework for system-level design of soft-real time systems. Later, I will present two frameworks, stochastic real-time calculus and statistical model checking towards designing a low-cost system. This second part of the talk will end comparing the results (savings in memory) we obtained from both the above mentioned approaches.