Distributed, Parallel, and Cluster Computing

Authors and titles for August 2014

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

Title: Efficient Multigrid Preconditioners for Atmospheric Flow Simulations at High Aspect Ratio

Andreas Dedner, Eike Hermann Müller, Robert Scheichl

Comments: 22 pages, 6 Figures, 2 Tables

Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Atmospheric and Oceanic Physics (physics.ao-ph)

[52] arXiv:1408.3030 (cross-list from cs.FL) [pdf, other]

Title: Distributed Graph Automata and Verification of Distributed Algorithms

Fabian Reiter

Comments: 26 pages, 6 figures, includes a condensed version of the author's Master's thesis arXiv:1404.6503. (This version of the article (v2) is identical to the previous one (v1), except for minor changes in phrasing.)

Subjects: Formal Languages and Automata Theory (cs.FL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[53] arXiv:1408.3048 (cross-list from astro-ph.CO) [pdf, other]

Title: Accelerating Cosmic Microwave Background map-making procedure through preconditioning

Mikolaj Szydlarski, Laura Grigori, Radek Stompor

Comments: 19 pages // Final version submitted to A&A

Journal-ref: A&A 572, A39 (2014)

Subjects: Cosmology and Nongalactic Astrophysics (astro-ph.CO); Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)

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

Title: A Lightweight Approach for Improving the Lookup Performance in Kademlia-type Systems

Hani Salah, Stefanie Roos, Thorsten Strufe

Comments: 13 pages, 8 figures, conference version 'Diversity Entails Improvement: A new Neighbour Selection Scheme for Kademlia-type Systems' at IEEE P2P 2014

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

[55] arXiv:1408.3354 (cross-list from cs.CY) [pdf, other]

Title: Distributed Diffusion-Based LMS for Node-Specific Adaptive Parameter Estimation

Jorge Plata-Chaves, Nikola Bogdanovic, Kostas Berberidis

Comments: 13 pages, 6 figures

Subjects: Computers and Society (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)

[56] arXiv:1408.3693 (cross-list from math.OC) [pdf, other]

Title: Stability and Performance Limits of Adaptive Primal-Dual Networks

Zaid J. Towfic, Ali H. Sayed

Comments: 16 pages, 9 figures

Journal-ref: IEEE Transactions on Signal Processing, vol. 63, no. 11, pp. 2888-2903, Jun. 2015

Subjects: Optimization and Control (math.OC); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Multiagent Systems (cs.MA)

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

Title: Robust Consensus in the Presence of Impulsive Channel Noise

Sivaraman Dasarathan, Cihan Tepedelenlioglu, Mahesh Banavar, Andreas Spanias

Comments: 24 pages, 7 figures, Submitted to Transactions on Signal Processing, Apr 2014 (Submitted, currently in review)

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

[58] arXiv:1408.4423 (cross-list from cs.AR) [pdf, other]

Title: Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP 2014)

Frank Hannig, Dirk Koch, Daniel Ziener

Comments: Website of the workshop: this https URL

Subjects: Hardware Architecture (cs.AR); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

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

Title: Making FPGAs Accessible to Scientists and Engineers as Domain Expert Software Programmers with LabVIEW

Hugo A. Andrade, Simon Hogg, Stephan Ahrends

Comments: Presented at First International Workshop on FPGAs for Software Programmers (FSP 2014) (arXiv:1408.4423)

Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Operating Systems (cs.OS); Programming Languages (cs.PL)

[60] arXiv:1408.4721 (cross-list from cs.CV) [pdf, other]

Title: Code Generation for High-Level Synthesis of Multiresolution Applications on FPGAs

Moritz Schmid, Oliver Reiche, Christian Schmitt, Frank Hannig, Jürgen Teich

Comments: Presented at First International Workshop on FPGAs for Software Programmers (FSP 2014) (arXiv:1408.4423)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

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

Title: High Level Hardware/Software Embedded System Design with Redsharc

Sam Skalicky, Andrew G. Schmidt, Matthew French

Comments: Presented at First International Workshop on FPGAs for Software Programmers (FSP 2014) (arXiv:1408.4423)

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

[62] arXiv:1408.4965 (cross-list from cs.CE) [pdf, other]

Title: A Domain Specific Approach to Heterogeneous Computing: From Availability to Accessibility

Gordon Inggs, David Thomas, Wayne Luk

Comments: Presented at First International Workshop on FPGAs for Software Programmers (FSP 2014) (arXiv:1408.4423)

Subjects: Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Programming Languages (cs.PL)

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

Title: Model Checking Paxos in Spin

Giorgio Delzanno (DIBRIS, University of Genova), Michele Tatarek (DIBRIS, University of Genova), Riccardo Traverso (FBK, Trento)

Comments: In Proceedings GandALF 2014, arXiv:1408.5560

Journal-ref: EPTCS 161, 2014, pp. 131-146

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