PDP 2014 Programme

Conference Programme

For any questions contact us by email:

Wednesday 12th February 2014

8:30 Registration

9:30 Opening Session.

Dr. Marco Aldinucci, PDP 2014 general chair,
Prof. Karl-Erwin Grosspietsch, Euromicro chair,
Prof. Gianmaria Ajani, Rector of University of Turin.

10:00 Keynote 1
[Chair: Marco Aldinucci]

Prof. Maurice Herlihy. Locks, Transactions, and Concurrent Objects.

11:00 Coffee Break

Advanced Algorithms and Applications 1
[Chair: Francisco Almeida]

11:30 Parallelized Clustering of Protein Structures on CUDA-enabled GPUs.
Hoang-Vu Dang, Bertil Schmidt, Andreas Hildebrandt, Anna Katharina Hildebrandt. [R/069]
12:00 On partitioning two dimensional finite difference meshes for distributed memory parallel computers.
Anael Grandjean, Bora Ucar. [R/037]
12:30 Coordinated Cooperative Work Using Undependable Processors with Unreliable Broadcast.
Seda Davtyan, Roberto De Prisco, Chryssis Georgiou, Alexander A. Shvartsman. [R/179]

Parallel Computing 1
[Chair: Antonella Galizia]

11:30 An Efficient Barrier Implementation for OpenMP-like Parallelism on the Intel SCC.
Hayder Al-Khalissi, Syed Abbas Ali Shah, Mladen Berekovic. [R/174]
12:00 Loop parallelism: a new skeleton perspective on data parallel patterns.
Marco Danelutto, Massimo Torquati. [R/166]
12:30 Dynamic Feature Selection for Machine-Learning Based Concurrency Regulation in STM.
Diego Rughetti, Pierangelo Di Sanzo, Bruno Ciciani, Francesco Quaglia. [R/164]

Special Session: GPU Computing and Hybrid Computing 1 (GPU 1)
[Chair: Didier El Baz]

11:30 FuzzyGPU: a fuzzy arithmetic library for GPU.
David Defour, Manuel Marin. [R/071]
12:00 A GPU Implementation of Parallel Constraint-based Local Search.
Alejandro Arbelaez, Philippe Codognet. [R/082]
12:30 Fast Diameter Computation of Large Sparse Graphs using GPUs.
Giso H. Dal, Walter A. Kosters, Frank W. Takes. [R/018]

Special Session: Formal Approaches to Parallel and Distributed Systems 1 (4PAD 1)
[Chair: Emilio Tuosto]

11:30 Location Independent Routing in Process Network Overlays.
Mads Dam, Karl Palmskog. [R/093]
12:00 Towards a Formal Approach to Mobile Cloud Computing.
Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi. [R/195]
12:30 Distributed Noninterference.
Ana Almeida Matos, Jan Cederquist. [S/216]

13:00 Lunch

Distributed and Network-based Computing 1
[Chair: Christian Engelmann]

14:00 EagleMacaw: A Dual-Tree Replication Protocol for Efficient and Reliable P2P Media Streaming.
Shabnam Ataee, Benoît Garbinato. [R/046]
14:30 Multi-homed fat-tree routing with InfiniBand.
Bartosz Bogdański, Sven-Arne Reinemo, Bjørn Dag Johnsen. [R/009]
15:00 Message passing on InfiniBand RDMA for parallel run-time supports.
Alessandro Secco, Irfan Uddin, Guilherme Peretti Pezzi, Massimo Torquati. [R/134]

Models and Tools 1
[Chair: Peter Kilpatrick]

14:00 Supporting Elasticity in OpenMP Applications.
Guilherme Galante, Luis Carlos Erpen De Bona. [R/150]
14:30 Improving the performance of seismic wave simulations with dynamic load balancing.
Rafael Keller Tesser, Laércio Lima Pilla, Fabrice Dupros, Philippe Olivier Alexandre Navaux, Jean-François Méhaut, Celso Mendes. [R/167]
15:00 General Hybrid Parallel Profiling.
Allen D. Malony, Kevin A. Huck. [R/183]

Special Session: GPU Computing and Hybrid Computing 2 (GPU 2)
[Chair: Didier El Baz]

14:00 GPU Implementation of Inverse Iteration Algorithm for Computing Eigenvectors.
Hiroyuki Ishigami, Kinji Kimura, Yoshimasa Nakamura. [R/156]
14:30 A portable and high-performance general matrix-multiply (GEMM) library for GPUs and single-chip CPU/GPU systems.
Rahul Garg, Laurie Hendren. [R/034]
15:00 GPU-based Computing of Repeated Range Queries over Moving Objects.
Claudio Silvestri, Francesco Lettich, Salvatore Orlando, Christian S. Jensen. [R/160]

Special Session: Formal Approaches to Parallel and Distributed Systems 2 (4PAD 2)
[Chair: Alberto Lluch Lafuente]

14:00 System Level Formal Verification via Distributed Multi-Core Hardware in the Loop Simulation.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. [R/101]
14:30 Formal Specifications for Java's Synchronisation Classes.
Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski. [R/092]
15:00 Model Checking Parallel Programs with Inputs.
Jiri Barnat, Petr Bauch, Vojtech Havel. [S/084]

15:30 Coffee Break

Distributed and Network-based Computing 2
[Chair: Daniele D'Agostino]

16:00 Multi-job Meta-Brokering in Distributed Computing Infrastructures using Pliant Logic.
Attila Kertesz, Gergo Maros, Jozsef Daniel Dombi. [R/027]
16:30 TinyLFU: A Highly Efficient Cache Admission Policy.
Gil Einziger,Roy Friedman. [R/035]
17:00 Efficient Parallel Self-reconfiguration Algorithm for MEMS Microrobots.
Hicham Lakhlef, Hakim Mabed, Julien Bourgeois. [R/064]

Parallel Computing 2
[Chair: Allen Malony]

16:00 A Hybrid Implementation of Hamming Weight.
Enric Morancho Llena. [R/017]
16:30 Evaluating the Impact of Transactional Characteristics on the Performance of Transactional Memory Applications.
Fernando Rui, Márcio Castro, Dalvan Griebler, Luiz Gustavo Fernandes. [S/021]
16:45 Scalable parallel I/O on a Blue Gene/Q supercomputer using compression, topology-aware data aggregation, and subfiling.
Huy Bui, Hal Finkel, Venkatram Vishwanath, Salma Habib, Katrin Heitmann, Jason Leigh, Michael Papka, Kevin Harms. [S/175]
17:00 The Multi-Level Communication: Minimal Deadlock-free and Storage Efficient Routing for Torus Networks.
Mustapha Hadim. [R/031]

Special Session: GPU Computing and Hybrid Computing 3 (GPU 3)
[Chair: Didier El Baz]

16:00 HPC Applications deployment on distributed heterogeneous computing platforms via OMF, OML and P2PDC.
Didier El Baz, The Tung Nguyen, Guillaume Jourjon, Thierry Rakotoarivelo. [R/058]
16:30 A Class-Structured Approach to Couple Application and Hybrid Core Parallelism
James A. Ross, David A. Richie, Song J. Park, Dale R. Shires, Brian J. Henz. [R/076]
17:00 Performance Evaluation of OpenACC Compilers.
Lucas Grillo, Ruyman Reyes, Francisco de Sande. [R/100]

Special Session: Formal Approaches to Parallel and Distributed Systems 3 (4PAD 3)
[Chair: Luca Padovani]

16:00 Self-Adaptive Monitors for Multiparty Sessions.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri. [R/065]
16:30 Pabble: Parameterised Scribble for Parallel Programming.
Nicholas Ng, Nobuko Yoshida. [R/070]
17:00 Partially-Distributed Coordination with Reo.
Sung-Shik T.Q. Jongmans, Francesco Santini, Farhad Arbab. [R/201]
17:30 Distributed Lazy Evaluation: A Big-Step Mechanised Semantics.
Seyed Hossein Haeri, Sibylle Schupp. [S/057]

18:00 Welcome Reception at Mole Antonelliana

Visit to Mole Antonelliana and Cinema Museum
Welcome in Turin: Dr. Mariagrazia Pellerino (city councillor responsible for education) and Prof. Luca Console (director of Computer Science Department)
Dinner at Mole Antonelliana

Thursday 13th February 2014

Systems and Architectures 1
[Chair: Marco Aldinucci]

09.00 Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System.
Yuichi Tsujita, Kazumi Yoshinaga, Atsushi Hori, Mikiko Sato, Mitaro Namiki, Yutaka Ishikawa. [S/088]
09:15 Energy-efficient Management of DVFS-enabled Integrated Microprocessors.
Ami Marowka. [S/010]
09:30 A Performance Study of Consensus Algorithms in Omission and Crash-Recovery Scenarios.
Christian Fernández-Campusano, Roberto Cortinas, Mikel Larrea. [S/145]
09:45 Efficient Data Staging Using Performance-Based Adaptation and Policy-Based Resource Allocation.
Ann L. Chervenak, Alex Sim, Junmin Gu, Robert Schuler, Nandan Hirpathak. [S/045]

Special Session: Advances in High-Performance Bioinformatics, Systems and Synthetic Biology 1 (Bio 1)
[Chair: Ivan Merelli]

09.00 Accelerating Bowtie2 with a lock-less concurrency approach and memory affinity.
Claudia Misale. [R/211]
09:30 A Parallel Algorithm for the Best k-mismatches Alignment.
Cristian Del Fabbro, Fabio Tardivo, Alberto Policriti. [S/223]
09:45 Simulation and Analysis of the Blood Coagulation Cascade Accelerated on GPU.
Matteo Bellini, Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Marco S. Nobile. [S/200]

Models and Tools 2
[Chair: Massimo Canonico]

09.00 SHEPARD: Scheduling on HEterogeneous Platforms using Application Resource Demands.
Eoghan O'Neill, John McGlone, Peter Milligan, Peter Kilpatrick. [S/105]
09:15 The WNoDeS cloud virtualization framework: a macromolecular surface analysis application case study.
Elisabetta Ronchieri, Daniele Cesini, Daniele D'Agostino, Vincenzo Ciaschini, Gianni Dalla Torre, Paolo Cozzi, Davide Salomoni, Andrea Clematis, Luciano Milanesi, Ivan Merelli. [S/149]
09:30 Compute Intensive Algorithm on Heterogeneous System: a Case Study about Fourier Transform.
Antonella Galizia, Emanuele Danovaro, Giuseppe Ripepi, Andrea Clematis. [S/135]
09:45 Extremal Optimization with Guided State Changes in Load Balancing of Distributed Programs.
Ivanoe De Falco, Eryk Laskowski, Richard Olejnik, Umberto Scafuri, Ernesto Tarantino, Marek Tudruj. [S/173]

Parallel Computing 3
[Chair: Marco Danelutto]

09.00 Performance Analysis of Paralldroid Generated Programs.
Alejandro Acosta, Francisco Almeida. [R/085]
09:30 Hierarchical Network Coding for Collective Communication on HPC Interconnects.
Ahmed Shalaby, Mohamed El-Sayed Ragab, Victor Goulart, Ikki Fujiwara, Michihiro Koibuchi. [S/102]
09:45 Hybrid Classification of Resistors through Image Processing.
Romina Molina, Pablo Federigi, Veronica Gil-Costa, Marcela Printista. [S/111]

10:00 Keynote 2
[Chair: Daniele D'Agostino]

Dr. Panagiotis Tsarchopoulos. High-Performance Computing in Horizon 2020.

11:00 Coffee Break

Systems and Architectures 2
[Chair: Massimo Torquati]

11.30 Combining Error Detection and Transactional Memory for Energy-efficient Computing below Safe Operation Margins.
Gulay Yalcin, Anita Sobe, Derin Harmanci, Alexey Voronin, Jons-Tobias Wamhoff, Pascal Felber, Osman Unsal, Adrian Cristal, Christof Fetzer. [R/040]
12:00 Density Classification in Asynchronous Random Networks with Faulty Nodes.
Alexander Gogolev, Lucio Marcenaro. [R/095]
12:30 Optimizing Message-Passing on Multicore Architectures using Hardware Multi-Threading.
Daniele Buono, Tiziano De Matteis, Gabriele Mencagli, Marco Vanneschi. [R/079]

Special Session: Advances in High-Performance Bioinformatics, Systems and Synthetic Biology 2 (Bio 2)
[Chair: Marco Beccuti]

11.30 FRODRUG: a virtual screening GPU accelerated approach for drug discovery.
Santiago Garcia Sanchez, Erney Ramírez-Aportela, José Ignacio Garzon, Pablo Chacón, Antonio Sanz Montemayor and Raúl Cabido. [R/203]
12:00 GPU-based Simulation of Yeast Cell Flocculation.
Matthias Leinweber, Patrick Bitter, Stefan Brueckner, Hans-Ulrich Moesch, Peter Lenz, Bernd Freisleben. [R/221]
12:30 A CUDA implementation of the Spatial TAU-leaping in Crowded Compartments (STAUCC) simulator.
Giulia Pasquale, Carlo Maj, Andrea Clematis, Ettore Mosca, Luciano Milanesi, Ivan Merelli, Daniele D'Agostino. [R/231]

Special Session: High Performance Computing in Modelling and Simulation 1 (HPCMS 1)
[Chair: William Spataro]

11.30 A finite volume model for dam-break floods with wet-dry fronts on non-uniform grids.
Sheng Bi, Jianzhong Zhou, Na Zhao, Huajie Zhang, Yue Zhao. [R/008]
12:00 Lava flow modeling by the Sciara-fv3 parallel numerical code.
Donato D'Ambrosio, William Spataro, Roberto Parise, Rocco Rongo, Giuseppe Filippone, Davide Spataro, Giulio Iovine, Davide Marocco. [R/229]
12:30 Design and Classification of Ant Metaheuristics.
Nicolas Zufferey. [S/005]

Special Session: On-Chip Parallel and Network-Based Systems 1 (OCPNBS 1)
[Chair: Hamid Sarbazi-Azad]

11.30 Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip.
Nizar Dahir, Ghaith Tarawneh, Terrence Mak, Ra'ed Al-Dujaily, Alex Yakovlev. [R/126]
12:00 Understanding the Data Traffic of Uncore in Westmere NUMA Architecture.
Qiuming Luo, Chang Kong, Yuanyuan Zhou, Guoqiang Liu, Chenjian Liu. [R/116]
12:30 An Opto-Electrical NoC with Traffic Flow Prediction in Chip Multiprocessors.
Millad Ghane, Mohammad Arjomand, Hamid Sarbazi-azad. [S/214]
12:45 FT-RUFT: A Performance and Fault-tolerant Efficient Indirect Topology.
Diego Fernando Bermudez Garzon, Crispin Gomez, Maria Engracia Gomez, Pedro Lopez, Jose Duato. [S/125]

13:00 Lunch

Systems and Architectures 3
[Chair: Horacio González-Vélez]

14:00 Supporting the Development of Resilient Message Passing Applications using Simulation.
Thomas Naughton, Christian Engelmann, Geoffroy Vallee, Swen Bohm. [R/163]
14:30 Afluentes - Concurrent IO Made Easy with Lazy Evaluation.
Saulo Medeiros de Araujo, Kiev Santos da Gama, Nelson Souto Rosa, Silvio Lemos Meira. [R/190]
15:00 A Novel QoS-Aware Method Based on Resource Control and Management in NGN Networks.
Cherif Ghazel, Leila Saïdane. [S/117]
15:15 Device-driven Metadata Management Solutions for Scientific Big Data Use Cases.
Richard Grunzke, Jürgen Hesser, Jürgen Starek, Nick Kepper, Sandra Gesing, Marcus Hardt, Volker Hartmann, Stephan Kindermann, Jan Potthoff, Michael Hausmann, Ralp Müller-Pfefferkorn, René Jákel. [S/054]

Big Data
[Chair: Cosimo Anglano]

14:00 A parallel EM algorithm for Gaussian Mixture Models implemented on a NUMA system using OpenMP.
Wojciech Kwedlo. [R/077]
14:30 A Performance Comparison of Container-based Virtualization Systems for MapReduce Clusters.
Miguel Gomes Xavier. [R/185]
15:00 Towards Load Balancing and Parallelizing of RDF Query Processing in P2P Based Distributed RDF Data Stores.
Liaquat Ali, Thomas Janson, Christian Schindelhauer. [S/098]
15:15 Large Scale Data Processing in Ecology: A Case Study on Long-Term Underwater Video Monitoring.
Simone Palazzo, Concetto Spampinato, Daniela Giordano. [S/198]

Special Session: High Performance Computing in Modelling and Simulation 2 (HPCMS 2)
[Chair: William Spataro]

14:00 Analytical-based high-level simulation of the microthreaded many-core architectures.
Irfan Uddin, Raphael Poss, Chris Jesshope. [R/006]
14:30 A parallel multilevel spectral Galerkin solver for linear systems with uncertain parameters.
Michael Schick. [R/043]
15:00 An experimental analysis for hardware resource management using a new strip packing problem.
Rika Ito, Naoyuki Fujita. [S/087]

Special Session: On-Chip Parallel and Network-Based Systems 2 (OCPNBS 2)
[Chair: Masoud Daneshtalab]

14:00 An Exploration of Page Replication for NoC-based On-chip Distributed Memory Systems.
Weiwei Fu, Mingmin Yuan, Tianzhou Chen, Li Liu. [R/113]
14:30 Rediscovering Logarithmic Diameter Topologies for Low Latency Network-on-Chip-based applications.
Carlo Condo, Maurizio Martina, Massimo Ruo Roch, Guido Masera. [R/030]
15:00 Integration of AES on Heterogeneous Many-Core system.
Hassan Anwar, Masoud Daneshtalab, Masoumeh Ebrahimi, Marco Ramirez, Juha Plosila, Hannu Tenhunen. [S/202]
15:15 A Cluster-based Approach to Consensus Based Distributed Task Allocation.
Darren Smith, Jodie Wetherall, Stephen Woodhead, Andrew Adekunle. [S/097]

15:30 Coffee Break

Distributed and Network-based Computing 3
[Chair: Bernd Freisleben]

16.00 Automated Instantiation of Heterogeneous FastFlow CPU/GPU Parallel Pattern Applications in Clouds.
Suresh Boob, Horacio González-Vélez, Alina-Madalina Popescu. [R/168]
16:30 Event-oriented Focal Weight-based Clustering for Environmental Wireless Sensor Networks.
Olga Zlydareva, Bart F. Masterson, Wim G. Meijer, John J. O'Sullivan, Gregory M.P. O'Hare. [S/115]
16:45 Selective Extension of Routing Algorithms Based on Turn Model.
Yongqing Wang, Liquan Xiao, Sheng Ma, Zhengbin Pang, Kefei Wang. [S/051]
17:00 A Cooperative Two-Tier Energy-Aware Scheduling for Real-Time Tasks in Computing Clouds.
Seyedmehdi Hosseinimotlagh, Farshad Khunjush, Seyedmahyar Hosseinimotlagh. [S/180]
17:15 An Effective Distributed D&C Approach for the Satisfiability Problem.
Gilles Audemard, Benoït Hoessen, Saïd Jabbour, Cédric Piette. [S/086]

Advanced Algorithms and Applications 2
[Chair: Bora Uçar]

16.00 Gossip Strategies for Service Composition.
Angelo Furno, Eugenio Zimeo. [R/060]
16:30 Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools.
Christopher Brown, Vladimir Janjic, Kevin Hammond, Holger Schoener, Kamran Idrees, Colin Glass. [R/158]

Special Session: High Performance Computing in Modelling and Simulation 3 (HPCMS 3)
[Chair: William Spataro]

16.00 Iterative Solution on GPU of Linear Systems Arising from the A-V Edge-FEA of Time-Harmonic Electromagnetic Phenomena.
Ana Flávia Peixoto de Camargos, Viviane Cristine Silva, Jean-Michel Guichon, Gérard Meunier. [R/210]
16:30 Simulation of aircraft disembarking and emergency evacuation.
Themistoklis Giitsidis, Georgios Ch. Sirakoulis. [R/215]
17:00 Cellular Automata model tuned for efficient computation on GPU with global memory cache.
Pawel Topa. [S/063]

Special Session: Multi-Core and Many-Core systems for EMbedded Computing 1 (MC3 1)
[Chair: Amir-Mohammad Rahmani]

16.00 Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs.
Daniel Baudisch, Yu Bai, Klaus Schneider. [R/022]
16:30 Multi rectangle modeling approach for application mapping on a many-core system.
Igor Tcarenko, Mohammad Fattah, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen. [R/225]
17:00 Writing Parallel Embedded Software Effectively.
Robbie Vincke, Nico De Witte, Sille Van Landschoot, Eric Steegmans, Jeroen Boydens. [S/016]
17:15 SmartLoCore: a Concept for an Adaptive Power-Aware Localization Processor.
Carsten Tradowsky, Tobias Gädeke, Thomas Bruckschlögl, Wilhelm Stork, Klaus-D. Müller-Glaser, Jürgen Becker. [S/208]

19:30 Conference Dinner at Circolo dei Lettori

Friday 14th February 2014

Industrial Keynotes
[Chair: Marco Aldinucci]

09.00 Who can beat x86?
Dr. Piero Altoè - E4 Computer Engineering.
09.30 Energy Aware Computing
Dr. Francois Thomas - IBM Montpellier.
10:00 Massively Parallel Data Processor: breaking through the storage barrier
Dr. Vittorio Rebecchi - A3Cube Inc.

10:30 Coffee Break

Special Session: Cloud Computing on Infrastructure as a Service and its Applications 1 (Cloud 1)
[Chair: Attila Kertesz]

11:00 Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment.
Adnan Ashraf, Ivan Porres. [R/146]
11.30 Distributed Resource Allocation to Virtual Machines via Artificial Neural Networks.
Dorian Minarolli, Bernd Freisleben. [R/141]

Special Session: Energy-Aware Computing 1 (Energy 1)
[Chair: Dominic Eschweller]

11:00 Analytic Clock Frequency Selection for Global DVFS.
Marco E.T. Gerards, Johann L. Hurink, Philip K.F. Hölzenspies, Jan Kuper, Gerard J.M. Smit. [R/091]
11.30 Emulating Asymmetric MPSoCs on the Intel SCC Many-core Processor.
Roy Bakker, Michiel W. van Tol, Andy D. Pimentel. [R/129]

Special Session: Security in Networked and Distributed Systems 1 (SNDS 1)
[Chair: Igor Kotenko]

11:00 A Scenario Method to Automatically Assess ICT Risk.
Fabrizio Baiardi, Fabio Corò, Federico Tonelli, Daniele Sgandurra. [R/041]
11.30 Monitoring Security Compliance of Critical Processes.
Roland Rieke, Jürgen Repp, Maria Zhdanova, Jörn Eichler. [R/059]

Special Session: On-Chip Parallel and Network-Based Systems 3 (OCPNBS 3)
[Chair: Hamid Sarbazi-Azad]

11:00 Latency Analysis of Network-On-Chip based Many-Core Processors.
Sunil Kumar, Giuseppe Lipari. [R/108]
11.30 Transaction-Based Online Debug for NoC-Based Multiprocessor SoCs.
Mehdi Dehbashi, Görschwin Fey. [S/189]


Special Session: Cloud Computing on Infrastructure as a Service and its Applications 2 (Cloud 2)
[Chair: Attila Kertesz]

12.00 Energy-Efficient Virtual Machines Consolidation in Cloud Data Centers using Reinforcement Learning.
Fahimeh Farahnakian, Pasi Liljeberg, Juha Plosila. [R/119]
12:30 Enhancing Throughput of Hadoop Distributed File.
Xiayu Hua, Hao Wu, Shangping Ren. [S/127]

Special Session: Energy-Aware Computing 2 (Energy 2)
[Chair: Dominic Eschweller]

12.00 Energy Consumption of Resilience Mechanisms in Large Scale Systems.
Bryan Mills, Taieb Znati, Rami Melhem, Kurt B. Ferreira, Ryan E. Grant. [R/033]
12:30 Modeling CPU Energy Consumption of HPC Applications on the IBM POWER7.
Philipp Gschwandtner, Michael Knobloch, Bernd Mohr, Dirk Pleiter, Thomas Fahringer. [R/140]

Special Session: Security in Networked and Distributed Systems 2 (SNDS 2)
[Chair: Roland Rieke]

12.00 Security metrics based on attack graphs for the Olympic Games scenario.
Igor Kotenko, Elena Doynikova, Andrey Chechulin. [R/117]
12:30 An Enhanced Secure Pairwise Broadcast Time Synchronization Protocol in Wireless Sensor Networks.
Chafika Benzaid, Amin Saiah, Nadjib Badache. [S/039]
12:45 Creation of a Fuzzy Knowledge Base for Adaptive Security Systems.
Philipp Nesteruk, Lesya Nesteruk, Igor Kotenko. [S/165]

Special Session: Multi-Core and Many-Core systems for EMbedded Computing 2 (MC3 2)
[Chair: Amir-Mohammad Rahmani]

12.00 Towards a design space exploration tool for MPSoC platforms designs: a case study.
Romain Brillu, Sebastien Pillement, Fabrice Lemonnier, Philippe Millet, Eric Lenormand, Marc Bernot and Frédéric Falzon. [R/036]
12.30 Mixed-Criticality Run-Time Task Mapping for NoC-Based Many-Core Systems.
Mohammad Fattah, Amir-Mohammad Rahmani, Thomas Canhao Xu, Anil Kanduri, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen. [R/226]

13:00 Lunch

Work in Progress Session (WIP)
[Chairs: Konrad Klöckner, Karl-Erwin Grosspietsch]

14.00 P2P Architectures for Semantic Service Composition.
Angelo Furno, Eugenio Zimeo.
14:10 Impact of Data Sharing on Co-Running Programs in Multi-Core System.
Anna Korotaeva, Wolfgang Nebel, M. Balakrishnan.
14:20 Memory Management on Heterogeneous Architectures.
Fabio Tordini.
14.30 Proposal of HINT Interface for Runtime Tuning of Communication Links.
Takeshi Nanri.
14:40 A Timed-Automata Approach for Critical Path Detection in a Soft Real-Time Application.
Bugra M. Yildiz, Christoph M. Bockisch, Arend Rensink, Mehmet Aksit.
14:50 Presence-Aware Distributed Computing.
Tan Nam Beng.