Table of Contents

• Parallelized Clustering of Protein Structures on CUDA-Enabled GPUsHoang-Vu Dang, Bertil Schmidt, Andreas Hildebrandt, Anna Katharina Hildebrandt. 1-8 [doi]
• On Partitioning Two Dimensional Finite Difference Meshes for Distributed Memory Parallel ComputersAnaël Grandjean, Bora Uçar. 9-16 [doi]
• Coordinated Cooperative Work Using Undependable Processors with Unreliable BroadcastSeda Davtyan, Roberto De Prisco, Chryssis Georgiou, Alexander A. Shvartsman. 17-26 [doi]
• Gossip Strategies for Service CompositionAngelo Furno, Eugenio Zimeo. 27-35 [doi]
• Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring ToolsChristopher Brown, Vladimir Janjic, Kevin Hammond, Holger Schöner, Kamran Idrees, Colin Glass. 36-43 [doi]
• The Multi-level Communication: Minimal Deadlock-Free and Storage Efficient Routing for Torus NetworksM. B. Hadim. 44-51 [doi]
• Loop Parallelism: A New Skeleton Perspective on Data Parallel PatternsMarco Danelutto, Massimo Torquati. 52-59 [doi]
• Performance Analysis of Paralldroid Generated ProgramsAlejandro Acosta, Francisco Almeida. 60-67 [doi]
• Dynamic Feature Selection for Machine-Learning Based Concurrency Regulation in STMDiego Rughetti, Pierangelo di Sanzo, Bruno Ciciani, Francesco Quaglia. 68-75 [doi]
• An Efficient Barrier Implementation for OpenMP-Like Parallelism on the Intel SCCHayder Al-Khalissi, Syed Abbas Ali Shah, Mladen Berekovic. 76-83 [doi]
• A Hybrid Implementation of Hamming WeightEnric Morancho Llena. 84-92 [doi]
• Evaluating the Impact of Transactional Characteristics on the Performance of Transactional Memory ApplicationsFernando Rui, Márcio Bastos Castro, Dalvan Griebler, Luiz Gustavo Fernandes. 93-97 [doi]
• Hierarchical Network Coding for Collective Communication on HPC InterconnectsAhmed Shalaby, Mohamed El-Sayed Ragab, Victor Goulart, Ikki Fujiwara, Michihiro Koibuchi. 98-102 [doi]
• Hybrid Classification of Resistors through Image ProcessingRomina Molina, Pablo Federigi, Veronica Gil Costa, Marcela Printista. 103-106 [doi]
• Scalable Parallel I/O on a Blue Gene/Q Supercomputer Using Compression, Topology-Aware Data Aggregation, and SubfilingHuy Bui, Hal Finkel, Venkatram Vishwanath, Salman Habib, Katrin Heitmann, Jason Leigh, Michael E. Papka, Kevin Harms. 107-111 [doi]
• EagleMacaw: A Dual-Tree Replication Protocol for Efficient and Reliable P2P Media StreamingShabnam Ataee, Benoît Garbinato. 112-121 [doi]
• Multi-homed Fat-Tree Routing with InfiniBandSven-Arne Reinemo, Bartosz Bogdanski, Bjørn Dag Johnsen. 122-129 [doi]
• Message Passing on InfiniBand RDMA for Parallel Run-Time SupportsAlessandro Secco, Irfan Uddin, Guilherme Peretti Pezzi, Massimo Torquati. 130-137 [doi]
• Multi-job Meta-brokering in Distributed Computing Infrastructures Using Pliant LogicAttila Kertész, Gergo Maros, József Dániel Dombi. 138-145 [doi]
• TinyLFU: A Highly Efficient Cache Admission PolicyGil Einziger, Roy Friedman. 146-153 [doi]
• Efficient Parallel Self-Reconfiguration Algorithm for MEMS MicrorobotsHicham Lakhlef, Hakim Mabed, Julien Bourgeois. 154-161 [doi]
• Automated Instantiation of Heterogeneous Fast Flow CPU/GPU Parallel Pattern Applications in CloudsSuresh Boob, Horacio González-Vélez, Alina Madalina Popescu. 162-169 [doi]
• Event-Oriented Focal Weight-Based Clustering for Environmental Wireless Sensor NetworksOlga Zlydareva, Bart F. Masterson, Wim G. Meijer, John J. O'Sullivan, Gregory M. P. O'Hare. 170-173 [doi]
• Selective Extension of Routing Algorithms Based on Turn ModelYongqing Wang, Liquan Xiao, Sheng Ma, Zhengbin Pang, Kefei Wang. 174-177 [doi]
• A Cooperative Two-Tier Energy-Aware Scheduling for Real-Time Tasks in Computing CloudsSeyedmehdi Hosseinimotlagh, Farshad Khunjush, Seyedmahyar Hosseinimotlagh. 178-182 [doi]
• An Effective Distributed D&C Approach for the Satisfiability ProblemGilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette. 183-187 [doi]
• Supporting Elasticity in OpenMP ApplicationsGuilherme Galante, Luis C. E. Bona. 188-195 [doi]
• Improving the Performance of Seismic Wave Simulations with Dynamic Load BalancingRafael Keller Tesser, Laércio Lima Pilla, Fabrice Dupros, Philippe Olivier Alexandre Navaux, Jean-François Méhaut, Celso L. Mendes. 196-203 [doi]
• General Hybrid Parallel ProfilingAllen D. Malony, Kevin A. Huck. 204-212 [doi]
• SHEPARD: Scheduling on Heterogeneous Platforms Using Application Resource DemandsEoghan ONeill, John McGlone, Peter Milligan, Peter Kilpatrick. 213-217 [doi]
• The WNoDeS Cloud Virtualization Framework: A Macromolecular Surface Analysis Application Case StudyElisabetta Ronchieri, Daniele Cesini, Daniele D'Agostino, Vincenzo Ciaschini, Gianni Dalla Torre, Paolo Cozzi, Davide Salomoni, Andrea Clematis, Luciano Milanesi, Ivan Merelli. 218-222 [doi]
• Compute Intensive Algorithm on Heterogeneous System: A Case Study about Fourier TransformAntonella Galizia, Emanuele Danovaro, Giuseppe Ripepi, Andrea Clematis. 223-227 [doi]
• Extremal Optimization with Guided State Changes in Load Balancing of Distributed ProgramsIvanoe De Falco, Eryk Laskowski, Richard Olejnik, Umberto Scafuri, Ernesto Tarantino, Marek Tudruj. 228-231 [doi]
• Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File SystemYuichi Tsujita, Kazumi Yoshinaga, Atsushi Hori, Mikiko Sato, Mitaro Namiki, Yutaka Ishikawa. 232-235 [doi]
• Energy-Efficient Management of DVFS-Enabled Integrated MicroprocessorsAmi Marowka. 236-239 [doi]
• A Performance Study of Consensus Algorithms in Omission and Crash-Recovery ScenariosChristian Fernández-Campusano, Roberto Cortiñas, Mikel Larrea. 240-243 [doi]
• Efficient Data Staging Using Performance-Based Adaptation and Policy-Based Resource AllocationAnn L. Chervenak, Alex Sim, Junmin Gu, Robert Schuler, Nandan Hirpathak. 244-247 [doi]
• Combining Error Detection and Transactional Memory for Energy-Efficient Computing below Safe Operation MarginsGulay Yalcin, Anita Sobe, Derin Harmanci, Alexey Voronin, Jons-Tobias Wamhoff, Pascal Felber, Osman S. Ünsal, Adrián Cristal, Christof Fetzer. 248-255 [doi]
• Density Classification in Asynchronous Random Networks with Faulty NodesAlexander Gogolev, Lucio Marcenaro. 256-261 [doi]
• Optimizing Message-Passing on Multicore Architectures Using Hardware Multi-threadingDaniele Buono, Tiziano De Matteis, Gabriele Mencagli, Marco Vanneschi. 262-270 [doi]
• Supporting the Development of Resilient Message Passing Applications Using SimulationThomas Naughton, Christian Engelmann, Geoffroy Vallée, Swen Böhm. 271-278 [doi]
• Afluentes Concurrent I/O Made Easy with Lazy EvaluationSaulo Medeiros de Araujo, Kiev Santos da Gama, Nelson Souto Rosa, Silvio Romero de Lemos Meira. 279-287 [doi]
• A Novel QoS-Aware Method Based on Resource Control and Management in NGN NetworksCherif Ghazel, Leïla Azouz Saïdane. 288-291 [doi]
• A Parallel EM Algorithm for Gaussian Mixture Models Implemented on a NUMA System Using OpenMPWojciech Kwedlo. 292-298 [doi]
• A Performance Comparison of Container-Based Virtualization Systems for MapReduce ClustersMiguel Gomes Xavier, Marcelo Veiga Neves, César Augusto Fonticielha De Rose. 299-306 [doi]
• Towards Load Balancing and Parallelizing of RDF Query Processing in P2P Based Distributed RDF Data StoresLiaquat Ali, Thomas Janson, Christian Schindelhauer. 307-311 [doi]
• Large Scale Data Processing in Ecology: A Case Study on Long-Term Underwater Video MonitoringSimone Palazzo, Concetto Spampinato, Daniela Giordano. 312-316 [doi]
• Device-Driven Metadata Management Solutions for Scientific Big Data Use CasesRichard Grunzke, Jürgen Hesser, Jürgen Starek, Nick Kepper, Sandra Gesing, Marcus Hardt, Volker Hartmann, Stephan Kindermann, Jan Potthoff, Michael Hausmann, Ralph Müller-Pfefferkorn, René Jäkel. 317-321 [doi]
• A Finite Volume Model for Dam-Break Floods with Wet-Dry Fronts on Non-uniform GridsSheng Bi, Jianzhong Zhou, Na Zhao, Huajie Zhang, Yue Zhao. 322-329 [doi]
• Lava Flow Modeling by the Sciara-Fv3 Parallel Numerical CodeDonato D'Ambrosio, William Spataro, Roberto Parise, Rocco Rongo, Giuseppe Filippone, Davide Spataro, Giulio Iovine, Davide Marocco. 330-338 [doi]
• Design and Classification of Ant MetaheuristicsNicolas Zufferey. 339-343 [doi]
• Analytical-Based High-Level Simulation of the Microthreaded Many-Core ArchitecturesM. Irfan Uddin, Raphael Poss, Chris R. Jesshope. 344-351 [doi]
• A Parallel Multilevel Spectral Galerkin Solver for Linear Systems with Uncertain ParametersMichael Schick. 352-359 [doi]
• An Experimental Analysis for Hardware Resource Management Using a New Strip Packing ProblemRika Ito, Naoyuki Fujita. 360-364 [doi]
• Iterative Solution on GPU of Linear Systems Arising from the A-V Edge-FEA of Time-Harmonic Electromagnetic PhenomenaAna F. P. Camargos, Viviane Cristine Silva, Jean-M. Guichon, Gerard Meunier. 365-371 [doi]
• Simulation of Aircraft Disembarking and Emergency EvacuationThemistoklis Giitsidis, Georgios Ch. Sirakoulis. 372-379 [doi]
• Cellular Automata Model Tuned for Efficient Computation on GPU with Global Memory CachePawel Topa. 380-383 [doi]
• Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-ChipNizar Dahir, Ghaith Tarawneh, Terrence S. T. Mak, Ra'ed Al-Dujaily, Alex Yakovlev. 384-391 [doi]
• Understanding the Data Traffic of Uncore in Westmere NUMA ArchitectureQiuming Luo, Chang Kong, Yuanyuan Zhou, Guoqiang Liu, Chengjian Liu. 392-399 [doi]
• Transaction-Based Online Debug for NoC-Based Multiprocessor SoCsMehdi Dehbashi, Görschwin Fey. 400-404 [doi]
• FT-RUFT: A Performance and Fault-Tolerant Efficient Indirect TopologyD. Bermúdez Garzón, C. Gomez, María Engracia Gómez, P. Lopez, José Duato. 405-409 [doi]
• An Exploration of Page Replication for NoC-Based On-Chip Distributed Memory SystemsWeiwei Fu, Mingmin Yuan, Tianzhou Chen, Li Liu. 410-417 [doi]
• Rediscovering Logarithmic Diameter Topologies for Low Latency Network-on-Chip-Based ApplicationsCarlo Condo, Maurizio Martina, Massimo Ruo Roch, Guido Masera. 418-423 [doi]
• Integration of AES on Heterogeneous Many-Core SystemHassan Anwar, Masoud Daneshtalab, Masoumeh Ebrahimi, Marco Ramírez, Juha Plosila, Hannu Tenhunen. 424-427 [doi]
• A Cluster-Based Approach to Consensus Based Distributed Task AllocationDarren Smith, Jodie Wetherall, Stephen R. Woodhead, Andrew A. Adekunle. 428-431 [doi]
• Latency Analysis of Network-on-Chip Based Many-Core ProcessorsSunil Kumar, Giuseppe Lipari. 432-439 [doi]
• An Opto-electrical NoC with Traffic Flow Prediction in Chip MultiprocessorsMillad Ghane, Mohammad Arjomand, Hamid Sarbazi-Azad. 440-443 [doi]
• Reducing the Communication of Message-Passing Systems Synthesized from Synchronous ProgramsDaniel Baudisch, Yu Bai, Klaus Schneider. 444-451 [doi]
• Multi Rectangle Modeling Approach for Application Mapping on a Many-Core SystemIgor Tcarenko, Mohammad Fattah, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen. 452-457 [doi]
• Mixed-Criticality Run-Time Task Mapping for NoC-Based Many-Core SystemsMohammad Fattah, Amir-Mohammad Rahmani, Thomas Canhao Xu, Anil Kanduri, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen. 458-465 [doi]
• Towards a Design Space Exploration Tool for MPSoC Platforms Designs: A Case StudyRomain Brillu, Sebastien Pillement, Fabrice Lemonnier, Philippe Millet, Eric Lenormand, Marc Bernot, Frédéric Falzon. 466-473 [doi]
• Writing Parallel Embedded Software EffectivelyRobbie Vincke, Nico De Witte, Sille Van Landschoot, Eric Steegmans, Jeroen Boydens. 474-477 [doi]
• SmartLoCore: A Concept for an Adaptive Power-Aware Localization ProcessorCarsten Tradowsky, Tobias Gädeke, Thomas Bruckschlögl, Wilhelm Stork, Klaus D. Müller-Glaser, Jürgen Becker. 478-481 [doi]
• Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud EnvironmentAdnan Ashraf, Ivan Porres. 482-489 [doi]
• Distributed Resource Allocation to Virtual Machines via Artificial Neural NetworksDorian Minarolli, Bernd Freisleben. 490-499 [doi]
• Energy-Efficient Virtual Machines Consolidation in Cloud Data Centers Using Reinforcement LearningFahimeh Farahnakian, Pasi Liljeberg, Juha Plosila. 500-507 [doi]
• Enhancing Throughput of Hadoop Distributed File System for Interaction-Intensive TasksXiayu Hua, Hao Wu, Shangping Ren. 508-511 [doi]
• Analytic Clock Frequency Selection for Global DVFSMarco E. T. Gerards, Johann L. Hurink, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit. 512-519 [doi]
• Emulating Asymmetric MPSoCs on the Intel SCC Many-Core ProcessorRoy Bakker, Michiel W. van Tol, Andy D. Pimentel. 520-527 [doi]
• Energy Consumption of Resilience Mechanisms in Large Scale SystemsBryan N. Mills, Taieb Znati, Rami G. Melhem, Kurt B. Ferreira, Ryan E. Grant. 528-535 [doi]
• Modeling CPU Energy Consumption of HPC Applications on the IBM POWER7Philipp Gschwandtner, Michael Knobloch, Bernd Mohr, Dirk Pleiter, Thomas Fahringer. 536-543 [doi]
• A Scenario Method to Automatically Assess ICT RiskFabrizio Baiardi, Fabio Corò, Federico Tonelli, Daniele Sgandurra. 544-551 [doi]
• Monitoring Security Compliance of Critical ProcessesRoland Rieke, Jürgen Repp, Maria Zhdanova, Jörn Eichler. 552-560 [doi]
• Security Metrics Based on Attack Graphs for the Olympic Games ScenarioIgor Kotenko, Elena Doynikova, Andrey Chechulin. 561-568 [doi]
• An Enhanced Secure Pairwise Broadcast Time Synchronization Protocol in Wireless Sensor NetworksChafika Benzaid, Amin Saiah, Nadjib Badache. 569-573 [doi]
• Creation of a Fuzzy Knowledge Base for Adaptive Security SystemsPhilipp Nesteruk, Lesya Nesteruk, Igor Kotenko. 574-577 [doi]
• Accelerating Bowtie2 with a lock-less concurrency approach and memory affinityClaudia Misale. 578-585 [doi]
• A Parallel Algorithm for the Best k-Mismatches Alignment ProblemCristian Del Fabbro, Fabio Tardivo, Alberto Policriti. 586-589 [doi]
• Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPUMatteo Bellini, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Marco S. Nobile. 590-593 [doi]
• FRODRUG: A Virtual Screening GPU Accelerated Approach for Drug DiscoverySantiago Garcia Sanchez, Erney Ramirez Aportela, José Ignacio Garzón, Pablo Chacón, Antonio S. Montemayor, Raúl Cabido. 594-600 [doi]
• GPU-Based Simulation of Yeast Cell FlocculationMatthias Leinweber, Patrick Bitter, Stefan Brueckner, Hans-Ulrich Moesch, Peter Lenz, Bernd Freisleben. 601-608 [doi]
• A CUDA Implementation of the Spatial TAU-Leaping in Crowded Compartments (STAUCC) SimulatorGiulia Pasquale, Carlo Maj, Andrea Clematis, Ettore Mosca, Luciano Milanesi, Ivan Merelli, Daniele D'Agostino. 609-616 [doi]
• HPC Applications Deployment on Distributed Heterogeneous Computing Platforms via OMF, OML and P2PDCDidier El Baz, The Tung Nguyen, Guillaume Jourjon, Thierry Rakotoarivelo. 617-623 [doi]
• FuzzyGPU: A Fuzzy Arithmetic Library for GPUDavid Defour, Manuel Marin. 624-631 [doi]
• Fast Diameter Computation of Large Sparse Graphs Using GPUsGiso H. Dal, Walter A. Kosters, Frank W. Takes. 632-639 [doi]
• GPU-Based Computing of Repeated Range Queries over Moving ObjectsClaudio Silvestri, Francesco Lettich, Salvatore Orlando, Christian S. Jensen. 640-647 [doi]
• A GPU Implementation of Parallel Constraint-Based Local SearchAlejandro Arbelaez, Philippe Codognet. 648-655 [doi]
• Performance Evaluation of OpenACC CompilersLucas Grillo, Ruymán Reyes, Francisco de Sande. 656-663 [doi]
• GPU Implementation of Inverse Iteration Algorithm for Computing EigenvectorsHiroyuki Ishigami, Kinji Kimura, Yoshimasa Nakamura. 664-671 [doi]
• A Portable and High-Performance General Matrix-Multiply (GEMM) Library for GPUs and Single-Chip CPU/GPU SystemsRahul Garg, Laurie J. Hendren. 672-680 [doi]
• A Class-Structured Approach to Couple Application and Hybrid Core ParallelismJames A. Ross, David A. Richie, Song Jun Park, Dale R. Shires, Brian J. Henz. 681-687 [doi]
• Self-Adaptive Monitors for Multiparty SessionsMario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. 688-696 [doi]
• Partially-Distributed Coordination with ReoSung-Shik T. Q. Jongmans, Francesco Santini, Farhad Arbab. 697-706 [doi]
• Pabble: Parameterised Scribble for Parallel ProgrammingNicholas Ng, Nobuko Yoshida. 707-714 [doi]
• Location Independent Routing in Process Network OverlaysMads Dam, Karl Palmskog. 715-724 [doi]
• Formal Specifications for Java's Synchronisation ClassesAfshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski. 725-733 [doi]
• System Level Formal Verification via Distributed Multi-core Hardware in the Loop SimulationToni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. 734-742 [doi]
• Towards a Formal Approach to Mobile Cloud ComputingMichele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi. 743-750 [doi]
• Distributed Lazy Evaluation: A Big-Step Mechanised SemanticsSeyed H. Haeri, Sibylle Schupp. 751-755 [doi]
• Model Checking Parallel Programs with InputsJiri Barnat, Petr Bauch, Vojtech Havel. 756-759 [doi]
• Distributed NoninterferenceAna Almeida Matos, Jan Cederquist. 760-764 [doi]