Table of Contents

• Heterogeneous Acceleration of Volumetric JPEG 2000Jan G. Cornelis, Jan Lemeire, Tim Bruylants, Peter Schelkens. 1-8 [doi]
• Locality vs. Balance: Exploring Data Mapping Policies on NUMA SystemsMatthias Diener, Eduardo Henrique Molina da Cruz, Philippe Olivier Alexandre Navaux. 9-16 [doi]
• On the Impact of Energy-Efficient Strategies in HPC ClustersFabio D. Rossi, Miguel G. Xavier, Yuri J. Monti, César A. F. De Rose. 17-21 [doi]
• Row Tables: Design Choices to Exploit Bank Locality in Multiprogram WorkloadsPaula Navarro, Vicent Selfa, Julio Sahuquillo, María Engracia Gómez, Crispín Gómez Requena. 22-26 [doi]
• A Monitoring System for Runtime Adaptations of Streaming ApplicationsManuel Selva, Lionel Morel, Kevin Marquet, Stéphane Frénot. 27-34 [doi]
• A Weighted Fat-Tree Routing Algorithm for Efficient Load-Balancing in Infini Band Enterprise ClustersFeroz Zahid, Ernst Gunnar Gran, Bartosz Bogdanski, Bjørn Dag Johnsen, Tor Skeie. 35-42 [doi]
• Marching Band: Fault-Tolerance with Replicable Message Delivery OrderArkadiusz Danilecki. 43-47 [doi]
• XORAdap: A HoL-Blocking Aware Adaptive Routing AlgorithmRoberto Peñaranda, Crispín Gómez Requena, Maria Engracia Gomez, Pedro Lopez. 48-52 [doi]
• Extending a Peer-Based Coordination Model with Composable Design Patternseva Kühn, Stefan Craß, Gerald Schermann. 53-61 [doi]
• Application-Agnostic Framework for Improving the Energy Efficiency of Multiple HPC SubsystemsGhislain Landry Tsafack Chetsa, Laurent Lefèvre, Jean-Marc Pierson, Patricia Stolf, Georges Da Costa. 62-69 [doi]
• Selecting Points of Interest in Traces Using Patterns of EventsFrançois Trahay, Elisabeth Brunet, Mohamed Mosli Bouksiaa, Jianwei Liao. 70-77 [doi]
• RaceChecker: Efficient Identification of Harmful Data RacesKai Lu, Zhendong Wu, Xiaoping Wang, Chen Chen, Xu Zhou. 78-85 [doi]
• Cost Estimation of Parallel Constrained Producer-Consumer AlgorithmsTariq Kamal, Keith R. Bisset, Ali Raza Butt, Madhav V. Marathe. 86-93 [doi]
• On the Quality of Implementation of the C++11 Thread Support LibraryPeter Thoman, Philipp Gschwandtner, Thomas Fahringer. 94-98 [doi]
• NanoCheckpoints: A Task-Based Asynchronous Dataflow Framework for Efficient and Scalable Checkpoint/RestartJavier Arias Moreno, Osman S. Unsal, Jesús Labarta, Adrián Cristal. 99-102 [doi]
• Energy Driven Adaptivity in Stream Parallel ComputationsMarco Danelutto, Daniele De Sensi, Massimo Torquati. 103-110 [doi]
• A Vector Implementation of Gaussian Elimination over GF(2): Exploring the Design-Space of Strassen's Algorithm as a Case StudyEnric Morancho. 111-118 [doi]
• Enhancing and Evaluating the Configuration Capability of a Skeleton for Irregular ComputationsCarlos H. Gonzalez, Basilio B. Fraguela. 119-127 [doi]
• Number of Tasks, not Threads, is KeyAshkan Tousimojarad, Wim Vanderbauwhede. 128-136 [doi]
• Performance Evaluation of Parallel HEVC StrategiesGeorgios Georgakarakos, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk. 137-144 [doi]
• A Hybrid Parallel Implementation of Model Selection for Support Vector MachinesGiuseppe Ripepi, Andrea Clematis, Daniele D'Agostino. 145-149 [doi]
• Methodologies and Performance Metrics to Evaluate Multiprogram WorkloadsVicent Selfa, Julio Sahuquillo, Crispín Gómez Requena, María Engracia Gómez. 150-154 [doi]
• pioman: A Pthread-Based Multithreaded Communication EngineAlexandre Denis. 155-162 [doi]
• Progression of MPI Non-blocking Collective Operations Using Hyper-ThreadingMasahiro Miwa, Kohta Nakashima. 163-171 [doi]
• Optimized Core-Links for Low-Latency NoCsRyuta Kawano, Seiichi Tade, Ikki Fujiwara, Hiroki Matsutani, Hideharu Amano, Michihiro Koibuchi. 172-176 [doi]
• Channel Interface: A Primitive Model for Memory Efficient CommunicationTakeshi Nanri, Takeshi Soga, Yuichiro Ajima, Yoshiyuki Morie, Hiroaki Honda, Taizo Kobayashi, Toshiya Takami, Shinji Sumimoto. 177-181 [doi]
• The Tag Filter Cache: An Energy-Efficient ApproachJoan J. Valls, Julio Sahuquillo, Alberto Ros, María Engracia Gómez. 182-189 [doi]
• TFluxSCC: Exploiting Performance on Future Many-Core Systems through Data-FlowAndreas Diavastos, Giannos Stylianou, Pedro Trancoso. 190-198 [doi]
• Efficient Implementation of a Fast Viewshed Algorithm on SIMD ArchitecturesJesua Carabano Bravo, Tapani Sarjakoski, Jan Westerholm. 199-202 [doi]
• A High-Performance Media Streaming Architecture Based on KVMWoo-Yeong Jeong, Youngjae Lee, Jin-Soo Kim. 203-206 [doi]
• An Efficient Algorithm for Communication-Based Task MappingEduardo Henrique Molina da Cruz, Matthias Diener, Laércio Lima Pilla, Philippe Olivier Alexandre Navaux. 207-214 [doi]
• Bit-Flip Aware Control-Flow Error DetectionGhazaleh Nazarian, Diego G. Rodrigues, Álvaro F. Moreira, Luigi Carro, Georgi Gaydadjiev. 215-221 [doi]
• I/O Optimization in the Checkpointing of OpenMP Parallel ApplicationsNuria Losada, María J. Martín, Gabriel Rodríguez, Patricia González. 222-229 [doi]
• An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability ProblemHassan A. Youness, Aziza Ibraheim, Mohammed Moness, Muhammad Osama. 230-235 [doi]
• Algorithms for Mapping Parallel Processes onto Grid and Torus ArchitecturesRoland Glantz, Henning Meyerhenke, Alexander Noe. 236-243 [doi]
• Parallel Implementations of the Particle Filter Algorithm for Android Mobile DevicesAlejandro Acosta, Francisco Almeida. 244-247 [doi]
• Efficient Lock-Free Work-Stealing Iterators for Data-Parallel CollectionsAleksandar Prokopec, Dmitry Petrashko, Martin Odersky. 248-252 [doi]
• A Performance Isolation Analysis of Disk-Intensive Workloads on Container-Based CloudsMiguel G. Xavier, Israel C. De Oliveira, Fabio D. Rossi, Robson D. Dos Passos, Kassiano J. Matteussi, César A. F. De Rose. 253-260 [doi]
• Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic RefugingHiroaki Akutsu, Kazunori Ueda, Takeru Chiba, Tomohiro Kawaguchi, Norio Shimozono. 261-268 [doi]
• Using Active Data to Provide Smart Data Surveillance to E-Science UsersAnthony Simonet, Kyle Chard, Gilles Fedak, Ian T. Foster. 269-273 [doi]
• A Hadoop-Based Framework for Large-Scale Landmine Detection Using Ubiquitous Big Satellite Imaging DataSahar El-Kazzaz, Ahmed El-Mahdy. 274-278 [doi]
• Solutions for Processing K Nearest Neighbor Joins for Massive Data on MapReduceGe Song, Justine Rochas, Fabrice Huet, Frédéric Magoules. 279-287 [doi]
• Experiences of Using Cassandra for Molecular Dynamics SimulationsRoger Hernandez, Cesare Cugnasco, Yolanda Becerra, Jordi Torres, Eduard Ayguadé. 288-295 [doi]
• Exploiting Local Clouds in the Internet of Everything EnvironmentFrancisco Javier Nieto de Santos, Sergio García Villalonga. 296-300 [doi]
• Color and Edge Directivity Descriptor on GPGPUChryssanthi Iakovidou, Loukas Bampis, Savvas A. Chatzichristofis, Yiannis S. Boutalis, Angelos Amanatiadis. 301-308 [doi]
• Human and Fire Detection from High Altitude UAV ImagesThemistoklis Giitsidis, E. G. Karakasis, Antonios Gasteratos, Georgios Ch. Sirakoulis. 309-315 [doi]
• CUDA Dynamic Active Thread List Strategy to Accelerate Debris Flow SimulationsGiuseppe Filippone, William Spataro, Donato D'Ambrosio, Davide Spataro, Davide Marocco, Giuseppe A. Trunfio. 316-320 [doi]
• Evaluating the Performance Impact of Communication Imbalance in Sparse Matrix-Vector MultiplicationGladys Utrera, Marisa Gil, Xavier Martorell. 321-328 [doi]
• Strategies for Parallelizing Swarm Intelligence AlgorithmsFranco Cicirelli, Gianluigi Folino, Agostino Forestiero, Andrea Giordano, Carlo Mastroianni, Giandomenico Spezzano. 329-336 [doi]
• Load Balance Strategies for DEVS Approximated Parallel and Distributed Discrete-Event SimulationsAlonso Inostrosa-Psijas, Veronica Gil Costa, Roberto Solar, Mauricio Marín. 337-340 [doi]
• Parallel Implementation of Fuzzified Pattern Matching Algorithm on GPUShima Soroushnia, Masoud Daneshtalab, Tapio Pahikkala, Juha Plosila. 341-344 [doi]
• DeFrag: Defragmentation for Efficient Runtime Resource Allocation in NoC-Based Many-core SystemsJim Ng, Xiaohang Wang, Amit Kumar Singh, Terrence S. T. Mak. 345-352 [doi]
• Dynamic Guaranteed Service Communication on Best-Effort Networks-on-ChipPeter Munk, Matthias Freier, Jan Richling, Jian-Jia Chen. 353-360 [doi]
• Concentration and Its Impact on Mesh and Torus-Based NoC PerformanceSamia Loucif. 361-364 [doi]
• A Routing-Level Solution for Fault Detection, Masking, and Tolerance in NoCsXiaofan Zhang, Masoumeh Ebrahimi, Letian Huang, Guangjun Li, Axel Jantsch. 365-369 [doi]
• Multicast On-chip Traffic Analysis Targeting Manycore NoC DesignSergi Abadal, Albert Mestres, Raul Martinez, Eduard Alarcón, Albert Cabellos-Aparicio, Raul Martinez. 370-378 [doi]
• Fault Tolerant Routing for Hierarchically Organized Networks-on-ChipGert Schley, Martin Radetzki. 379-386 [doi]
• Implementing MVC Decoding on Homogeneous NoCs: Circuit Switching or Wormhole SwitchingNing Ma, Zhuo Zou, Zhonghai Lu, Li-Rong Zheng. 387-391 [doi]
• An Adaptive, Low Restrictive and Fault Resilient Routing Algorithm for 3D Network-on-ChipRonak Salamat, Masoumeh Ebrahimi, Nader Bagherzadeh. 392-395 [doi]
• MACRON: The NoC-Based Many-Core Parallel Processing Platform and Its Applications in 4G Communication SystemsXiang Ling, Yiou Chen, Zhiliang Yu, Shihua Chen, Xiaodong Wang, Gui Liang. 396-403 [doi]
• Preprocessing of Scenarios for Fast and Efficient Routing Reconfiguration in Fault-Tolerant NoCsJarbas Silveira, César A. M. Marcon, Paulo Cortez, Giovanni Cordeiro Barroso, Joao Marcelo Ferreira, Rafael Mota. 404-411 [doi]
• Modeling an Improved Modified Type in Metallic Quantum-Dot Fixed Cell for Nano Structure ImplementationSamira Sayedsalehi, Arman Roohi. 412-415 [doi]
• Derivation of Parallel and Resilient Programs from Simulink ModelsSergey Ostroumov, Pontus Boström, Marina A. Waldén. 416-420 [doi]
• Dynamic Application Mapping Algorithm for Wireless Network-on-ChipAmin Rezaei, Masoud Daneshtalab, Danella Zhao, Farshad Safaei, Xiaohang Wang, Masoumeh Ebrahimi. 421-424 [doi]
• A Clustered GALS NoC Architecture with Communication-Aware MappingKazem Cheshmi, S. Mohammadi, Daniel Versick, Djamshid Tavangarian, Jelena Trajkovic. 425-429 [doi]
• A Green Perspective on Structured Parallel ProgrammingMarco Danelutto, Massimo Torquati, Peter Kilpatrick. 430-437 [doi]
• Multi-kernel Auto-Tuning on GPUs: Performance and Energy-Aware OptimizationJoão Guerreiro, Aleksandar Ilic, Nuno Roma, Pedro Tomás. 438-445 [doi]
• Mutual Influence of Application- and Platform-Level Adaptations on Energy-Efficient ComputingKateryna Rybina, Waltenegus Dargie, René Schöne, Somayeh Malakuti. 446-450 [doi]
• System-Level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed ApplicationsMarion Guthmuller, Martin Quinson, Gabriel Corona. 451-458 [doi]
• Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent ProcessesHugues Evrard, Frédéric Lang. 459-466 [doi]
• Causal-Consistent Reversibility in a Tuple-Based LanguageElena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. 467-475 [doi]
• SyLVaaS: System Level Formal Verification as a ServiceToni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. 476-483 [doi]
• Revisiting Concurrent Separation Logic and Operational SemanticsPedro Soares, António Ravara, Simão Melo de Sousa. 484-491 [doi]
• pNets: An Expressive Model for Parameterised Networks of ProcessesLudovic Henrio, Eric Madelaine, Min Madelaine. 492-496 [doi]
• A Scheduling Strategy Based on Redundancy of Service Requests on IaaS ProvidersCristiano C. A. Vieira, Luiz F. Bittencourt, Edmundo R. M. Madeira. 497-504 [doi]
• Cost-Efficient, Utility-Based Caching of Expensive Computations in the CloudBenjamin Byholm, Fareed Jokhio, Adnan Ashraf, Sébastien Lafond, Johan Lilius, Ivan Porres. 505-513 [doi]
• Design of a Cloud Service Middleware to Utilize Free Minutes of Public Cloud ResourcesSunirmal Khatua, Nandini Mukherjee. 514-519 [doi]
• Optimizing OLAP Cubes Construction by Improving Data Placement on Multi-nodes ClustersBillel Arres, Nadia Kabachi, Omar Boussaid. 520-524 [doi]
• Accurate Energy Modelling for Many-Core Static SchedulesSimon Holmbacka, Jörg Keller 0001, Patrick Eitschberger, Johan Lilius. 525-532 [doi]
• DVFS Governor for HPC: Higher, Faster, GreenerGeorges Da Costa, Jean-Marc Pierson. 533-540 [doi]
• Energy-Efficient Task Scheduling in Manycore Processors with Frequency Scaling OverheadPatrick Eitschberger, Jörg Keller 0001. 541-548 [doi]
• Energy-Aware Migration of Virtual Machines Driven by Predictive Data Mining ModelsAlbino Altomare, Eugenio Cesario, Domenico Talia. 549-553 [doi]
• Energy Measurement Library (EML) Usage and Overhead AnalysisAlberto Cabrera, Francisco Almeida, Javier Arteaga, Vicente Blanco Pérez. 554-558 [doi]
• Design of Integrated Vulnerabilities Database for Computer Networks Security AnalysisAndrey Fedorchenko, Igor V. Kotenko, Andrey Chechulin. 559-566 [doi]
• Countermeasure Selection in SIEM Systems Based on the Integrated Complex of Security MetricsIgor V. Kotenko, Elena Doynikova. 567-574 [doi]
• Enabling Secure Communication over Existing Peer-to-Peer FrameworksAndreas Reiter. 575-582 [doi]
• Design and Development of a Facebook Application to Raise Privacy AwarenessGianpiero Costantino, Daniele Sgandurra. 583-586 [doi]
• A Formal Model of Policy ReconciliationCataldo Basile, Antonio Lioy, Christian Pitscheider, Shilong Zhao. 587-594 [doi]
• Iterative Selection of Cost-Effective Countermeasures for Intelligent Threat AgentsFabrizio Baiardi, Federico Tonelli, Alessandro Bertolini, Roberto Bertolotti. 595-599 [doi]
• Review of the Mobile Malware Detection ApproachesAnastasia Skovoroda, Dennis Gamayunov. 600-603 [doi]
• Lattice Boltzmann Simulations at Petascale on Multi-GPU Systems with Asynchronous Data Transfer and Strictly Enforced Memory Read AlignmentFredrik Robertsen, Jan Westerholm, Keijo Mattila. 604-609 [doi]
• A Generic and Highly Efficient Parallel Variant of Boruvka's AlgorithmCristiano da Silva Sousa, Artur Mariano, Alberto Proença. 610-617 [doi]
• Execution of Dataflow Process Networks on OpenCL PlatformsWictor Lund, Sudeep Kanur, Johan Ersfolk, Leonidas Tsiopoulos, Johan Lilius, Joakim Haldin, Ulf Falk. 618-625 [doi]
• Optimality of Fundamental Parallel Algorithms on the Hierarchical Memory Machine, with GPU ImplementationKoji Nakano, Yasuaki Ito. 626-634 [doi]
• An Application of GPU Parallel Computing to Power Flow Calculation in HVDC NetworksPrzemyslaw Blaskiewicz, Marcin Zawada, Przemyslaw Balcerek, Pawel Dawidowski. 635-641 [doi]
• Fast Implementation of General Matrix-Vector Multiplication (GEMV) on Kepler GPUsDaichi Mukunoki, Toshiyuki Imamura, Daisuke Takahashi. 642-650 [doi]
• A Practical Performance Model for Compute and Memory Bound GPU KernelsElias Konstantinidis, Yiannis Cotronis. 651-658 [doi]
• Revealing Potential Performance Improvements by Utilizing Hybrid Work-Sharing for Resource-Intensive Seismic ApplicationsPatrick Siegl, Rainer Buchty, Mladen Berekovic. 659-663 [doi]
• A Flexible and Portable Large-Scale DGEMM Library for Linpack on Next-Generation Multi-GPU SystemsDavid Rohr, Volker Lindenstruth. 664-668 [doi]
• Real-Time Simulation of Radiological Images Using CUDA TechnologyElena Gianaria, Elena Gallio. 669-673 [doi]
• Ctherm: An Integrated Framework for Thermal-Functional Co-simulation of Systems-on-ChipSumeet S. Kumar, Amir Zjajo, René van Leuken. 674-681 [doi]
• Embedded Hypervisor Xvisor: A Comparative AnalysisAnup Patel, Mai Daftedar, Mohamed Shalan, M. Watheq El-Kharashi. 682-691 [doi]
• Simultaneous Optimisation of Task Mapping and Priority Assignment for Real-Time Embedded NoCsM. Norazizi Sham Mohd Sayuti, Leandro Soares Indrusiak. 692-695 [doi]
• A Formal Specification and Prototyping Language for Multi-core System ManagementAlexei Iliasov, Ashur Rafiev, Fei Xia, R. Gensh, Alexander Romanovsky, Alexandre Yakovlev. 696-700 [doi]
• Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow GraphsHazem Ismail Ali, Benny Akesson, Luís Miguel Pinho. 701-710 [doi]
• A Hybrid Scheduling Algorithm Based on Self-Timed and Periodic Scheduling for Embedded Streaming ApplicationsAmira Dkhil, XuanKhanh Do, Stéphane Louise, Christine Rochange. 711-715 [doi]
• Impact of Data Sharing on Co-Running Embedded Applications in Multi-core SystemAnna Korotaeva, Wolfgang Nebel. 716-720 [doi]
• Portable Framework for Real-Time Parallel Image Processing on High Performance Embedded PlatformsClemens Eisserer. 721-724 [doi]
• Parallel Exploration of the Nuclear Chromosome Conformation with NuChart-IIFabio Tordini, Maurizio Drocco, Claudia Misale, Luciano Milanesi, Pietro Liò, Ivan Merelli, Marco Aldinucci. 725-732 [doi]
• Integrating Data-Intensive Computing Systems with Biological Data Analysis FrameworksEdvard Pedersen, Inge Alexander Raknes, Martin Ernstsen, Lars Ailo Bongo. 733-740 [doi]
• Memory-Optimised Parallel Processing of Hi-C DataMaurizio Drocco, Claudia Misale, Guilherme Peretti Pezzi, Fabio Tordini, Marco Aldinucci. 741-746 [doi]
• Towards Parallel Large-Scale Genomic Prediction by Coupling Sparse and Dense Matrix AlgebraArne De Coninck, Drosos Kourounis, Fabio Verbosio, Olaf Schenk, Bernard De Baets, Steven Maenhout, Jan Fostier. 747-750 [doi]
• FIST: A Framework to Interleave Spiking Neural Networks on CGRAsTuan Ngyen, Syed M. A. H. Jafri, Masoud Daneshtalab, Ahmed Hemani, Sergei Dytckov, Juha Plosila, Hannu Tenhunen. 751-758 [doi]
• Lightweight ICT Approaches to Hydro-Meteorological Data IssuesAlfonso Quarati, Andrea Clematis, Giacomo Paschina, Antonio Parodi, Tatiana Bedrina. 759-763 [doi]