Lesegruppe 2011
81. Lesegruppe:
|Mittwoch, 14.12.2011, 10:00 Uhr in SR 348
Weihnachts-Lesegruppe. Ralf Reussner stellt vor: ? ? ?
80. Lesegruppe:
Mittwoch, 30.11.2011, 10:00 Uhr in SR 348
Michal Papez stellt vor: "A formal approach for the specification and verification of trustworthy component-based systems" - Mohammad, Alagar
[PDF fulltext] [BibTeX]
79. Lesegruppe:
Mittwoch, 16.11.2011, 10:00 Uhr in SR 348
Andreas Rentschler stellt vor: "Safe Composition of Transformations" - Heidenreich, Kopcsek, Aßmann
[PDF fulltext] [BibTeX]
78. Lesegruppe:
Mittwoch, 2.11.2011, 10:00 Uhr in SR 348
Fabian Brosig stellt vor:
"Untangling mixed information to calibrate resource utilization in virtual machines" - Lu, Zhang, Jiang, Chen, Yoshihira, Smirni
[PDF fulltext] [BibTeX]
"Profiling and modeling resource usage of virtualized applications" - Wood, Cherkasova, Ozonat, Shenoy
[PDF fulltext] [BibTeX]
77. Lesegruppe:
Mittwoch, 10.08.2011, 10:00 Uhr in SR 348
Nikolaus Huber stellt vor: "Automated Control for Elastic n-Tier Workloads based on Empirical Modeling" - Malkowski, Hedwig, Li, Pu, Neumann
[PDF fulltext] [BibTeX]
76. Lesegruppe:
Mittwoch, 13.07.2011, 10:00 Uhr in SR 348
Qais Noorshams stellt vor: "IO performance prediction in consolidated virtualized environments" - Kraft, Casale, Krishnamurthy, Greer, Kilpatrick
[PDF fulltext] [BibTeX]
75. Lesegruppe:
Mittwoch, 29.06.2011, 10:00 Uhr in SR 348
Franz Brosch stellt vor: "Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems" - Rodrigues, Rosenblum, Uchitel
[PDF fulltext] [BibTeX]
74. Lesegruppe:
Mittwoch, 15.06.2011, 10:00 Uhr in SR 348
Zoya Durdik stellt vor: "Using Rationale to Support Pattern-based Architectural Design" - Wang, Burge
[PDF fulltext] [BibTeX]
73. Lesegruppe:
Mittwoch, 18.05.2011, 10:00 Uhr in SR 348
Klaus Krogmann stellt vor: "From UML to Petri Nets: The PCM-Based Methodology" - Distefano, Scarpa, Puliafito
[PDF fulltext] [BibTeX]
72. Lesegruppe:
Mittwoch, 04.05.2011, 10:00 Uhr in SR 348
Erik Burger stellt vor: "SLIM—A Lightweight Environment for Synchronous Collaborative Modeling " - Thum, Schwind, Schader
[PDF fulltext] [BibTeX]
71. Lesegruppe:
Mittwoch, 20.04.2011, 10:00 Uhr in SR 348
Henning Groenda stellt vor: "10 Methodological Issues in Model-Based Testing" - Pretschner, Philipps
[PDF fulltext] [BibTeX]
70. Lesegruppe:
Freitag, 18.03.2011, 9:45 Uhr in SR 348
Johannes Stammel stellt vor: "Characterizing software architecture changes: A systematic review" - Williams, Carver
[PDF fulltext] [BibTeX]
69. Lesegruppe:
Freitag, 04.03.2011, 9:45 Uhr in SR 348
Michael Hauck stellt vor: "Performance Analysis of Cloud Computing Services for Many-Tasks Scientific Computing" - Iosup, Ostermann, Yigitbasi, Prodan, Fahringer, Epema
[PDF fulltext] [BibTeX]
68. Lesegruppe:
Freitag, 18.02.2011, 9:45 Uhr in SR 348
Axel Busch stellt vor: "Evaluation of energy consumption and performance of Intel’s Nehalem architecture" - Busch, Leduc [PDF fulltext] [BibTeX]
67. Lesegruppe:
Freitag, 04.02.2011, 9:45 Uhr in SR 348
Fabian Brosig stellt vor: "Mistral: Dynamically Managing Power, Performance, and Adaptation Cost in Cloud Infrastructures" - Jung, Hiltunen, Joshi, Schlichting, Pu [PDF fulltext] [BibTeX]
66. Lesegruppe:
Freitag, 21.01.2011, 9:45 Uhr in SR 348
Michael Kuperberg stellt vor: "VrtProf: Vertical Profiling for System Virtualization" - Mousa, Doshi, Sherwood, Ould-Ahmed-Vall [PDF fulltext] [BibTeX]