Improving the structural testing of concurrent programs: a deterministic and paral...
Using Markov logic for relation learning in the never-ending learning
Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Loop and task parallelization using cloud clusters map-reduce for scientific workl...
Loop Parallelization using Cloud MapReduce for Scientific Workloads