Fine-Grain Iterative Compilation for WCET Estimation

Compiler optimizations, although reducing the execution times of programs, raise issues in static WCET estimation techniques and tools. Flow facts, such as loop bounds, may not be automatically found by static WCET analysis tools after aggressive code optimizations. In this paper, we explore the use of iterative compilation (WCET-directed program optimization to explore the optimization space), with the objective to (i) allow flow facts to be automatically found and (ii) select optimizations that result in the lowest WCET estimates. We also explore to which extent code outlining helps, by allowing the selection of different optimization options for different code snippets of the application

Jahresbericht 2013 zur kooperativen DV-Versorgung

:Vorwort ÜBERSICHT DER INSERENTEN 12 TEIL I ZUR ARBEIT DER DV-KOMMISSION 15 ZUR ARBEIT DES ERWEITERTEN IT-LENKUNGSAUSSCHUSSES 16 ZUR ARBEIT DES IT-LENKUNGSAUSSCHUSSES 17 ZUR ARBEIT DES WISSENSCHAFTLICHEN BEIRATES DES ZIH 17 TEIL II 1 DAS ZENTRUM FÜR INFORMATIONSDIENSTE UND HOCHLEISTUNGSRECHNEN (ZIH) 21 1.1 AUFGABEN 21 1.2 ZAHLEN UND FAKTEN (REPRÄSENTATIVE AUSWAHL) 21 1.3 HAUSHALT 22 1.4 STRUKTUR / PERSONAL 23 1.5 STANDORT 24 1.6 GREMIENARBEIT 25 2 KOMMUNIKATIONSINFRASTRUKTUR 27 2.1 NUTZUNGSÜBERSICHT NETZDIENSTE 27 2.2 NETZWERKINFRASTRUKTUR 27 2.3 KOMMUNIKATIONS- UND INFORMATIONSDIENSTE 37 3 ZENTRALE DIENSTANGEBOTE UND SERVER 47 3.1 SERVICE DESK 47 3.2 TROUBLE TICKET SYSTEM (OTRS) 48 3.3 NUTZERMANAGEMENT 49 3.4 LOGIN-SERVICE 50 3.5 BEREITSTELLUNG VON VIRTUELLEN SERVERN 51 3.6 STORAGE-MANAGEMENT 51 3.7 LIZENZ-SERVICE 57 3.8 PERIPHERIE-SERVICE 58 3.9 PC-POOLS 58 3.10 SECURITY 59 3.11 DRESDEN SCIENCE CALENDAR 60 4 SERVICELEISTUNGEN FÜR DEZENTRALE DV-SYSTEME 63 4.1 ALLGEMEINES 63 4.2 INVESTBERATUNG 63 4.3 PC SUPPORT 63 4.4 MICROSOFT WINDOWS-SUPPORT 64 4.5 ZENTRALE SOFTWARE-BESCHAFFUNG FÜR DIE TU DRESDEN 70 5 HOCHLEISTUNGSRECHNEN 73 5.1 HOCHLEISTUNGSRECHNER/SPEICHERKOMPLEX (HRSK-II) 73 5.2 NUTZUNGSÜBERSICHT DER HPC-SERVER 80 5.3 SPEZIALRESSOURCEN 81 5.4 GRID-RESSOURCEN 82 5.5 ANWENDUNGSSOFTWARE 84 5.6 VISUALISIERUNG 85 5.7 PARALLELE PROGRAMMIERWERKZEUGE 86 6 WISSENSCHAFTLICHE PROJEKTE, KOOPERATIONEN 89 6.1 „KOMPETENZZENTRUM FÜR VIDEOKONFERENZDIENSTE“ (VCCIV) 89 6.2 SKALIERBARE SOFTWARE-WERKZEUGE ZUR UNTERSTÜTZUNG DER ANWENDUNGSOPTIMIERUNG AUF HPC-SYSTEMEN 94 6.3 LEISTUNGS- UND ENERGIEEFFIZIENZ-ANALYSE FÜR INNOVATIVE RECHNERARCHITEKTUREN 96 6.4 DATENINTENSIVES RECHNEN, VERTEILTES RECHNEN UND CLOUD COMPUTING 100 6.5 DATENANALYSE, METHODEN UND MODELLIERUNG IN DEN LIFE SCIENCES 103 6.6 PARALLELE PROGRAMMIERUNG, ALGORITHMEN UND METHODEN 106 6.7 KOOPERATIONEN 111 7 AUSBILDUNGSBETRIEB UND PRAKTIKA 113 7.1 AUSBILDUNG ZUM FACHINFORMATIKER / FACHRICHTUNG ANWENDUNGSENTWICKLUNG 113 7.2 PRAKTIKA 114 8 AUS- UND WEITERBILDUNGSVERANSTALTUNGEN 115 9 VERANSTALTUNGEN 117 10 PUBLIKATIONEN 118 TEIL III BEREICH MATHEMATIK UND NATURWISSENSCHAFTEN 125 BEREICH GEISTES UND SOZIALWISSENSCHAFTEN 151 BEREICH INGENIEURWISSENSCHAFTEN 177 BEREICH BAU UND UMWELT 189 BEREICH MEDIZIN 223 ZENTRALE UNIVERSITÄTSVERWALTUNG 23

Wissensgemeinschaften 2015: 18. GeNeMe-Workshop, TU Dresden, 25./26.06.2015: GeNeMe 2015, Gemeinschaften in Neuen Medien

Unter dem gemeinsamen Dach „Wissensgemeinschaften“ werden nun zwei Tagungen mit sich gegenseitig ergänzenden thematischen Schwerpunkten zusammengebracht, die Lern- und Wissensprozesse im Spannungsfeld zwischen Organisation, Technologie und (Unternehmens-)Kultur verhandeln. Während die Konferenz „Gemeinschaften in neuen Medien (GeNeMe)“ organisationale und technische Perspektiven im Kontext von Virtual Enterprises, Communities & Social Networks thematisiert, liefert die zweijährlich stattfindende Konferenz „Professionelles Wissensmanagement (ProWM)“ der Fachgruppe Wissensmanagement in der Gesellschaft für Informatik (fgwm) einen breiten integrativen Überblick über die organisatorischen, kulturellen, sozialen und technischen Aspekte des Wissensmanagements.:1 Vorwort: Wissensgemeinschaften in Wirtschaft und Wissenschaft XII 2 Preface: Knowledge Communities in Busuness and Schience XVII Keynotes – eingeladene Vorträge 1 Knowledge Management – Advancements and Future Research Needs – Results from the Global Knowledge Research Network study 1 2 Leeds University Business School, Leeds, UK, 2 Beginnt die neue Arbeitswelt mit einer Abwesenheitsnotiz? 13 Hochschuldidaktik 2.0 1 Vernetztes Lernen an der Hochschule? Ergebnisse und Erfahrungen eines cMOOS 17 2 Smart communities in virtual reality. A comparison of design approaches for academic education 25 3 Flipped Classroom in der Hochschullehre der TU Dresden – Ein Work in Progress-Bericht 39 4 Konzepte für den Einsatz von E-Tutoren in komplexen E-Learning-Szenarien – Ein Erfahrungsbericht 45 Wissensmanagement I 1 Barrieren im interorganisationalen Wissensaustausch auf individueller Ebene – Ordnungsrahmen und Analysemethoden 55 2 GIS-based sales support by company knowledge reuse in the telecommunications sector 67 3 Praktische Entwicklung einer wissensorientierten Unternehmenskultur. Entwurf einer Zertifizierungsmethode 75 4 Supporting Knowledge Management Instruments with Composable Micro-Services 81 Communities 1 MeetingMirror – Unterstützung von Wissenschaftler-Communities auf Konferenzen 91 2 The SIFA community as a virtual learning space in OSH 101 3 Reflexion, Begleitung, Austausch – Die Online-Plattform StudentBodies-AN zur Prävention von Magersucht 107 Technologien, Methoden, Systeme 1 Gamification in der Hochschullehre. Herleitung von Handlungsempfehlungen für den Einsatz von Gamedesign-Elementen in der sächsischen Lernplattform OPAL 115 2 Gebrauchstauglichkeit und Nützlichkeit. Usability und wahrgenommener Nutzen digitaler Lernangebote S. 125 3 Barrierefreiheit im MOOC 135 4 Strukturierte Wikis – Konzept und Anwendungsbeispiel 141 Feedback, Austausch, Ideenfindung 1 Idea-Space: A Use Case of Collaborative Course Development in Higher Education 149 2 Onlinegestützte Audience Response Systeme: Förderung der kognitiven Aktivierung in Vorlesungen und Eröffnung neuer Evaluationsperspektiven 157 3 Mobiles Feedback – Praxisbericht zur Integration eines Audience Response Systems in eine Lehrveranstaltung als Instrument der Lehrevaluation 67 4 Jazz in der Stadt und Rock auf der Autobahn - von der kollaborativen zur kollaborativ-kontextorientierten Musikempfehlung 173 Education 1 Wissens- und Nachhaltigkeitsmanagement durch Kooperationen in Weiterbildungsprojekten 185 2 Lernen aus Erfahrung – vom agilen zum verteilten Präsenzteam 193 3 Development of an E-Learning instructional model for vocational training in Indonesia 203 4 A Survey of Teachers’ Media Literacy in Chinese Vocational Schools 209 Prozess 1 Welche Use Cases eignen sich für die Umsetzung in einem Enterprise Social Network? Eine Fallstudie bei der N-ERGIE Aktiengesellschaft 225 2 Kontextbezogene, workflowbasierte Assessmentverfahren auf der Grundlage semantischer Wissensbasen 237 3 Collaborative Knowledge Acquisition and Explorationin Technology Search 243 Wissensmanagement II 1 Assessing Informal Social Learning at the Workplace – A Revalidation Case from Healthcare 251 2 Wie Barrieren im Wissenstransfer überwunden werden können – Ergebnisse einer Studie zur Grundhaltung des Misstrauens oder Vertrauens 267 3 Integration von Topic Models und Netzwerkanalyse bei der Bestimmung des Kundenwertes 277 4 Wissensmanagement im Kontext öffentlich-rechtlicher Rahmenbedingungen: Praktische Erfahrungen aus einem Wasserverband 285 Adress- und Autorenverzeichnis 29

Bisimilarity is not Borel

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on the theory of probabilistic and nondeterministic processes over uncountable spaces, since logical characterizations of bisimilarity (as, for instance, those based on the unique structure theorem for analytic spaces) require a countable logic whose formulas have measurable semantics. Our reduction shows that such a logic does not exist in the case of image-infinite processes.Comment: 20 pages, 1 figure; proof of Sigma_1^1 completeness added with extended comments. I acknowledge careful reading by the referees. Major changes in Introduction, Conclusion, and motivation for NLMP. Proof for Lemma 22 added, simpler proofs for Lemma 17 and Theorem 30. Added references. Part of this work was presented at Dagstuhl Seminar 12411 on Coalgebraic Logic