Distributed, Parallel, and Cluster Computing

Authors and titles for November 2011

[26] arXiv:1111.6756 [pdf, other]

Title: The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization

Riyadh Baghdadi, Albert Cohen, Cedric Bastoul, Louis-Noel Pouchet, Lawrence Rauchwerger

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Programming Languages (cs.PL)

[27] arXiv:1111.0242 (cross-list from cs.MM) [pdf, other]

Title: Storage Balancing in Self-organizing Multimedia Delivery Systems

Anita Sobe, Wilfried Elmenreich, Laszlo Böszörmenyi

Subjects: Multimedia (cs.MM); Distributed, Parallel, and Cluster Computing (cs.DC); Adaptation and Self-Organizing Systems (nlin.AO)

[28] arXiv:1111.0321 (cross-list from cs.DS) [pdf, other]

Title: Anonymous Meeting in Networks

Yoann Dieudonné, Andrzej Pelc

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[29] arXiv:1111.0370 (cross-list from cs.SE) [pdf, other]

Title: Distributed Parametric and Statistical Model Checking

Peter Bulychev (Aalborg University), Alexandre David (Aalborg University), Kim Guldstrand Larsen (Aalborg University), Marius Mikučionis (Aalborg University), Axel Legay (Aalborg University and INRIA Rennes)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 30-42

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[30] arXiv:1111.0371 (cross-list from cs.LO) [pdf, other]

Title: Lazy Decomposition for Distributed Decision Procedures

Youssef Hamadi (Microsoft Research), Joao Marques-Silva (University College Dublin), Christoph M. Wintersteiger (Microsoft Research)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 43-54

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)

[31] arXiv:1111.0372 (cross-list from cs.LO) [pdf, other]

Title: PKind: A parallel k-induction based model checker

Temesghen Kahsai (The University of Iowa), Cesare Tinelli (The University of Iowa)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 55-62

Subjects: Logic in Computer Science (cs.LO); Distributed, Parallel, and Cluster Computing (cs.DC)

[32] arXiv:1111.0373 (cross-list from cs.SE) [pdf, other]

Title: CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

Nikola Beneš (FI MU), Ivana Černá (FI MU), Milan Křivánek

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 63-67

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[33] arXiv:1111.0374 (cross-list from cs.SE) [pdf, other]

Title: Distributed MAP in the SpinJa Model Checker

Stefan Vijzelaar (VU University Amsterdam), Kees Verstoep (VU University Amsterdam), Wan Fokkink (VU University Amsterdam), Henri Bal (VU University Amsterdam)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 84-90

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[34] arXiv:1111.0375 (cross-list from cs.SE) [pdf, other]

Title: The HIVE Tool for Informed Swarm State Space Exploration

Anton Wijs (Eindhoven University of Technology)

Comments: In Proceedings PDMC 2011, arXiv:1111.0064

Journal-ref: EPTCS 72, 2011, pp. 91-98

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[35] arXiv:1111.0583 (cross-list from cs.DM) [pdf, other]

Title: Information Spreading in Dynamic Graphs

Andrea Clementi, Riccardo Silvestri, Luca Trevisan

Subjects: Discrete Mathematics (cs.DM); Distributed, Parallel, and Cluster Computing (cs.DC)

[36] arXiv:1111.0594 (cross-list from cs.DB) [pdf, other]

Title: Exploring Oracle RDBMS latches using Solaris DTrace

Andrey Nikolaev

Comments: 14 pages, 6 figures, 6 tables. MEDIAS 2011 Conference. Limassol, Cyprus

Subjects: Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)

[37] arXiv:1111.1750 (cross-list from cs.DS) [pdf, other]

Title: Near Linear-Work Parallel SDD Solvers, Low-Diameter Decomposition, and Low-Stretch Subgraphs

Guy E. Blelloch, Anupam Gupta, Ioannis Koutis, Gary L. Miller, Richard Peng, Kanat Tangwongsan

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)

[38] arXiv:1111.2228 (cross-list from cs.DS) [pdf, other]

Title: Space-Round Tradeoffs for MapReduce Computations

Andrea Pietracaprina, Geppino Pucci, Matteo Riondato, Francesco Silvestri, Eli Upfal

Journal-ref: Final version in Proc. of the 26th ACM international conference on Supercomputing, pages 235-244, 2012

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[39] arXiv:1111.3096 (cross-list from cs.SE) [pdf, other]

Title: vFlow: A GUI-Based Tool for Building Batch Applications for Cloud Computing

Hassan Gobjuka, Kamal Ahmat

Comments: IEEE INFOCOM 2011 Demo Session, 2 Pages, 2 Figures

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)

[40] arXiv:1111.4825 (cross-list from cs.SY) [pdf, other]

Title: Chebyshev Polynomials in Distributed Consensus Applications

Eduardo Montijano, Juan I. Montijano, Carlos Sagues

Comments: Preprint submitted for its publication in a journal

Subjects: Systems and Control (eess.SY); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

[41] arXiv:1111.5528 (cross-list from cs.DS) [pdf, other]

Title: Energy-aware scheduling under reliability and makespan constraints

Guillaume Aupy, Anne Benoit, Yves Robert

Comments: 22 pages. A 10 pages version should appear in HiPC'12

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)

[42] arXiv:1111.5596 (cross-list from hep-lat) [pdf, other]

Title: Accelerating QDP++/Chroma on GPUs

Frank Winter

Comments: 7 pages, 4 figures; Talk given at the XXIX International Symposium on Lattice Field Theory - Lattice 2011, Lake Tahoe, California, USA

Subjects: High Energy Physics - Lattice (hep-lat); Distributed, Parallel, and Cluster Computing (cs.DC)

[43] arXiv:1111.6218 (cross-list from cs.NI) [pdf, other]

Title: An ACO Algorithm for Effective Cluster Head Selection

Amritha Sampath, Tripti. C, Sabu M. Thampi

Comments: 7 pages, 5 figures, International Journal of Advances in Information Technology (JAIT); ISSN: 1798-2340; Academy Publishers, Finland

Journal-ref: International Journal of Advances in Information Technology (JAIT), Vol. 2, No. 1, February 2011, pp. 50-56

Subjects: Networking and Internet Architecture (cs.NI); Distributed, Parallel, and Cluster Computing (cs.DC)

[44] arXiv:1111.6374 (cross-list from cs.PF) [pdf, other]

Title: Solving Dense Generalized Eigenproblems on Multi-threaded Architectures

José I. Aliaga (1), Paolo Bientinesi (2), Davor Davidović (3), Edoardo Di Napoli (4), Francisco D. Igual (1), Enrique S. Quintana-Ortí (1) ((1) Depto. de Ingeniería y Ciencia de Computadores, Universidad Jaume I, (2) RWTH-Aachen University, (3) Institut Ruder Boskovíc, Centarza Informatiku i Racunarstvo, (4) JSC, Forschungszentrum Jülich)

Comments: 5 tables and 4 figures. In press by Applied Mathematics and Computation. Accepted version

Subjects: Performance (cs.PF); Materials Science (cond-mat.mtrl-sci); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS)

[45] arXiv:1111.6583 (cross-list from math.NA) [pdf, other]

Title: PyClaw: Accessible, Extensible, Scalable Tools for Wave Propagation Problems

David I. Ketcheson, Kyle T. Mandli, Aron Ahmadia, Amal Alghamdi, Manuel Quezada, Matteo Parsani, Matthew G. Knepley, Matthew Emmett

Journal-ref: SISC 34(4):C210-C231 (2012)

Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Mathematical Software (cs.MS); Computational Physics (physics.comp-ph)

[46] arXiv:1111.6661 (cross-list from astro-ph.IM) [pdf, other]

Title: Unleashing the Power of Distributed CPU/GPU Architectures: Massive Astronomical Data Analysis and Visualization case study

A. H. Hassan, C. J. Fluke, D. G. Barnes

Comments: 4 Pages, 1 figures, To appear in the proceedings of ADASS XXI, ed. this http URL and this http URL, ASP Conf. Series

Subjects: Instrumentation and Methods for Astrophysics (astro-ph.IM); Distributed, Parallel, and Cluster Computing (cs.DC)

[47] arXiv:1111.7025 (cross-list from cs.AI) [pdf, other]

Title: Task Interaction in an HTN Planner

Ilče Georgievski, Alexander Lazovik, Marco Aiello

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)