Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs (Englisch)
- Neue Suche nach: Forejt, Vojtǎch
- Neue Suche nach: Forejt, Vojtǎch
- Neue Suche nach: Joshi, Saurabh
- Neue Suche nach: Kroening, Daniel
- Neue Suche nach: Narayanaswamy, Ganesh
- Neue Suche nach: Sharma, Subodh
In:
ACM transactions on programming languages and systems
;
39
, 4
; 1-27
;
2017
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
-
Beteiligte:Forejt, Vojtǎch ( Autor:in ) / Joshi, Saurabh / Kroening, Daniel / Narayanaswamy, Ganesh / Sharma, Subodh
-
Erschienen in:ACM transactions on programming languages and systems ; 39, 4 ; 1-27
-
Verlag:
- Neue Suche nach: Assoc.
-
Erscheinungsort:New York, NY
-
Erscheinungsdatum:2017
-
ISSN:
-
ZDBID:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.00 / 54.53
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 770/3155
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis – Band 39, Ausgabe 4
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
A Simple, Possibly Correct LR Parser for C11Jourdan, Jacques-Henri et al. | 2017
- 1
-
Sound Non-Statistical Clustering of Static Analysis AlarmsLee, Woosuk et al. | 2017
- 1
-
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI ProgramsForejt, Vojtǎch et al. | 2017
- 1
-
Scaling ReliablyTrinder, Phil et al. | 2017
- 1
-
SHErrLocZhang, Danfeng et al. | 2017
- Article17
-
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor PlatformTrinder, P. / Chechina, N. / Papaspyrou, N. / Sagonas, K. / Thompson, S. / Adams, S. / Aronis, S. / Baker, R. / Bihari, E. / Boudeville, O. et al. | 2017
- Article18
-
SHErrLoc: A Static Holistic Error LocatorZhang, D. / Myers, A. C. / Vytiniotis, D. / Peyton-Jones, S. et al. | 2017