Architecture of Computing Systems – ARCS 2015: 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings

255 Pages·2015·13.39 MB·English

by  Luís Miguel Pinho Pinho

Luís Miguel Pinho
Wolfgang Karl
Albert Cohen
Uwe Brinkschulte (Eds.)
Architecture of
7
1 Computing Systems –
0
9

S
C ARCS 2015
N
L
28th International Conference
Porto, Portugal, March 24–27, 2015
Proceedings
123
Lecture Notes in Computer Science 9017
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,Lancaster,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
FriedemannMattern
ETHZürich,Zürich,Switzerland
JohnC.Mitchell
StanfordUniversity,Stanford,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Dortmund,Germany
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbrücken,Germany
Moreinformationaboutthisseriesathttp://www.springer.com/series/7407
·
Luís Miguel Pinho Wolfgang Karl
·
Albert Cohen Uwe Brinkschulte (Eds.)
Architecture of
Computing Systems –
ARCS 2015
28th International Conference
Porto, Portugal, March 24–27, 2015
Proceedings
ABC
Editors
LuísMiguelPinho AlbertCohen
CISTER/INESCTEC,ISEPResearchCenter InriaandÉcoleNormaleSupérieure
Porto Paris
Portugal France
UweBrinkschulte
WolfgangKarl GoetheUniversityFachbereichInformatikund
KarlsruherInstitutfürTechnologie Mathematik
Karlsruhe FrankfurtamMain
Germany Germany
ISSN0302-9743 ISSN1611-3349 (electronic)
LectureNotesinComputerScience
ISBN978-3-319-16085-6 ISBN978-3-319-16086-3 (eBook)
DOI10.1007/978-3-319-16086-3
LibraryofCongressControlNumber:Appliedfor
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
SpringerChamHeidelbergNewYorkDordrechtLondon
(cid:2)c SpringerInternationalPublishingSwitzerland2015
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
materialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broad-
casting,reproduction onmicrofilmsorinanyotherphysicalway,andtransmissionorinformationstorage
andretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknown
orhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher, theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbook
arebelievedtobetrueandaccurateatthedateofpublication. Neitherthepublishernortheauthorsorthe
editorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinorforanyerrorsor
omissionsthatmayhavebeenmade.
Printedonacid-freepaper
SpringerInternationalPublishingAGSwitzerlandispartofSpringerScience+BusinessMedia
(www.springer.com)
Preface
The28thInternationalConferenceonArchitectureofComputingSystems(ARCS2015)
was hosted by the CISTER Research Center at Instituto Superior de Engenharia do
Porto,Portugal,fromMarch24to27,2015andcontinuesthelong-standingARCStra-
ditionofreportingtop-notchresultsincomputerarchitectureandrelatedareas.Itwas
organizedbythespecialinterestgroupon‘ArchitectureofComputingSystems’ofthe
GI(GesellschaftfürInformatike.V.)andITG(InformationstechnischeGesellschaftim
VDE),withGIhavingthefinancialresponsibilityforthe2015edition.Theconference
wasalsosupportedbyIFIP(InternationalFederationofInformationProcessing).
ThespecialfocusofARCS2015wason“ReconcilingParallelismandPredictabil-
ityinMixed-CriticalSystems.”Thisreflectstheongoingconvergencebetweencompu-
tational, control, and communicationsystems in many application areas and markets.
The increasingly data-intensive and computationalnature of Cyber-Physical Systems
is now pushing for embedded control systems to run on complex parallel hardware.
System designers are squeezed between the hammer of dependability, performance,
powerandenergyefficiency,andtheanvilofcost.Thelatteristypicallyassociatedwith
programmability issues, validation and verification, deployment, maintenance, com-
plexity,portability,etc.Traditional,low-levelapproachestoparallelsoftwaredevelop-
mentare alreadyplaguedby data races, non-reproduciblebugs, time unpredictability,
non-composability,andunscalableverification.Solutionsexisttoraisetheabstraction
level, to develop dependable, reusable, and efficient parallel implementations, and to
build computer architectures with predictability, fault tolerance, and dependability in
mind. The Internet of Things also pushes for reconciling computation and control in
computingsystems.Theconvergenceofchallenges,technology,andmarketsforhigh-
performance consumer and mobile devices has already taken place. The ubiquity of
safety,security,anddependabilityrequirementsmeetscostefficiencyconcerns.Long-
termresearchisneeded,aswellasresearchevaluatingthematurityofexistingsystem
design methods, programming languages and tools, software stacks, computer archi-
tectures, and validation approaches. This conference put a particular focus on these
researchissues.
The conference attracted 45 submissions from 22 countries. Each paper was as-
signed to at least three Program Committee Members for reviewing. The Committee
selected 19 submissions for publication with authors from 11 countries. These pa-
pers were organized into six sessions covering topics on hardware, design, applica-
trions, trust and privacy, and real-time issues. A session was dedicated to the three
best paper candidates of the conference. Three invited talks on “The Evolution of
ComputerArchitectures:AView fromthe EuropeanCommission”bySandroD’Elia,
European Commission Unit “Complex Systems & Advanced Computing,” Belgium,
“Architecturesfor Mixed-CriticalitySystems based on NetworkedMulti-Core Chips”
by Roman Obermaisser, University of Siegen, Germany, and “Time Predictability in
High-Performance Mixed-Criticality Multicore Systems" by Francisco Cazorla,
VI Preface
Barcelona Supercomputing Center, Spain, completed the strong technical program.
Fourworkshopsfocusingonspecificsub-topicsofARCSwereorganizedinconjunction
with the main conference, one on Dependability and Fault Tolerance, one on Multi-
Objective Many-Core Design, one on Self-Optimization in Organic and Autonomic
Computing Systems, as well as one on Complex Problems over High Performance
ComputingArchitectures.Theconferenceweekalsofeaturedtwotutorials,onCUDA
tuningandnewGPUtrends,andontheMyriad2architecture,programmingandcom-
putervisionapplications.
We would like to thank the many individuals who contributed to the success of
the conference, in particular the members of the Program Committee as well as the
additionalexternalreviewers, for the time and effortthey put into reviewingthe sub-
missionscarefullyandselectingahigh-qualityprogram.Manythanksalsotoallauthors
forsubmittingtheirwork.Theworkshopsandtutorialswereorganizedandcoordinated
by João Cardoso, and the poster session was organizedby Florian Kluge and Patrick
Meumeu Yomsi. The proceedings were compiled by Thilo Pionteck, industry liaison
performed by Sascha Uhrig and David Pereira, and conference publicity by Vincent
Nélis. The local arrangementswere coordinatedby Luis Ferreira. Our gratitude goes
to all of them as well as to all other people,in particularthe team at CISTER, which
helpedintheorganizationofARCS2015.
January2015 LuísMiguelPinho
WolfgangKarl
AlbertCohen
UweBrinkschulte
Organization
General Co-Chairs
LuísMiguelPinho CISTER/INESCTEC,ISEP,Portugal
WolfgangKarl KarlsruheInstituteofTechnology,Germany
Program Co-chairs
AlbertCohen Inria,France
UweBrinkschulte UniversitätFrankfurt,Germany
Publication Chair
ThiloPionteck UniversitätzuLübeck,Germany
Industrial LiaisonCo-chairs
SaschaUhrig TechnischeUniversitätDortmund,Germany
DavidPereira CISTER/INESCTEC,ISEP,Portugal
Workshopand Tutorial Chair
JoãoM.P.Cardoso UniversityofPorto/INESCTEC,Portugal
PosterCo-chairs
FlorianKluge UniversityofAugsburg,Germany
PatrickMeumeuYomsi CISTER/INESCTEC,ISEP,Portugal
Publicity Chair
VincentNelis CISTER/INESCTEC,ISEP,Portugal
Local OrganizationChair
LuisLinoFerreira CISTER/INESCTEC,ISEP,Portugal
VIII Organization
Program Committee
MichaelBeigl KarlsruheInstituteofTechnology,Germany
MladenBerekovic TechnischeUniversitätBraunschweig,Germany
SimonBliudze ÉcolePolytechniqueFédéraledeLausanne,
Switzerland
FlorianBrandner ÉcoleNationaleSupérieuredeTechniques
Avancées,France
JürgenBrehm LeibnizUniversitätHannover,Germany
UweBrinkschulte UniversitätFrankfurtamMain,Germany
DavidBroman KTHRoyalInstituteofTechnology,Sweden,and
UniversityofCalifornia,Berkeley,USA
JoãoM.P.Cardoso UniversityofPorto/INESCTEC,Portugal
LuigiCarro UniversidadeFederaldoRioGrandedoSul,Brazil
AlbertCohen Inria,France
KoenDeBosschere GhentUniversity,Belgium
NikitasDimopoulos UniversityofVictoria,Canada
AhmedEl-Mahdy Egypt-JapanUniversityofScience
andTechnology,Egypt
FabrizioFerrandi PolitecnicodiMilano,Italy
DietmarFey Friedrich-Alexander-Universität
Erlangen-Nürnberg,Germany
PierfrancescoFoglia UniversitàdiPisa,Italy
WilliamFornaciari PolitecnicodiMilano,Italy
BjörnFranke UniversityofEdinburgh,UK
RobertoGiorgi UniversitàdiSiena,Italy
DanielGraciaPérez ThalesResearchandTechnology,France
JanHaase UniversityoftheFederalArmedForcesHamburg,
Germany
JörgHenkel KarlsruheInstituteofTechnology,Germany
AndreasHerkersdorf TechnischeUniversitätMünchen,Germany
ChristianHochberger TechnischeUniversitätDarmstadt,Germany
JörgHähner UniversitätAugsburg,Germany
MichaelHübner RuhrUniversityBochum,Germany
GertJervan TallinnUniversityofTechnology,Estonia
BenJuurlink TechnischeUniversitätBerlin,Germany
WolfgangKarl KarlsruheInstituteofTechnology,Germany
ChristosKartsaklis OakRidgeNationalLaboratory,USA
JörgKeller FernuniversitätinHagen,Germany
RaimundKirner UniversityofHertfordshire,UK
AndreasKoch TechnischeUniversitätDarmstadt,Germany
HanaKubátová CzechTechnicalUniversityinPrague,
CzechRepublic
OlafLandsiedel ChalmersUniversityofTechnology,Sweden
PaulLukowicz UniversitätPassau,Germany
Organization IX
ErikMaehle UniversitätzuLübeck,Germany
ChristianMüller-Schloer LeibnizUniversitätHannover,Germany
AlexOrailoglu UniversityofCalifornia,SanDiego,USA
CarlosEduardoPereira UniversidadeFederaldoRioGrandedoSul,Brazil
ThiloPionteck UniversitätzuLübeck,Germany
PascalSainrat UniversitéToulouseIII,France
ToshinoriSato FukuokaUniversity,Japan
MartinSchulz LawrenceLivermoreNationalLaboratory,USA
KarstenSchwan GeorgiaInstituteofTechnology,USA
LeonelSousa UniversidadedeLisboa,Portugal
RainerSpallek TechnischeUniversitätDresden,Germany
OlafSpinczyk TechnischeUniversitätDortmund,Germany
BennoStabernack FraunhoferInstitutfürNachrichtentechnik,
Germany
WalterStechele TechnischeUniversitätMünchen,Germany
DjamshidTavangarian UniversitätRostock,Germany
JürgenTeich Friedrich-Alexander-Universität
Erlangen-Nürnberg,Germany
EduardoTovar CISTER/INESCTEC,ISEP,Portugal
PedroTrancoso UniversityofCyprus,Cyprus
CarstenTrinitis TechnischeUniversitätMünchen,Germany
MartinTörngren KTHRoyalInstituteofTechnology,Sweden
SaschaUhrig TechnischeUniversitätDortmund,Germany
TheoUngerer UniversitätAugsburg,Germany
HansVandierendonck Queen’sUniversityBelfast,UK
StephaneVialle CentraleSupelecandUMIGT-CNRS2958,France
LucianVintan “LucianBlaga"UniversityofSibiu,Romania
KlausWaldschmidt UniversitätFrankfurtamMain,Germany
StephanWong DelftUniversityofTechnology,TheNetherlands
Additional Reviewers
Ardeshiricham,Armaiti Habermann,Philipp
Backasch,Rico Hassan,Ahmad
Blochwitz,Christopher Hempel,Gerald
Bradatsch,Christian Hu,Sensen
ComprésUreña,IsaíasA. Huthmann,Jens
Eckert,Marcel Iacovelli,Saverio
Engel,Andreas Jordan,Alexander
Feng,Lei Kantert,Jan
Gangadharan,Deepak Maia,Cláudio
Gottschling,Philip Meyer,Dominik
Grudnitsky,Artjom Mische,Jörg
Guo,Qi Naji,Amine
Haas,Florian Nogueira,Luís