The Community for Technology Leaders
16th Euromicro Conference on Parallel, Distributed and Network-Based Processing (PDP 2008) (2014)
Torino, Italy Italy
Feb. 12, 2014 to Feb. 14, 2014
ISSN: 1066-6192
TABLE OF CONTENTS

Cover Art (PDF)

pp. C4

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Copyright Page (PDF)

pp. iv

Table of contents (PDF)

pp. v-xiv

Organization (PDF)

pp. xviii-xxii

Parallelized Clustering of Protein Structures on CUDA-Enabled GPUs (Abstract)

Hoang-Vu Dang , Inst. fur Inf., Johannes Gutenberg-Univ. Mainz, Mainz, Germany
Bertil Schmidt , Inst. fur Inf., Johannes Gutenberg-Univ. Mainz, Mainz, Germany
Andreas Hildebrandt , Inst. fur Inf., Johannes Gutenberg-Univ. Mainz, Mainz, Germany
Anna Katharina Hildebrandt , Center for Bioinf., Saarland Univ., Saarbrücken, Germany
pp. 1-8

Gossip Strategies for Service Composition (Abstract)

Angelo Furno , Dept. of Eng., Univ. of Sannio, Benevento, Italy
Eugenio Zimeo , Dept. of Eng., Univ. of Sannio, Benevento, Italy
pp. 27-35

Loop Parallelism: A New Skeleton Perspective on Data Parallel Patterns (Abstract)

Marco Danelutto , Dept. of Comput. Sci., Univ. of Pisa, Pisa, Italy
Massimo Torquati , Dept. of Comput. Sci., Univ. of Pisa, Pisa, Italy
pp. 52-59

Performance Analysis of Paralldroid Generated Programs (Abstract)

Alejandro Acosta , La Laguna Univ., La Laguna, Spain
Francisco Almeida , La Laguna Univ., La Laguna, Spain
pp. 60-67

An Efficient Barrier Implementation for OpenMP-Like Parallelism on the Intel SCC (Abstract)

Hayder Al-Khalissi , Chip-Design for Embedded Syst., Tech. Univ. Braunschweig, Braunschweig, Germany
Syed Abbas Ali Shah , Chip-Design for Embedded Syst., Tech. Univ. Braunschweig, Braunschweig, Germany
Mladen Berekovic , Chip-Design for Embedded Syst., Tech. Univ. Braunschweig, Braunschweig, Germany
pp. 76-83

Evaluating the Impact of Transactional Characteristics on the Performance of Transactional Memory Applications (Abstract)

Fernando Rui , GMAP Res. Group, PUCRS, Porto Alegre, Brazil
Marcio Castro , Inst. of Inf., Fed. Univ. of Rio Grande do Sul (UFRGS), Porto Alegre, Brazil
Dalvan Griebler , GMAP Res. Group, PUCRS, Porto Alegre, Brazil
Luiz Gustavo Fernandes , GMAP Res. Group, PUCRS, Porto Alegre, Brazil
pp. 93-97

Hierarchical Network Coding for Collective Communication on HPC Interconnects (Abstract)

Ahmed Shalaby , Egypt-Japan Univ. of Sci. & Technol. (E-JUST), Alexandria, Egypt
Mohamed El-Sayed Ragab , Egypt-Japan Univ. of Sci. & Technol. (E-JUST), Alexandria, Egypt
Victor Goulart , Center for Japan-Egypt Cooperation in Sci. & Technol., Fukuoka, Japan
Ikki Fujiwara , Nat. Inst. of Inf., Tokyo, Japan
Michihiro Koibuchi , Nat. Inst. of Inf., Tokyo, Japan
pp. 98-102

Hybrid Classification of Resistors through Image Processing (Abstract)

Romina Molina , Nat. Univ. of San Luis, San Luis, Argentina
Pablo Federigi , Nat. Univ. of San Luis, San Luis, Argentina
Veronica Gil-Costa , UNSL, San Luis, Argentina
A. Marcela Printista , UNSL, San Luis, Argentina
pp. 103-106

Scalable Parallel I/O on a Blue Gene/Q Supercomputer Using Compression, Topology-Aware Data Aggregation, and Subfiling (Abstract)

Huy Bui , Electron. Visualization Lab., Univ. of Illinois at Chicago, Chicago, IL, USA
Hal Finkel , Electron. Visualization Lab., Univ. of Illinois at Chicago, Chicago, IL, USA
Venkatram Vishwanath , Argonne Nat. Lab., Argonne, IL, USA
Salma Habib , Argonne Nat. Lab., Argonne, IL, USA
Katrin Heitmann , Argonne Nat. Lab., Argonne, IL, USA
Jason Leigh , Argonne Nat. Lab., Argonne, IL, USA
Michael Papka , Argonne Nat. Lab., Argonne, IL, USA
Kevin Harms , Argonne Nat. Lab., Argonne, IL, USA
pp. 107-111

Multi-homed Fat-Tree Routing with InfiniBand (Abstract)

Bartosz Bogdanski , Oracle Corp., Oslo, Norway
Bjorn Dag Johnsen , Oracle Corp., Oslo, Norway
Sven-Arne Reinemo , Simula Res. Lab., Lysaker, Norway
pp. 122-129

Message Passing on InfiniBand RDMA for Parallel Run-Time Supports (Abstract)

Alessandro Secco , Dept. of Comput. Sci., Univ. of Torino, Turin, Italy
Irfan Uddin , Dept. of Comput. Sci., Univ. of Torino, Turin, Italy
Guilherme Peretti Pezzi , Dept. of Comput. Sci., Univ. of Torino, Turin, Italy
Massimo Torquati , Comput. Sci. Deptartment, Univ. of Pisa, Pisa, Italy
pp. 130-137

Multi-job Meta-brokering in Distributed Computing Infrastructures Using Pliant Logic (Abstract)

Attila Kertesz , Inst. for Comput. Sci. & Control, MTA SZTAKI, Budapest, Hungary
Gergo Maros , Software Eng. Dept., Univ. of Szeged, Szeged, Hungary
Jozsef Daniel Dombi , Software Eng. Dept., Univ. of Szeged, Szeged, Hungary
pp. 138-145

TinyLFU: A Highly Efficient Cache Admission Policy (Abstract)

Gil Einziger , Comput. Sci. Dept., Technion - Israel Inst. of Technol., Haifa, Israel
Roy Friedman , Comput. Sci. Dept., Technion - Israel Inst. of Technol., Haifa, Israel
pp. 146-153

Efficient Parallel Self-Reconfiguration Algorithm for MEMS Microrobots (Abstract)

Hicham Lakhlef , DISC, Univ. of Franche-Comte, Montbeliard, France
Hakim Mabed , DISC, Univ. of Franche-Comte, Montbeliard, France
Julien Bourgeois , DISC, Univ. of Franche-Comte, Montbeliard, France
pp. 154-161

Event-Oriented Focal Weight-Based Clustering for Environmental Wireless Sensor Networks (Abstract)

Olga Zlydareva , CLARITY: Centre for Sensor Web Technol., UCD, Dublin, Ireland
Bart F. Masterson , Sch. of Biomol. & Biomed. Sci., UCD, Dublin, Ireland
Wim G. Meijer , Sch. of Biomol. & Biomed. Sci., UCD, Dublin, Ireland
John J. O'Sullivan , Sch. of Civil, Struct. & Environ. Eng., UCD, Dublin, Ireland
Gregory M. P. O'Hare , CLARITY: Centre for Sensor Web Technol., UCD, Dublin, Ireland
pp. 170-173

Selective Extension of Routing Algorithms Based on Turn Model (Abstract)

Yongqing Wang , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Liquan Xiao , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Sheng Ma , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Zhengbin Pang , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
Kefei Wang , Coll. of Comput., Nat. Univ. of Defense Technol., Changsha, China
pp. 174-177

An Effective Distributed D&C Approach for the Satisfiability Problem (Abstract)

Gilles Audemard , CRIL, Univ. Lille-Nord de France, Lens, France
Benoit Hoessen , CRIL, Univ. Lille-Nord de France, Lens, France
Said Jabbour , CRIL, Univ. Lille-Nord de France, Lens, France
Cedric Piette , CRIL, Univ. Lille-Nord de France, Lens, France
pp. 183-187

Supporting Elasticity in OpenMP Applications (Abstract)

Guilherme Galante , Dept. of Inf., Fed. Univ. of Parana, Curitiba, Brazil
Luis C. E. Bona , Dept. of Inf., Fed. Univ. of Parana, Curitiba, Brazil
pp. 188-195

General Hybrid Parallel Profiling (Abstract)

Allen D. Malony , Dept. of Comput. & Inf. Sci., Univ. Oregon, Eugene, OR, USA
Kevin Huck , Performance Res. Lab., Univ. of Oregon, Eugene, OR, USA
pp. 204-212

The WNoDeS Cloud Virtualization Framework: A Macromolecular Surface Analysis Application Case Study (Abstract)

Elisabetta Ronchieri , CNAF, INFN, Bologna, Italy
Daniele Cesini , CNAF, INFN, Bologna, Italy
Daniele D'Agostino , IMATI, Genoa, Italy
Vincenzo Ciaschini , CNAF, INFN, Bologna, Italy
Gianni Dalla Torre , CNAF, INFN, Bologna, Italy
Paolo Cozzi , ITB, Segrate, Italy
Davide Salomoni , CNAF, INFN, Bologna, Italy
Andrea Clematis , IMATI, Genoa, Italy
Luciano Milanesi , ITB, Segrate, Italy
Ivan Merelli , ITB, Segrate, Italy
pp. 218-222

Compute Intensive Algorithm on Heterogeneous System: A Case Study about Fourier Transform (Abstract)

Antonella Galizia , Inst. for Appl. Math. & Inf. Technol., Genoa, Italy
Emanuele Danovaro , Inst. for Appl. Math. & Inf. Technol., Genoa, Italy
Giuseppe Ripepi , Inst. for Appl. Math. & Inf. Technol., Genoa, Italy
Andrea Clematis , Inst. for Appl. Math. & Inf. Technol., Genoa, Italy
pp. 223-227

Extremal Optimization with Guided State Changes in Load Balancing of Distributed Programs (Abstract)

Ivanoe De Falco , Inst. of High-Performance Comput. & Networking, Naples, Italy
Eryk Laskowski , Inst. of Comput. Sci., Warsaw, Poland
Richard Olejnik , Comput. Sci. Lab. of Lille, Univ. of Sci. & Technol. of Lille, Lille, France
Umberto Scafuri , Inst. of High-Performance Comput. & Networking, Naples, Italy
Ernesto Tarantino , Inst. of High-Performance Comput. & Networking, Naples, Italy
Marek Tudruj , Inst. of Comput. Sci., Warsaw, Poland
pp. 228-231

Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System (Abstract)

Yuichi Tsujita , RIKEN AICS, Wako, Japan
Kazumi Yoshinaga , RIKEN AICS, Wako, Japan
Atsushi Hori , RIKEN AICS, Wako, Japan
Mikiko Sato , Tokyo Univ. of Agric. & Technol., Tokyo, Japan
Mitaro Namiki , Tokyo Univ. of Agric. & Technol., Tokyo, Japan
Yutaka Ishikawa , Univ. of Tokyo, Tokyo, Japan
pp. 232-235

Energy-Efficient Management of DVFS-Enabled Integrated Microprocessors (Abstract)

Ami Marowka , Bar-Ilan Univ., Ramat Gan, Israel
pp. 236-239

Efficient Data Staging Using Performance-Based Adaptation and Policy-Based Resource Allocation (Abstract)

Ann L. Chervenak , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
Alex Sim , Sci. Data Manage. Res. Group, Lawrence Berkeley Nat. Lab., Berkeley, CA, USA
Junmin Gu , Sci. Data Manage. Res. Group, Lawrence Berkeley Nat. Lab., Berkeley, CA, USA
Robert Schuler , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
Nandan Hirpathak , Inf. Sci. Inst., Univ. of Southern California, Marina del Rey, CA, USA
pp. 244-247

Combining Error Detection and Transactional Memory for Energy-Efficient Computing below Safe Operation Margins (Abstract)

Gulay Yalcin , Barcelona Comput. Center, Barcelona, Spain
Adrian Cristal , Barcelona Comput. Center, Barcelona, Spain
Osman Unsal , Barcelona Comput. Center, Barcelona, Spain
Anita Sobe , Univ. of Neuchatel, Neuchatel, Switzerland
Derin Harmanci , Univ. of Neuchatel, Neuchatel, Switzerland
Pascal Felber , Univ. of Neuchatel, Neuchatel, Switzerland
Alexey Voronin , Dresden Univ. of Technol., Dresden, Germany
Jons-Tobias Wamhoff , Dresden Univ. of Technol., Dresden, Germany
Christof Fetzer , Dresden Univ. of Technol., Dresden, Germany
pp. 248-255

Density Classification in Asynchronous Random Networks with Faulty Nodes (Abstract)

Alexander Gogolev , Inst. of Networked & Embedded Syst., Univ. of Klagenfurt, Klagenfurt, Austria
Lucio Marcenaro , DITEN, Dept. of Naval, Electr., Electron. & Telecommun. Eng., Univ. of Genoa, Genoa, Italy
pp. 256-261

Optimizing message-passing on multicore architectures using hardware multi-threading (Abstract)

Daniele Buono , Department of Computer Science, University of Pisa, Pisa, Italy
Tiziano De Matteis , Department of Computer Science, University of Pisa, Pisa, Italy
Gabriele Mencagli , Department of Computer Science, University of Pisa, Pisa, Italy
Marco Vanneschi , Department of Computer Science, University of Pisa, Pisa, Italy
pp. 262-270

Afluentes Concurrent I/O Made Easy with Lazy Evaluation (Abstract)

Saulo Medeiros de Araujo , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
Kiev Santos Da Gama , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
Nelson Souto Rosa , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
Silvio Lemos Meira , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
pp. 279-287

A Parallel EM Algorithm for Gaussian Mixture Models Implemented on a NUMA System Using OpenMP (Abstract)

Wojciech Kwedlo , Fac. of Comput. Sci., Bialystok Univ. of Technol., Bialystok, Poland
pp. 292-298

A Performance Comparison of Container-Based Virtualization Systems for MapReduce Clusters (Abstract)

Miguel Gomes Xavier , Pontifical Catholic Univ. of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil
Marcelo Veiga Neves , Pontifical Catholic Univ. of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil
Cesar Augusto Fonticielha de Rose , Pontifical Catholic Univ. of Rio Grande do Sul (PUCRS), Porto Alegre, Brazil
pp. 299-306

Towards Load Balancing and Parallelizing of RDF Query Processing in P2P Based Distributed RDF Data Stores (Abstract)

Liaquat Ali , Univ. of Freiburg, Freiburg, Germany
Thomas Janson , Univ. of Freiburg, Freiburg, Germany
Christian Schindelhauer , Univ. of Freiburg, Freiburg, Germany
pp. 307-311

Large Scale Data Processing in Ecology: A Case Study on Long-Term Underwater Video Monitoring (Abstract)

Simone Palazzo , Dept. of Electr., Electron. & Comput. Eng., Univ. of Catania, Catania, Italy
Concetto Spampinato , Dept. of Electr., Electron. & Comput. Eng., Univ. of Catania, Catania, Italy
Daniela Giordano , Dept. of Electr., Electron. & Comput. Eng., Univ. of Catania, Catania, Italy
pp. 312-316

A Finite Volume Model for Dam-Break Floods with Wet-Dry Fronts on Non-uniform Grids (Abstract)

Sheng Bi , Hubei Key Lab. of Digital Valley Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan, China
Jianzhong Zhou , Hubei Key Lab. of Digital Valley Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan, China
Na Zhao , Hubei Key Lab. of Digital Valley Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan, China
Huajie Zhang , Hubei Key Lab. of Digital Valley Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan, China
Yue Zhao , Hubei Key Lab. of Digital Valley Sci. & Technol., Huazhong Univ. of Sci. & Technol., Wuhan, China
pp. 322-329

Lava Flow Modeling by the Sciara-Fv3 Parallel Numerical Code (Abstract)

Donato D'Ambrosio , Dept. of Math. & Comput. Sci., Univ. of Calabria, Rende, Italy
William Spataro , Dept. of Math. & Comput. Sci., Univ. of Calabria, Rende, Italy
Roberto Parise , Dept. of Math. & Comput. Sci., Univ. of Calabria, Rende, Italy
Rocco Rongo , Dept. of Math. & Comput. Sci., Univ. of Calabria, Rende, Italy
Giulio Iovine , Organ. Support Unit of Cosenza, IRPI, Rende, Italy
Davide Marocco , Centre of Robot. & Neural Syst., Plymouth Univ., Plymouth, UK
pp. 330-338

Design and Classification of Ant Metaheuristics (Abstract)

Nicolas Zufferey , HEC, Univ. of Geneva, Geneva, Switzerland
pp. 339-343

Analytical-Based High-Level Simulation of the Microthreaded Many-Core Architectures (Abstract)

Irfan Uddin , Comput. Syst. Archit. Group, Univ. of Amsterdam, Amsterdam, Netherlands
Raphael Poss , Comput. Syst. Archit. Group, Univ. of Amsterdam, Amsterdam, Netherlands
Chris Jesshope , Comput. Syst. Archit. Group, Univ. of Amsterdam, Amsterdam, Netherlands
pp. 344-351

A Parallel Multilevel Spectral Galerkin Solver for Linear Systems with Uncertain Parameters (Abstract)

Michael Schick , Res. group: Data Min. & Uncertainty Quantification, Heidelberg Inst. for Theor. Studies, Heidelberg, Germany
pp. 352-359

An Experimental Analysis for Hardware Resource Management Using a New Strip Packing Problem (Abstract)

Rika Ito , Numerical Simulation Res. Group, Japan Aerosp. Exploration Agency (JAXA), Japan
Naoyuki Fujita , Numerical Simulation Res. Group, Japan Aerosp. Exploration Agency (JAXA), Japan
pp. 360-364

Iterative Solution on GPU of Linear Systems Arising from the A-V Edge-FEA of Time-Harmonic Electromagnetic Phenomena (Abstract)

Ana F. P. Camargos , Inst. Fed. de Minas Gerais, Formiga, Brazil
Viviane Cristine Silva , Escola Politec., Univ. de Sao Paulo, São Paulo, Brazil
Jean-M Guichon , Grenoble Genie Electr. Lab., St. Martin d'Hères, France
Gerard Meunier , Grenoble Genie Electr. Lab., St. Martin d'Hères, France
pp. 365-371

Simulation of Aircraft Disembarking and Emergency Evacuation (Abstract)

Themistoklis Giitsidis , Dept. of Electr. & Comput. Eng., Democritus Univ. of Thrace, Xanthi, Greece
Georgios C. Sirakoulis , Dept. of Electr. & Comput. Eng., Democritus Univ. of Thrace, Xanthi, Greece
pp. 372-379

Cellular Automata Model Tuned for Efficient Computation on GPU with Global Memory Cache (Abstract)

Pawel Topa , Biogeosystem Modelling Lab., ING PAN - Inst. of Geol. Sci., Krakow, Poland
pp. 380-383

Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip (Abstract)

Nizar Dahir , Sch. of Electr. & Electron. Eng., Newcastle Univ., Newcastle upon Tyne, UK
Ghaith Tarawneh , Sch. of Electr. & Electron. Eng., Newcastle Univ., Newcastle upon Tyne, UK
Terrence Mak , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Hong Kong, China
Ra'ed Al-Dujaily , IT Res. Centre, Univ. of Kufa, Kufa, Iraq
Alex Yakovlev , Sch. of Electr. & Electron. Eng., Newcastle Univ., Newcastle upon Tyne, UK
pp. 384-391

Understanding the Data Traffic of Uncore in Westmere NUMA Architecture (Abstract)

Qiuming Luo , Nat. High Performance Comput. Center (NHPCC), Shenzhen Univ., Shenzhen, China
Chang Kong , Nat. High Performance Comput. Center (NHPCC), Shenzhen Univ., Shenzhen, China
Yuanyuan Zhou , Nat. High Performance Comput. Center (NHPCC), Shenzhen Univ., Shenzhen, China
Guoqiang Liu , Nat. High Performance Comput. Center (NHPCC), Shenzhen Univ., Shenzhen, China
Chenjian Liu , Inspur-HKBU Joint Lab. of Heterogeneous Comput., Hong Kong Baptist Univ., Hong Kong, China
pp. 392-399

Transaction-Based Online Debug for NoC-Based Multiprocessor SoCs (Abstract)

Mehdi Dehbashi , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
Gorschwin Fey , Inst. of Comput. Sci., Univ. of Bremen, Bremen, Germany
pp. 400-404

An Exploration of Page Replication for NoC-Based On-Chip Distributed Memory Systems (Abstract)

Weiwei Fu , Coll. of Comput. Sci. & Technol., Zhejiang Univ., Hangzhou, China
Mingmin Yuan , Coll. of Comput. Sci. & Technol., Zhejiang Univ., Hangzhou, China
Tianzhou Chen , Coll. of Comput. Sci. & Technol., Zhejiang Univ., Hangzhou, China
Li Liu , Sch. of Inf., Zhejiang Sci-Tech Univ., Hangzhou, China
pp. 410-417

Rediscovering Logarithmic Diameter Topologies for Low Latency Network-on-Chip-Based Applications (Abstract)

Carlo Condo , Electron. & Telecommun. Dept., Politec. di Torino, Turin, Italy
Maurizio Martina , Electron. & Telecommun. Dept., Politec. di Torino, Turin, Italy
Massimo Ruo Roch , Electron. & Telecommun. Dept., Politec. di Torino, Turin, Italy
Guido Masera , Electron. & Telecommun. Dept., Politec. di Torino, Turin, Italy
pp. 418-423

Integration of AES on Heterogeneous Many-Core System (Abstract)

Hassan Anwar , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Masoud Daneshtalab , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Masoumeh Ebrahimi , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Marco Ramirez , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Juha Plosila , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Hannu Tenhunen , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
pp. 424-427

A Cluster-Based Approach to Consensus Based Distributed Task Allocation (Abstract)

Darren Smith , Internet Security Res. Lab., Univ. of Greenwich Pembroke, Chatham, UK
Jodie Wetherall , Internet Security Res. Lab., Univ. of Greenwich Pembroke, Chatham, UK
Stephen Woodhead , Internet Security Res. Lab., Univ. of Greenwich Pembroke, Chatham, UK
Andrew Adekunle , Internet Security Res. Lab., Univ. of Greenwich Pembroke, Chatham, UK
pp. 428-431

Latency Analysis of Network-on-Chip Based Many-Core Processors (Abstract)

Sunil Kumar , Scuola Superiore SantAnna, Pisa, Italy
Giuseppe Lipari , Scuola Superiore SantAnna, Pisa, Italy
pp. 432-439

An Opto-electrical NoC with Traffic Flow Prediction in Chip Multiprocessors (Abstract)

Millad Ghane , Dept. of Comput. Eng., Sharif Univ. of Technol., Tehran, Iran
Mohammad Arjomand , Dept. of Comput. Eng., Sharif Univ. of Technol., Tehran, Iran
Hamid Sarbazi-azad , Dept. of Comput. Eng., Sharif Univ. of Technol., Tehran, Iran
pp. 440-443

Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs (Abstract)

Daniel Baudisch , Univ. of Kaiserslautern, Kaiserslautern, Germany
Yu Bai , Univ. of Kaiserslautern, Kaiserslautern, Germany
Klaus Schneider , Univ. of Kaiserslautern, Kaiserslautern, Germany
pp. 444-451

Multi Rectangle Modeling Approach for Application Mapping on a Many-Core System (Abstract)

Igor Tcarenko , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Mohammad Fattah , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Pasi Liljeberg , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Juha Plosila , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Hannu Tenhunen , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
pp. 452-457

Mixed-Criticality Run-Time Task Mapping for NoC-Based Many-Core Systems (Abstract)

Mohammad Fattah , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Amir-Mohammad Rahmani , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Thomas Canhao Xu , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Anil Kanduri , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Pasi Liljeberg , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Juha Plosila , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Hannu Tenhunen , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
pp. 458-465

Writing Parallel Embedded Software Effectively (Abstract)

Robbie Vincke , Dept. of Ind. Eng. Sci. & Technol., KU Leuven - KuLab, Leuven, Belgium
Nico De Witte , Dept. of Ind. Eng. Sci. & Technol., KU Leuven - KuLab, Leuven, Belgium
Sille Van Landschoot , Dept. of Ind. Eng. Sci. & Technol., KU Leuven - KuLab, Leuven, Belgium
Eric Steegmans , Dept. of Comput. Sci., KU Leuven, Leuven, Belgium
Jeroen Boydens , Dept. of Ind. Eng. Sci. & Technol., KU Leuven - KuLab, Leuven, Belgium
pp. 474-477

Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment (Abstract)

Adnan Ashraf , Dept. of Inf. Technol., Abo Akademi Univ., Turku, Finland
Ivan Porres , Dept. of Inf. Technol., Abo Akademi Univ., Turku, Finland
pp. 482-489

Distributed Resource Allocation to Virtual Machines via Artificial Neural Networks (Abstract)

Dorian Minarolli , Dept. of Math. & Comput. Sci., Univ. of Marburg, Marburg, Germany
Bernd Freisleben , Dept. of Math. & Comput. Sci., Univ. of Marburg, Marburg, Germany
pp. 490-499

Energy-Efficient Virtual Machines Consolidation in Cloud Data Centers Using Reinforcement Learning (Abstract)

Fahimeh Farahnakian , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Pasi Liljeberg , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
Juha Plosila , Dept. of Inf. Technol., Univ. of Turku, Turku, Finland
pp. 500-507

Enhancing Throughput of Hadoop Distributed File System for Interaction-Intensive Tasks (Abstract)

Xiayu Hua , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
Hao Wu , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
Shangping Ren , Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
pp. 508-511

Emulating Asymmetric MPSoCs on the Intel SCC Many-Core Processor (Abstract)

Roy Bakker , Inf. Inst., Univ. of Amsterdam, Amsterdam, Netherlands
Michiel W. Van Tol , Inf. Inst., Univ. of Amsterdam, Amsterdam, Netherlands
Andy D. Pimentel , Inf. Inst., Univ. of Amsterdam, Amsterdam, Netherlands
pp. 520-527

Energy Consumption of Resilience Mechanisms in Large Scale Systems (Abstract)

Bryan Mills , Dept. of Comput. Sci., Univ. of Pittsburgh, Pittsburgh, PA, USA
Taieb Znati , Dept. of Comput. Sci., Univ. of Pittsburgh, Pittsburgh, PA, USA
Rami Melhem , Dept. of Comput. Sci., Univ. of Pittsburgh, Pittsburgh, PA, USA
Kurt B. Ferreira , Scalable Syst. Software, Sandia Nat. Labs., Albuquerque, NM, USA
Ryan E. Grant , Scalable Syst. Software, Sandia Nat. Labs., Albuquerque, NM, USA
pp. 528-535

Modeling CPU Energy Consumption of HPC Applications on the IBM POWER7 (Abstract)

Philipp Gschwandtner , Julich Supercomput. Centre, Forschungszentrum Julich GmbH, Julich, Germany
Michael Knobloch , Julich Supercomput. Centre, Forschungszentrum Julich GmbH, Julich, Germany
Bernd Mohr , Julich Supercomput. Centre, Forschungszentrum Julich GmbH, Julich, Germany
Dirk Pleiter , Julich Supercomput. Centre, Forschungszentrum Julich GmbH, Julich, Germany
Thomas Fahringer , Univ. of Innsbruck, Innsbruck, Austria
pp. 536-543

Monitoring Security Compliance of Critical Processes (Abstract)

Roland Rieke , Philipps-Univ. Marburg, Marburg, Germany
Jurgen Repp , Fraunhofer SIT, Darmstadt, Germany
Maria Zhdanova , Fraunhofer SIT, Darmstadt, Germany
Jorn Eichler , Fraunhofer AISEC, Munich, Germany
pp. 552-560

Security Metrics Based on Attack Graphs for the Olympic Games Scenario (Abstract)

Igor Kotenko , Lab. of Comput. Security Problems, St. Petersburg Inst. for Inf. & Autom., St. Petersburg, Russia
Elena Doynikova , Lab. of Comput. Security Problems, St. Petersburg Inst. for Inf. & Autom., St. Petersburg, Russia
Andrey Chechulin , Lab. of Comput. Security Problems, St. Petersburg Inst. for Inf. & Autom., St. Petersburg, Russia
pp. 561-568

An Enhanced Secure Pairwise Broadcast Time Synchronization Protocol in Wireless Sensor Networks (Abstract)

Chafika Benzaid , LSI, USTHB, Algiers, Algeria
Amin Saiah , LSI, USTHB, Algiers, Algeria
Nadjib Badache , LSI, USTHB, Algiers, Algeria
pp. 569-573

Creation of a Fuzzy Knowledge Base for Adaptive Security Systems (Abstract)

Philipp Nesteruk , Lab. of Comput. Security Problems, St. Petersburg Inst. for Inf. & Autom., St. Petersburg, Russia
Lesya Nesteruk , Lab. of Comput. Security Problems, St. Petersburg Inst. for Inf. & Autom., St. Petersburg, Russia
Igor Kotenko , Lab. of Comput. Security Problems, St. Petersburg Inst. for Inf. & Autom., St. Petersburg, Russia
pp. 574-577

Accelerating Bowtie2 with a lock-less concurrency approach and memory affinity (Abstract)

Claudia Misale , Comput. Sci. Dept., Univ. of Torino, Turin, Italy
pp. 578-585

A Parallel Algorithm for the Best k-Mismatches Alignment Problem (Abstract)

Cristian Del Fabbro , Inst. of Appl. Genomics, Udine, Italy
Fabio Tardivo , Univ. of Udine, Udine, Italy
Alberto Policriti , Inst. of Appl. Genomics, Univ. of Udine, Udine, Italy
pp. 586-589

Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU (Abstract)

Matteo Bellini , Dipt. di Inf., Univ. degli Studi di Milano, Milan, Italy
Daniela Besozzi , Dipt. di Inf., Univ. degli Studi di Milano, Milan, Italy
Paolo Cazzaniga , Dipt. di Sci. Umane e Sociali, Univ. degli Studi di Bergamo, Bergamo, Italy
Giancarlo Mauri , Dipt. di Inf., Sist. e Comun., Univ. degli Studi di Milano-Bicocca, Milan, Italy
Marco S. Nobile , Dipt. di Inf., Sist. e Comun., Univ. degli Studi di Milano-Bicocca, Milan, Italy
pp. 590-593

GPU-Based Simulation of Yeast Cell Flocculation (Abstract)

Matthias Leinweber , Dept. of Math. & Comput. Sci., Univ. of Marburg, Marburg, Germany
Patrick Bitter , Dept. of Phys., Univ. of Marburg, Marburg, Germany
Stefan Brueckner , Dept. of Genetics, Univ. of Marburg, Marburg, Germany
Hans-Ulrich Moesch , Dept. of Genetics, Univ. of Marburg, Marburg, Germany
Peter Lenz , Dept. of Phys., Univ. of Marburg, Marburg, Germany
Bernd Freisleben , Dept. of Math. & Comput. Sci., Univ. of Marburg, Marburg, Germany
pp. 601-608

A CUDA Implementation of the Spatial TAU-Leaping in Crowded Compartments (STAUCC) Simulator (Abstract)

Giulia Pasquale , Inst. for Appl. Math. & Inf. Technol., Genoa, Italy
Carlo Maj , Dept. of Comput. Sci., Syst. & Commun., Univ. of Milano-Bicocca, Milan, Italy
Andrea Clematis , Inst. for Appl. Math. & Inf. Technol., Genoa, Italy
Ettore Mosca , Inst. for Biomed. Technol., Segrate, Italy
Luciano Milanesi , Inst. for Biomed. Technol., Segrate, Italy
Ivan Merelli , Inst. for Biomed. Technol., Segrate, Italy
Daniele D'Agostino , Inst. for Appl. Math. & Inf. Technol., Genoa, Italy
pp. 609-616

HPC Applications Deployment on Distributed Heterogeneous Computing Platforms via OMF, OML and P2PDC (Abstract)

Didier El Baz , LAAS, Toulouse, France
The Tung Nguyen , LAAS, Toulouse, France
Guillaume Jourjon , NICTA, Eveleigh, NSW, Australia
Thierry Rakotoarivelo , NICTA, Eveleigh, NSW, Australia
pp. 617-623

FuzzyGPU: A Fuzzy Arithmetic Library for GPU (Abstract)

David Defour , DALI, Univ. Perpignan Via Domitia, Perpignan, France
Manuel Marin , DALI, Univ. Perpignan Via Domitia, Perpignan, France
pp. 624-631

Fast Diameter Computation of Large Sparse Graphs Using GPUs (Abstract)

Giso H. Dal , Inst. for Comput. & Inf. Sci., Radboud Univ. Nijmegen, Nijmegen, Netherlands
Walter A. Kosters , Leiden Inst. of Adv. Comput. Sci., Leiden Univ., Leiden, Netherlands
Frank W. Takes , Leiden Inst. of Adv. Comput. Sci., Leiden Univ., Leiden, Netherlands
pp. 632-639

GPU-Based Computing of Repeated Range Queries over Moving Objects (Abstract)

Claudio Silvestri , Univ. Ca' Foscari Venezia, Venice, Italy
Francesco Lettich , Univ. Ca' Foscari Venezia, Venice, Italy
Salvatore Orlando , Univ. Ca' Foscari Venezia, Venice, Italy
Christian S. Jensen , Aarhus Univ., Aarhus, Denmark
pp. 640-647

A GPU Implementation of Parallel Constraint-Based Local Search (Abstract)

Alejandro Arbelaez , INSIGHT Centre for Data Analytics, Univ. Coll. Cork, Cork, Ireland
Philippe Codognet , Dept. of Comput. Sci., Univ. of Tokyo, Tokyo, Japan
pp. 648-655

Performance Evaluation of OpenACC Compilers (Abstract)

Lucas Grillo , Dept. de EIO y Comput., Univ. de La Laguna, La Laguna, Spain
Francisco de Sande , Dept. de EIO y Comput., Univ. de La Laguna, La Laguna, Spain
Ruyman Reyes , Edinburgh Parallel Comput. Centre, Univ. of Edinburgh, Edinburgh, UK
pp. 656-663

GPU Implementation of Inverse Iteration Algorithm for Computing Eigenvectors (Abstract)

Hiroyuki Ishigami , Grad. Sch. of Inf., Kyoto Univ., Kyoto, Japan
Kinji Kimura , Grad. Sch. of Inf., Kyoto Univ., Kyoto, Japan
Yoshimasa Nakamura , Grad. Sch. of Inf., Kyoto Univ., Kyoto, Japan
pp. 664-671

A Portable and High-Performance General Matrix-Multiply (GEMM) Library for GPUs and Single-Chip CPU/GPU Systems (Abstract)

Rahul Garg , Sch. of Comput. Sci., McGill Univ., Montreal, QC, Canada
Laurie Hendren , Sch. of Comput. Sci., McGill Univ., Montreal, QC, Canada
pp. 672-680

A Class-Structured Approach to Couple Application and Hybrid Core Parallelism (Abstract)

James A. Ross , Dynamics Res. Corp., Andover, MA, USA
David A. Richie , Brown Deer Technol., Forest Hill, MD, USA
Song J. Park , U.S. Army Res. Lab., Aberdeen Proving Ground, MD, USA
Dale R. Shires , U.S. Army Res. Lab., Aberdeen Proving Ground, MD, USA
Brian J. Henz , U.S. Army Res. Lab., Aberdeen Proving Ground, MD, USA
pp. 681-687

Self-Adaptive Monitors for Multiparty Sessions (Abstract)

Mario Coppo , Dipt. di Inf., Univ. di Torino, Turin, Italy
Mariangiola Dezani-Ciancaglini , Dipt. di Inf., Univ. di Torino, Turin, Italy
Betti Venneri , Dipt. di Stat., Inf., Applicazioni, Univ. di Firenze, Florence, Italy
pp. 688-696

Partially-Distributed Coordination with Reo (Abstract)

Sung-Shik T. Q. Jongmans , Formal Methods, Centrum Wiskunde & Inf., Amsterdam, Netherlands
Francesco Santini , Contraintes, INRIA Paris-Rocquencourt, Le Chesnay, France
Farhad Arbab , Formal Methods, Centrum Wiskunde & Inf., Amsterdam, Netherlands
pp. 697-706

Pabble: Parameterised Scribble for Parallel Programming (Abstract)

Nicholas Ng , Imperial Coll. London, London, UK
Nobuko Yoshida , Imperial Coll. London, London, UK
pp. 707-714

Location Independent Routing in Process Network Overlays (Abstract)

Mads Dam , Sch. of Comput. Sci. & Commun., KTH R. Inst. of Technol., Stockholm, Sweden
Karl Palmskog , Sch. of Comput. Sci. & Commun., KTH R. Inst. of Technol., Stockholm, Sweden
pp. 715-724

Formal Specifications for Java's Synchronisation Classes (Abstract)

Afshin Amighi , Formal Methods & Tools, Univ. of Twente, Enschede, Netherlands
Stefan Blom , Formal Methods & Tools, Univ. of Twente, Enschede, Netherlands
Marieke Huisman , Formal Methods & Tools, Univ. of Twente, Enschede, Netherlands
Wojciech Mostowski , Formal Methods & Tools, Univ. of Twente, Enschede, Netherlands
Marina Zaharieva-Stojanovski , Formal Methods & Tools, Univ. of Twente, Enschede, Netherlands
pp. 725-733

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation (Abstract)

Toni Mancini , Comput. Sci. Dept., Sapienza Univ. of Rome, Rome, Italy
Federico Mari , Comput. Sci. Dept., Sapienza Univ. of Rome, Rome, Italy
Annalisa Massini , Comput. Sci. Dept., Sapienza Univ. of Rome, Rome, Italy
Igor Melatti , Comput. Sci. Dept., Sapienza Univ. of Rome, Rome, Italy
Enrico Tronci , Comput. Sci. Dept., Sapienza Univ. of Rome, Rome, Italy
pp. 734-742

Towards a Formal Approach to Mobile Cloud Computing (Abstract)

Michele Amoretti , SITEIA.PARMA, Univ. of Parma, Parma, Italy
Alessandro Grazioli , Dept. of Inf. Eng., Univ. of Parma, Parma, Italy
Francesco Zanichelli , Dept. of Inf. Eng., Univ. of Parma, Parma, Italy
Valerio Senni , IMT Adv. Studies, Lucca, Italy
Francesco Tiezzi , IMT Adv. Studies, Lucca, Italy
pp. 743-750

Distributed Lazy Evaluation: A Big-Step Mechanised Semantics (Abstract)

Seyed Hossein Haeri , Inst. for Software Syst., Hamburg Univ. of Technol., Hamburg, Germany
Sibylle Schupp , Inst. for Software Syst., Hamburg Univ. of Technol., Hamburg, Germany
pp. 751-755

Distributed Noninterference (Abstract)

Ana Almeida Matos , Inst. de Telecomun. (SQIG), Univ. de Lisboa (IST), Lisbon, Portugal
Jan Cederquist , Inst. de Telecomun. (SQIG), Univ. de Lisboa (IST), Lisbon, Portugal
pp. 760-764

Author Index (PDF)

pp. 765-769
97 ms
(Ver 3.3 (11022016))