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

Transcription

1 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)

2 Lecture Notes in Informatics(LNI) -Proceedings Series of the Gesellschaft für Informatik(GI) Volume P-200 ISBN ISSN Volume Editors Prof. Dr.-Ing. Gero Mühl Universität Rostock Albert-Einstein-Straße Rostock, Germany Dr.-Ing. JanRichling Technische Universität Berlin Einsteinufer Berlin, Germany Prof. Dr. sc.techn. AndreasHerkersdorf Technische Universität München Arcisstraße München, Germany Series Editorial Board Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria (Chairman, 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

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

4

5 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

6

7 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 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 Daniel Schiffner, Detlef Krömker Perception-influencedAnimation Nadia Haubner, Ulrich Schwanecke, Ralf Dörner, Simon Lehmann, Johannes Luderschmidt TowardsaTop-View Detection of Body PartsinanInteractive Tabletop Environment. 135

8 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 Shota Ishikawa, Yutaka Arakawa, Shigeaki Tagashira, Akira Fukuda Hot Topic Detection inlocal AreasUsing Twitter and Wikipedia Marcelo Serrano Zanetti, FrankSchweitzer ANetwork Perspective on Software Modularity 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 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 Karl-Erwin Großpietsch, Tanya A. Silayeva ART Networks as Flexible Means to Implement Dependability Properties in AutonomousSystems 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 HolmRauchfuss, Thomas Wild, AndreasHerkersdorf Enhanced Reliability in Tiled Manycore Architectures through Transparent Task Relocation Dennis Obermann, Josef Börcsök Two-Way-Compiler: Additional Data Saving for Generatingthe Original Source Code of abinary Program Fevzi Belli Verlässlichkeit bei Wiederverwendung von IT-Komponenten zum Standder Normungsaktivitäten

9 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 rd Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures IoannisKoutras, AlexandrosBartzas, DimitriosSoudris Efficient Memory Allocations on amany-core Accelerator Yuki Sugimoto, Fumihiko Ino, Kenichi Hagihara Improving Cache Locality forray Casting with CUDA. 339 LazarosPapadopoulos, Alexandros Bartzas, Dimitrios Soudris Run-Time Dynamic Data TypeTransformations Giovanni Mariani, Gianluca Palermo, Vittorio Zaccaria, Cristina Silvano Evaluating Run-time Resource Management Policies formulti-core Embedded Platforms with the EMME Evaluation Framework 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 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

10 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 DominikSchoenwetter, MaxSchneider, Dietmar Fey ASpeed-Up Study foraparallelized White Light Interferometry Preprocessing Algorithm on avirtual Embedded MultiprocessorSystem 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