Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures (Englisch)
Freier Zugriff
- Neue Suche nach: Nicola Bombieri
- Neue Suche nach: Federico Busato
- Neue Suche nach: Alessandro Danese
- Neue Suche nach: Luca Piccolboni
- Neue Suche nach: Graziano Pravadelli
- Neue Suche nach: Nicola Bombieri
- Neue Suche nach: Federico Busato
- Neue Suche nach: Alessandro Danese
- Neue Suche nach: Luca Piccolboni
- Neue Suche nach: Graziano Pravadelli
- Neue Suche nach: Bombieri, Nicola
- Neue Suche nach: Busato, Federico
- Neue Suche nach: Danese, Alessandro
- Neue Suche nach: Piccolboni, Luca
- Neue Suche nach: Pravadelli, Graziano
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures
-
Beteiligte:Nicola Bombieri ( Autor:in ) / Federico Busato ( Autor:in ) / Alessandro Danese ( Autor:in ) / Luca Piccolboni ( Autor:in ) / Graziano Pravadelli ( Autor:in ) / Bombieri, Nicola / Busato, Federico / Danese, Alessandro / Piccolboni, Luca / Pravadelli, Graziano
-
Erscheinungsdatum:01.01.2019
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 006
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
DDC: 006 -
Datenquelle: