TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

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)

Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (eds.) :

Array Abstraction with Symbolic Pivots.
[Online-Edition: https://doi.org/10.1007/978-3-319-30734-3_9]
In: Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. In: Lecture Notes in Computer Science , 9660 . Springer
[Konferenz- oder Workshop-Beitrag] , (2016)

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 Nov 13 03:08:23 2018 CET generiert.