Gero Mühl, Jan Richling, Andreas Herkersdorf (Hrsg.) ARCS 2012 Workshops. 28. Februar 2. März 2012 München, Germany



Similar documents
Enterprise Modelling and Information Systems Architectures

PRIMIUM Process Innovation for Enterprise Software

Visualization of Large and Unstructured Data Sets

Enterprise Modelling. and Information Systems Architectures (EMISA 2013)

Arslan Brömme, Christoph Busch,DetlefHühnlein ( Eds.) BIOSIG Proceedings of thespecialinterest Group on Biometricsand ElectronicSignatures

Innovative Internet Community Services (I CS 2011)

ARCS 2004 Organic and Pervasive Computing

Enterprise Modelling and Information Systems Architectures (EMISA 2014)

Enterprise Modelling and Information Systems Architectures (EMISA 2011)

IT-Incident Management & IT-Forensics

Testing of Component-Based Systems and Software Quality

How To Write A Paper On The Social Semantic Web

Services and their Composition

OMER Object-oriented Modeling of Embedded Real-Time Systems

FlexPath Network Processor

Overview of the DFG priority program Organic Computing. Hartmut Schmeck Institute AIFB Karlsruhe Institute of Technology AIFB

OpTiMSoC Build Your Own System-on-Chip!

for High Performance Computing

Stream Processing on GPUs Using Distributed Multimedia Middleware

InnovativeInternet Community Systems I 2 CS 2009

KPDAYS 13 Symposium on Software Performance: Joint Kieker/Palladio Days Karlsruhe, Germany, November 27 29, 2013 Proceedings

Proceedings. GI-Edition. 12 th International Conference on Innovative Internet Community Systems (I 2 CS 2012) Lecture Notes in Informatics

MareikeSchoop,Aldo de Moor, JanDietz (eds.) PragWeb Proceedings of the FirstInternationalConference on the PragmaticWeb

An Architecture for Interaction Event Processing in Tabletop Systems

Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets

3 rd National Conference

ARC Call for Papers

1. MSc Communication and Media Engineering (CME) University of Applied Sciences Offenburg

Information Systems Technology and its Applications

Designing Predictable Multicore Architectures for Avionics and Automotive Systems extended abstract

Industrie 4.0. Towards a Holistic Approach for Cyber Safety and Security

1 Business Modeling. 1.1 Event-driven Process Chain (EPC) Seite 2

3rd International Symposium on Big Data and Cloud Computing Challenges (ISBCC-2016) March 10-11, 2016 VIT University, Chennai, India

Lectures taught in English at HFU last update March 2012

smart grids forum Intelligent power grids: How to build in Safety and Security Conference March 21 22, 2013 in Munich, Germany

The work of the German CPA Society e.v.

Unified Performance Data Collection with Score-P

Management Control and Reporting of Intangibles

High Performance Computer Architecture

Standardized software components will help in mastering the. software should be developed for FlexRay were presented at

Managing Adaptability in Heterogeneous Architectures through Performance Monitoring and Prediction

Fundamentals of Mobile and Pervasive Computing

Curriculum vitae. July 2007 present Professor of Mathematics (W3), Technische

1. PUBLISHABLE SUMMARY

Embedded Internet and the Internet of Things WS 12/13

Business Ethics and Risk Management

Quality Assurance by Means of Feature Models

Data Structure Oriented Monitoring for OpenMP Programs

German Conference on Bioinformatics 2004

Lehrstuhl für Rechnertechnik und Rechnerorganisation (LRR-TUM) Annual Report 1998/1999

SON and SDN: Friends or Foes? FA5.2-ITG-Conference (part of the Zukunft der Netze -Conference Series)

The Pitfalls of Deploying Solid-State Drive RAIDs

GASPI A PGAS API for Scalable and Fault Tolerant Computing

Karlheinz Brandenburg was born on June 20th 1954 in Erlangen, Germany.

CHANCES AND RISKS FOR SECURITY IN MULTICORE PROCESSORS

Customer Specific Wireless Network Solutions Based on Standard IEEE

RWI : Discussion Papers

SPECjEnterprise2010 & Java Enterprise Edition (EE) PCM Model Generation DevOps Performance WG Meeting

An Approach for a Model Based Development Process of Cybertronic Systems. Martin Eigner, Christian Muggeo, Thomas Dickopf, Karl-Gerhard Faißt

Mixed-Criticality: Integration of Different Models of Computation. University of Siegen, Roman Obermaisser

Making Multicore Work and Measuring its Benefits. Markus Levy, president EEMBC and Multicore Association

The Helmholtz Alliance for Astroparticle Physics

New Scholarships New Scholarships 2005

Study Plan Masters of Science in Computer Engineering and Networks (Thesis Track)

DR. MICHAEL FRENKEL PROFESSOR OF ECONOMICS

Tutorial Proposal for MONAMI 2012 Operating Heterogeneous Wireless Networks with SON (Self-Organizing Networks)

Module Catalog Master Program Medical Engineering Study Field "Medical Image and Data Processing"

INNOVATIVE METHODS AND TECHNIQUES FOR HIGH-PERFORMANCE AND - RELIABILITY MODELING AND SIMULATION (M&S)

Christian Bettstetter. Mobility Modeling, Connectivity, and Adaptive Clustering in Ad Hoc Networks

Final Year Projects at itm. Topics 2010/2011

Network Security. Chapter 1 Introduction. Network Security IN2101. Georg Carle. Course organization

situation and funding volume

WoPeD - An Educational Tool for Workflow Nets

Study of Flexible Contents Delivery System. With Dynamic Server Deployment

About the Authors Preface Acknowledgements List of Acronyms

Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus

Certifying Energy Efficiency of Android Applications

Exploiting User and Process Context for Knowledge Management Systems

DSLRob-15, Hamburg, Germany

Habilitation. Bonn University. Information Retrieval. Dec PhD students. General Goals. Music Synchronization: Audio-Audio

Drivers to support the growing business data demand for Performance Management solutions and BI Analytics

Proceedings of the International Workshop on Semantic Technologies meet Recommender Systems & Big Data SeRSy 2012

DynaCORE Coprocessor

Recent and Future Activities in HPC and Scientific Data Management Siegfried Benkner

ASMONIA. Attack analysis and Security concepts for MObile Network infrastructures, supported by collaborative Information exchange

Transition from Working Life into Retirement: Successful and Precarious Ways Associate HTProfessorTH Dr. Martin Brussig

18th IEEE Conference on Business Informatics Call for Papers

Porting the Plasma Simulation PIConGPU to Heterogeneous Architectures with Alpaka

A Taxonomy of Single Sign-On Systems

Sensor Event Processing on Grid

Topic 2: Manufacturing/ Processing Chairman: Dipl.-Ing. Thorsten Kutsch, Friedrich-Lohmann GmbH

Big Data Analytics. Chances and Challenges. Volker Markl

Experiences from Verbmobil. Norbert Reithinger DFKI GmbH Stuhlsatzenhausweg 3 D Saarbrücken bert@dfki.de

Master Program Business Information Systems Technology (BIST)

Model-based Performance Evaluation of Large-Scale Smart Metering Architectures

List of courses MEngg (Computer Systems)

Real Estate and Destination Development in Tourism

A Reference Architecture for Self-organizing Service-oriented Computing

Transcription:

Gero Mühl, Jan Richling, Andreas Herkersdorf (Hrsg.) ARCS 2012 Workshops 28. Februar 2. März 2012 München, Germany Gesellschaft für Informatik e.v. (GI)

Lecture Notes in Informatics(LNI) -Proceedings Series of the Gesellschaft für Informatik(GI) Volume P-200 ISBN 978-3-88579-294-9 ISSN 1617-5468 Volume Editors Prof. Dr.-Ing. Gero Mühl Universität Rostock Albert-Einstein-Straße 22 18051 Rostock, Germany Email: gero.muehl@uni-rostock.de Dr.-Ing. JanRichling Technische Universität Berlin Einsteinufer 17 10587 Berlin, Germany Email: richling@cs.tu-berlin.de Prof. Dr. sc.techn. AndreasHerkersdorf Technische Universität München Arcisstraße 21 80290 München, Germany Series Editorial Board Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria (Chairman, mayr@ifit.uni-klu.ac.at) Hinrich Bonin, Leuphana Universität Lüneburg, Germany Dieter Fellner, Technische Universität Darmstadt, Germany Ulrich Flegel, Hochschule Offenburg, Germany Ulrich Frank, Universität Duisburg-Essen, Germany Johann-Christoph Freytag, Humboldt-Universität zu Berlin, Germany Michael Goedicke, Universität Duisburg-Essen, Germany Ralf Hofestädt, Universität Bielefeld, Germany Michael Koch, Universität der Bundeswehr München, Germany Axel Lehmann, Universität der Bundeswehr München, Germany Ernst W. Mayr, Technische Universität München, Germany Thomas Roth-Berghofer, DFKI, Germany Sigrid Schubert, Universität Siegen, Germany Martin Warnke, Leuphana Universität Lüneburg, Germany Dissertations SteffenHölldobler,Technische Universität Dresden, Germany Seminars Reinhard Wilhelm, Universität des Saarlandes, Germany

Thematics AndreasOberweis, Karlsruher Institut für Technologie (KIT), Germany Gesellschaft für Informatik, Bonn 2012 printed by Köllen Druck+Verlag GmbH, Bonn

Message from the Chairs The conference on Architecture of ComputingSystems (ARCS) hasalong and prestigious historyincomputing systems. Five workshops are co-located with the conference covering a large field of topics. The papers of the following workshops are included in these proceedings: ASPRIT Workshop on Architectures for Self-Organizing Private IT-Spheres CSECS Workshop on ComplexSciences in the Engineering of Computing Systems PARMA 3rd Workshop onparallel Programming and Run-Time Management Techniques for Many-core Architectures PASA 10th Workshop on Parallel Systems and Algorithms VERFE 8thWorkshop ondependability and Fault-Tolerance For eachofthese workshops, the workshop committees selected high qualitycontributions within a competitive peer review process. Many thanks go to the organizersofthe workshops: Detlef Krömker, Ralf Dörner, Uwe Brinkschulte, Ingo Scholtes, Claudio J. Tessone, JacobBeal, Alex Bartzas, Giovanni Agosta, Jörg Keller, RolfWanka, Karl- ErwinGroßpietsch, and Jörg Henkel. In additiontothe workshops, the conference also features tutorials on "Organic Computing: Status and Outlook" as well as on "Partial ReconfigurationofFPGAs in Practice - Toolsand Applications". Apaper related tothe latter tutorial is included in this proceedings. We are grateful to the people that made these tutorialspossible: ChristianBeckhoff, Volker Breuer, Christopher Dennl, Michael Feilen, Dirk Koch, ChristianMueller- Schloer, Hartmut Schmeck, Walter Stechele, JuergenTeich, Jim Torresen, and Daniel Ziener. The workshop and tutorial programwould not have been possible without the help of many people: The programco-chairs Uwe Brinkschulte and Kay Roemer, the local and publicationchair Walter Stechele and the financial chair Thomas Wild. We would also like to thank Cornelia Winter (GI) and JürgenKuck(Köllen Verlag) for the uncomplicated and flexible handling of the proceedings publicationprocess. Our final thank goes to all the authors for their contributions that make this an attractive workshop program. We wish youall interesting discussions duringthe two daysof workshops and tutorials. Gero Mühl JanRichling AndreasHerkersdorf ARCS 2012 Workshop Chair ARCS 2012 Tutorial Chair ARCS 2012 General Chair

Table of Contents Workshop on Architectures for Self-Organizing Private IT-Spheres Jan Schäfer, Reinhold Kröger, Simone Meixler, Uwe Brinkschulte QoS-based Testingand Selection of Semantic Services.. 15 YutaMiyauchi, Noriko Matsumoto, Norihiko Yoshida, Yuko Kamiya, Toshihiko Shimokawa Adaptive Content DistributionNetwork for Live and On-Demand Streaming 27 George Moldovan, Anda Ignat An Anonymous Efficient Private Set Intersection Protocol for Wireless Sensor Networks 39 Tatsuya Abe, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda AMobile Sink-initiated Proactive Routing Protocol fordeadline-aware Data Aggregation Method in Energy-Efficient Wireless Sensor Networks 51 Richard M. Zahoransky, KlausRechert, Konrad Meier,Dennis Wehrle, DirkVon Suchodoletz CellularLocation Determination -Reliability and Trustworthiness of GSM Location Data.. 63 MatthiasPfeiffer, Claudia Stockhausen, Katharina Reitz, Detlef Krömker Physiological Data in Future Livinig Environments 75 Sebastian Schmitt, Johannes Luderschmidt, Nadia Haubner, Simon Lehmann, Ralf Dörner, Ulrich Schwanecke Goal-Snapping: AnEmpirical Evaluationof Object Snapping in Tangible and Multi-Touch Interfaces... 87 Tomohiro Iwamoto, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda ARobust Generation Technique of Common Information Based on Characteristic of Multipath Fading Channel by Shaking Handheld Devices.. 99 Simon Lehmann, Jan Schäfer, Ralf Dörner, Ulrich Schwanecke TowardsIntegration of User Interaction and Context Event Processing in Intelligent Living Environments... 111 Daniel Schiffner, Detlef Krömker Perception-influencedAnimation... 123 Nadia Haubner, Ulrich Schwanecke, Ralf Dörner, Simon Lehmann, Johannes Luderschmidt TowardsaTop-View Detection of Body PartsinanInteractive Tabletop Environment. 135

1 st InternationalWorkshop on Complex Sciences in the Engineering of Computing Systems Aimee Gotway Bailey, Quan Minh Bui, J. Doyne Farmer, Robert M. Margolis, Ramamoorthy Ramesh Forecasting Technological Innovation... 149 Shota Ishikawa, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda Hot Topic Detection inlocal AreasUsing Twitter and Wikipedia... 165 Marcelo Serrano Zanetti, FrankSchweitzer ANetwork Perspective on Software Modularity... 175 Workshop on Dependability and FaultTolerance Bernhard Fechner, Arne Garbade, Sebastian Weis, Theo Ungerer Fault Localization innocsbytimed Heartbeats 191 Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk Fail*: Towards aversatile Fault Injection Experiment Framework... 201 David Neuhäuser, Eberhard Zehendner Correction of Faulty Signal Transmission forresilient Designs of Signed-Digit Arithmetic. 211 Raphael Maas, Erik Maehle Fault Tolerant and Adaptive Path Planning in Crowded Environments for Mobile RobotsBased on Hazard Estimation via Health Signals.. 221 Karl-Erwin Großpietsch, Tanya A. Silayeva ART Networks as Flexible Means to Implement Dependability Properties in AutonomousSystems... 233 Raimar Lill, Francesca Saglietti Model-based Testing of Autonomous Systems based oncoloured Petri Nets 241 Sebastian Müller,Mario Schölzel, Heinrich Theodor Vierhaus Hierarchical Self-repairinHeterogeneous Multi-core Systems by Means of a Software-based Reconfiguration.. 251 HolmRauchfuss, Thomas Wild, AndreasHerkersdorf Enhanced Reliability in Tiled Manycore Architectures through Transparent Task Relocation... 263 Dennis Obermann, Josef Börcsök Two-Way-Compiler: Additional Data Saving for Generatingthe Original Source Code of abinary Program.. 275 Fevzi Belli Verlässlichkeit bei Wiederverwendung von IT-Komponenten zum Standder Normungsaktivitäten...... 285

Tutorial on Reconfigurable Systems DirkKoch, JimTorresen, Christian Beckhoff, Daniel Ziener, Christopher Dennl, Volker Breuer, Jürgen Teich, Michael Feilen, Walter Stechele Partial ReconfigurationonFPGAs in Practice -Tools and Applications... 297 3rd Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures IoannisKoutras, AlexandrosBartzas, DimitriosSoudris Efficient Memory Allocations on amany-core Accelerator.. 327 Yuki Sugimoto, Fumihiko Ino, Kenichi Hagihara Improving Cache Locality forray Casting with CUDA. 339 LazarosPapadopoulos, Alexandros Bartzas, Dimitrios Soudris Run-Time Dynamic Data TypeTransformations.. 351 Giovanni Mariani, Gianluca Palermo, Vittorio Zaccaria, Cristina Silvano Evaluating Run-time Resource Management Policies formulti-core Embedded Platforms with the EMME Evaluation Framework.. 363 Koji Kugata, Shinpei Soda, Yohei Nakata, Shunsuke Okumura, Shintaro Izumi, Masahiko Yoshimoto, Hiroshi Kawaguchi ProcessorCoupling Architecture foraggressive Voltage Scaling on Multicores. 375 Giovanni Agosta, Alessandro Barenghi, Gerardo Pelosi Exploiting Bit-level Parallelism in GPGPUs: acase Study on KeeLoq Exhaustive Search Attacks. 385 Peter van Stralen, Andy Pimentel Fast Scenario BasedDesign Space Exploration using Feature Selection.. 397 Georgia Psychou, Robert Fasthuber, Jos Hulzink, Jos Huisken, Francky Catthoor Sub word Handling indata parallel Mapping. 409 MelhemTawk, Khaled Z. Ibrahim, Smail Niar Concurrent Phase Classification foraccelerating MPSoC Simulation... 421

10th Workshop on Parallel Systems and Algorithms David Neuhäuser, Eberhard Zehendner Resilient data encoding forfault-prone signal transmission in parallelized signed-digit based arithmetic 435 Peter Sobe Parallel coding forstorage systems An OpenMP and OpenCL capable framework. 445 Steffen Schiele, Holger Blaar, Detlef Thürkow, Markus Möller, MatthiasMüller-Hanneman Parallelization Strategies to Speed-Up Computations forterrain Analysison Multi-Core Processors... 457 DominikSchoenwetter, MaxSchneider, Dietmar Fey ASpeed-Up Study foraparallelized White Light Interferometry Preprocessing Algorithm on avirtual Embedded MultiprocessorSystem.. 469 MarcusHilbrich, Ralph Müller-Pfefferkorn Achieving scalability forjob centric monitoring in adistributed infrastructure 481 DeepakAjwani, AndreasBeckmann, Ulrich Meyer, David Veith I/O-efficient approximationof graph diameters by parallel cluster growing afirst experimental study. 493 Christian Riess, Volker Strehl, Rolf Wanka The Spectral Relationbetween the Cube-Connected Cycles and the Shuffle-Exchange Network 505 Christoph W. Kessler, Erik Hansson Flexible Scheduling and Thread Allocation for Synchronous Parallel Tasks. 517