- Weitere Titel
-
Entdeckung von potentieller Parallelität in sequentiellen Programmen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2016
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
-
Wolf, Felix
Clauss, Philippe
- URN
-
urn:nbn:de:tuda-tuprints-57412
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Li, Zhen
- Wolf, Felix
- Clauss, Philippe
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2016
Ähnliche Objekte (12)
Verification of sequential and concurrent programs
Knowledge discovery from sequential data
Knowledge discovery from sequential data
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Discovery of potential parallelism in sequential programms : = Entdeckung von potentieller Parallelität in sequentiellen Programmen
Identification of Suitable Parallelization Patterns for Sequential Programs
Verification of sequential imperative programs in Isabelle-HOL
Temporal assertions for sequential and concurrent programs
Sequential learning to accelerate discovery of alkali-activated binders
Variations on constants : flow analysis of sequential and parallel programs
Variations on constants : flow analysis of sequential and parallel programs
Verification of sequential and concurrent programs
Knowledge discovery from sequential data
Knowledge discovery from sequential data
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Discovery of potential parallelism in sequential programms : = Entdeckung von potentieller Parallelität in sequentiellen Programmen
Identification of Suitable Parallelization Patterns for Sequential Programs
Verification of sequential imperative programs in Isabelle-HOL
Temporal assertions for sequential and concurrent programs
Sequential learning to accelerate discovery of alkali-activated binders
Variations on constants : flow analysis of sequential and parallel programs
Variations on constants : flow analysis of sequential and parallel programs
Verification of sequential and concurrent programs
Knowledge discovery from sequential data
Knowledge discovery from sequential data
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Discovery of potential parallelism in sequential programms : = Entdeckung von potentieller Parallelität in sequentiellen Programmen
Identification of Suitable Parallelization Patterns for Sequential Programs
Verification of sequential imperative programs in Isabelle-HOL
Temporal assertions for sequential and concurrent programs
Sequential learning to accelerate discovery of alkali-activated binders
Variations on constants : flow analysis of sequential and parallel programs