Filters








2 Hits in 8.9 sec

Exploration of Fine-Grained Parallelism for Load Balancing Eager K-truss on GPU and CPU

Mark Blanco, Tze Meng Low, Kyungjoo Kim
2019 2019 IEEE High Performance Extreme Computing Conference (HPEC)  
In this work we present a performance exploration on Eager K-truss, a linear-algebraic formulation of the K-truss graph algorithm.  ...  We demonstrate our fine-grained parallel approach using implementations in Kokkos and evaluate them on an Intel Skylake CPU and an Nvidia Tesla V100 GPU.  ...  We presented results for our finegrained approach of Eager K-truss on both CPU and GPU, showing that fine-grained parallelism gives significantly improved performance on GPUs and some benefits on the CPU  ... 
doi:10.1109/hpec.2019.8916473 dblp:conf/hpec/BlancoLK19 fatcat:q23wmpigdfhutgwvhxdnl2fch4

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332) Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) Computational Aspects of Fabrication (Dagstuhl Seminar 14361) Augmenting Human Memory-Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)

Michael Benedikt, Carsten Lutz, Thomas Ågotnes, Nils Bulling, Daniel Kroening, Thomas Reps, Sanjit Seshia, Aditya Thakur, Patrick Cousot, Daniel Kroening, Carsten Sinz, Marc Alexa (+7 others)
2014 Querying and Reasoning Under Expressive Constraints   unpublished
Briefly, abstract interpretation allows us to have a very fine grain control on the precision/cost ration and it provides a level of automation unmatched by other approaches (e. g., for the inference of  ...  Our approach is based on a new representation of sets of heaps, which is to some degree inspired by works on separation logic with higher-order list predicates, but it is graph-based and uses a more fine-grained  ...  , personal recording technologies and systems for quantified self are creating an environment in which it is possible to capture fine-grained traces of many aspects of human activity.  ... 
fatcat:xufggsvrynatbg2tlxe5gt7tei