Monografie
Variations on constants : flow analysis of sequential and parallel programs
- Sprache
-
Englisch
- Umfang
-
XIII, 177 S.
- ISBN
-
978-3-540-45385-7
- Identifier
-
98101223X
- Reihe
-
Lecture notes in computer science; 3800
- Thema
-
Paralleles Programm ; Programmanalyse ; Abstrakte Interpretation ; Kontrollflussdiagramm ; Constraint-Propagierung ; Komplexitätstheorie
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:21 MESZ
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
- Monografie
Beteiligte
Ähnliche Objekte (12)
Variations on constants : flow analysis of sequential and parallel programs
Parallel Sequential Scan
Sequential, Concurrent and Parallel Programming
Cryptography in constant parallel time
Advanced slicing of sequential and concurrent programs
Discovery of Potential Parallelism in Sequential Programs
Temporal assertions for sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Data mining for association rules and sequential patterns : sequential and parallel algorithms
Verification of sequential imperative programs in Isabelle-HOL
Identification of Suitable Parallelization Patterns for Sequential Programs
Pattern-based abstractions for parallel programs
Variations on constants : flow analysis of sequential and parallel programs
Parallel Sequential Scan
Sequential, Concurrent and Parallel Programming
Cryptography in constant parallel time
Advanced slicing of sequential and concurrent programs
Discovery of Potential Parallelism in Sequential Programs
Temporal assertions for sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Data mining for association rules and sequential patterns : sequential and parallel algorithms
Verification of sequential imperative programs in Isabelle-HOL
Identification of Suitable Parallelization Patterns for Sequential Programs
Pattern-based abstractions for parallel programs
Variations on constants : flow analysis of sequential and parallel programs
Parallel Sequential Scan
Sequential, Concurrent and Parallel Programming
Cryptography in constant parallel time
Advanced slicing of sequential and concurrent programs
Discovery of Potential Parallelism in Sequential Programs
Temporal assertions for sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Data mining for association rules and sequential patterns : sequential and parallel algorithms
Verification of sequential imperative programs in Isabelle-HOL
Identification of Suitable Parallelization Patterns for Sequential Programs