This paper presents program transformations directed toward improving communication-computation overlap in parallel programs that use MPI’s collective operations. Our transforma...
Anthony Danalis, Ki-Yong Kim, Lori L. Pollock, D. ...
High angular resolution diffusion imaging (HARDI) allows population studies of fiber integrity and connectivity. Tractography can extract individual fibers. For group studies, fib...
Yan Jin, Yonggang Shi, Neda Jahanshad, Iman Aganj,...
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
In previous work, we have proposed a novel approach to data clustering based on the explicit optimization of a partitioning with respect to two complementary clustering objectives ...