"Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedural semantics, high expressive power and inherent nondeterminism. The papers included in this volume were presented at…
by Paige, Robert A., Reif, J. H., (John H.), Wachter, R. F., ONR Workshop on Parallel Algorithm Design and Program Transformation, Courant Institute of Mathematical Sciences)
fromKluwer international series in engineering and computer sci…
This book constitutes the refereed proceedings of the 18th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2011, held in Santorini, Greece, in September 2011. The 28 revised full papers presented together with 10 posters were carefu…
This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. The 13 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in …
This book constitutes the refereed proceedings of the 7th International Workshop on OpenMP, IWOMP 2011, held in Chicago, IL, USA in June 2011. The 13 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in …
Annotation This book constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. The 90 revised full papers presented were carefully reviewed and selected from 256 submissions. The papers are organized in to…
This book constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010. The 90 revised full papers presented were carefully reviewed and selected from 256 submissions. The papers are organized in topical secti…
by Alexander, Michael, International EURO-PAR Conference, Bordeaux, France), International Workshop on Algorithms, Models, and Tools for Parallel Computing on Heterogenous Networks, Bordeaux, France), Resilience (Conférence), Bordeaux, France), VHPC (Atelier), Bordeaux, France), UCHPC (Atelier), Bordeaux, France), ProPer (Atelier), Bordeaux, France), MDGS (Atelier), Bordeaux, France), HPSS (Atelier), Bordeaux, France), HPPC (Atelier), Bordeaux, France), HPCVirt (Atelier), Bordeaux, France), HiBB (Atelier), Bordeaux, France), CGWS (Atelier), Bordeaux, France), CCPI (Atelier), Bordeaux, France)
fromLecture Notes in Computer Science
by Alexander, Michael, International EURO-PAR Conference, Bordeaux, France), CCPI 2011, Bordeaux, France), CGWS 2011, Bordeaux, France), International Workshop on Algorithms, Models, and Tools for Parallel Computing on Heterogenous Networks, Bordeaux, France), HiBB 2011, Bordeaux, France), HPCVirt 2011, Bordeaux, France), HPPC 2011, Bordeaux, France), HPSS 2011, Bordeaux, France), MDGS 2011, Bordeaux, France), ProPer 2011, Bordeaux, France), Resilience (Conférence), Bordeaux, France), UCHPC 2011, Bordeaux, France), VHPC 2011, Bordeaux, France)
fromLecture Notes in Computer Science
