TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 3.

Steinhöfel, Dominic
Ábrahám, Erika ; Tarifa, Lizeth Tapia (eds.) :

Assessing the Coverage of Formal Specifications (Extended Abstract).
In: Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17). University of Oslo , 38--40. ISBN 978-82-7368-435-6
[Buchkapitel], (2017)

Geimer, Markus ; Wolf, Felix ; Wylie, Brian J. N. ; Ábrahám, Erika ; Becker, Daniel ; Mohr, Bernd :
The Scalasca performance toolset architecture.
In: Concurrency and Computation: Practice and Experience, 22 (6) pp. 702-719.
[Artikel], (2010)

Wolf, Felix ; Wylie, Brian J. N. ; Ábrahám, Erika ; Becker, Daniel ; Frings, Wolfgang ; Fürlinger, Karl ; Geimer, Markus ; Hermanns, Marc-André ; Mohr, Bernd ; Moore, Shirley ; Pfeifer, Matthias ; Szebenyi, Zoltán :
Usage of the SCALASCA Toolset for Scalable Performance Analysis of Large-Scale Parallel Applications.
In: Tools for High Performance Computing, Proc. of the 2nd Parallel Tools Workshop, Stuttgart, Germany, July 2008. Springer , pp. 157-167. ISBN ISBN 978-3-540-68561-6
[Buchkapitel], (2008)

Diese Liste wurde am Tue Jul 17 03:41:34 2018 CEST generiert.