3 papers
cs.DS2016
Rate of convergence of major cost incurred in the in-situ permutation algorithm
Sumit Kumar Jha
The in-situ permutation algorithm due to MacLeod replaces by where is a permutation of …
cs.DS2016
Asymptotic expansions for moments of number of comparisons used by the randomized quick sort algorithm
Sumit Kumar Jha
We calculate asymptotic expansions for the moments of number of comparisons used by the randomized quick sort algorithm using the singularity analysis of certain generating functio…
cs.DC2014
Distributed Markov Chains
Sumit Kumar Jha, Madhavan Mukund, Ratul Saha +1
The formal verification of large probabilistic models is important and challenging. Exploiting the concurrency that is often present is one way to address this problem. Here we stu…