Dear Students!
Graded-DB will be launched on Monday July 09, 2012 and it will close on Tuesday July 10, 2012.A concise, coherent and to the point comment is preferred over lengthy comment having irrelevant details. Comments, posted on regular Lesson's MDB or sent through email will NOT be considered in any case. Any request about such an acceptance will not be catered.
Following is the topic of discussion for Computer graphics CS602.
GDB Topic:
“Discuss the role of Parallel probabilistic model checking on general purpose graphics processors.”
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the traditional sequential algorithms. In particular, we capitalize on the fact that in most of them operations like matrix–vector multiplication and solving systems of linear equations are the main complexity bottlenecks. Since linear algebraic operations can be implemented very efficiently on GPGPUs, the new parallel algorithms show considerable runtime improvements compared to their counterparts on standard architectures. We implemented our parallel algorithms on top of the probabilistic model checker PRISM. The prototype implementation was evaluated on several case studies in which we observed significant speedup over the standard CPU implementation of the tool.
ReplyDelete