Volume 3, Issue 9, September 2013 - DROPS

Volume 3, Issue 9, September 2013 - DROPS

Volume 3, Issue 9, September 2013
Crowdsourcing: From Theory to Practice and Long-Term Perspectives (Dagstuhl Seminar
13361)
Tobias Hoßfeld, Phuoc Tran-Gia, and Maja Vukovic . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362)
Michael N. Huhns, Wei Li, and Wei-Tek Tsai . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
Quantum Cryptanalysis (Dagstuhl Seminar 13371)
Serge Fehr, Michele Mosca, Martin Rötteler, and Rainer Steinwandt . . . . . . . . . . . . .
59
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar
13372)
Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene . . . . . . . 74
Algorithms and Scheduling Techniques for Exascale Systems (Dagstuhl Seminar 13381)
Henri Casanova, Yves Robert, and Uwe Schwiegelshohn . . . . . . . . . . . . . . . . . . . . . . . . . . 106
Collaboration and learning through live coding (Dagstuhl Seminar 13382)
Alan Blackwell, Alex McLean, James Noble, and Julian Rohrhuber . . . . . . . . . . . . . . . 130
Algorithm Engineering (Dagstuhl Seminar 13391)
Andrew V. Goldberg, Giuseppe F. Italiano, David S. Johnson, and
Dorothea Wagner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
Inter-Vehicular Communication – Quo Vadis (Dagstuhl Seminar 13392)
Onur Altintas, Falko Dressler, Hannes Hartenstein, and Ozan K. Tonguz . . . . . . . . 190
Automatic Application Tuning for HPC Architectures (Dagstuhl Seminar 13401)
Siegfried Benkner, Franz Franchetti, Hans Michael Gerndt, and
Jeffrey K. Hollingsworth . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214
Physical-Cyber-Social Computing (Dagstuhl Seminar 13402)
Amit P. Sheth, Payam Barnaghi, Markus Strohmaier, Ramesh Jain, and
Steffen Staab . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245
D a g s t u h l R e p or t s , Vo l . 3 , I s s u e 9
ISSN 2192-5283
ISSN 2192-5283
Published online and open access by
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
GmbH, Dagstuhl Publishing, Saarbrücken/Wadern,
Germany.
Online available at http://www.dagstuhl.de/dagrep
Publication date
January, 2014
Aims and Scope
The periodical Dagstuhl Reports documents the
program and the results of Dagstuhl Seminars and
Dagstuhl Perspectives Workshops.
In principal, for each Dagstuhl Seminar or Dagstuhl
Perspectives Workshop a report is published that
contains the following:
an executive summary of the seminar program
and the fundamental results,
Bibliographic information published by the Deutsche
an overview of the talks given during the seminar
Nationalbibliothek
(summarized as talk abstracts), and
The Deutsche Nationalbibliothek lists this publicasummaries from working groups (if applicable).
tion in the Deutsche Nationalbibliografie; detailed
This basic framework can be extended by suitable
bibliographic data are available in the Internet at
contributions that are related to the program of the
http://dnb.d-nb.de.
seminar, e.g. summaries from panel discussions or
open problem sessions.
License
This work is licensed under a Creative Commons
Attribution 3.0 Unported license: CC-BY.
In brief, this license authorizes each Editorial Board
Susanne Albers
and everybody to share (to copy,
distribute and transmit) the work under the followBernd Becker
ing conditions, without impairing or restricting the
Karsten Berns
authors’ moral rights:
Stephan Diehl
Attribution: The work must be attributed to its
authors.
Hannes Hartenstein
The copyright is retained by the corresponding authors.
Stephan Merz
Bernhard Mitschang
Bernhard Nebel
Han La Poutré
Bernt Schiele
Nicole Schweikardt
Raimund Seidel
Michael Waidner
Reinhard Wilhelm (Editor-in-Chief )
Editorial Office
Marc Herbstritt (Managing Editor)
Jutka Gasiorowski (Editorial Assistance)
Thomas Schillo (Technical Assistance)
Contact
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Dagstuhl Reports, Editorial Office
Oktavie-Allee, 66687 Wadern, Germany
[email protected]
Digital Object Identifier: 10.4230/DagRep.3.9.i
www.dagstuhl.de/dagrep