- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540453857
3540453857
- Maße
-
24 cm
- Umfang
-
XIII, 177 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Literaturverz. S. 173 - 177
- Erschienen in
-
Lecture notes in computer science ; 3800
- Schlagwort
-
Paralleles Programm
Programmanalyse
Abstrakte Interpretation
Kontrollflussdiagramm
Constraint-Propagierung
Komplexitätstheorie
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2006
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:34 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.
Beteiligte
- Müller-Olm, Markus
- Springer
Entstanden
- 2006
Ähnliche Objekte (12)
Variations on constants : flow analysis of sequential and parallel programs
Parallel Sequential Scan
Sequential, Concurrent and Parallel Programming
Verification of sequential and concurrent programs
Cryptography in constant parallel time
Sequential and parallel functions as processes
Advanced slicing of sequential and concurrent programs
Discovery of Potential Parallelism in Sequential Programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Parallel data flow analysis of explicitly parallel programs
Visualization of scientific parallel programs
Variations on constants : flow analysis of sequential and parallel programs
Parallel Sequential Scan
Sequential, Concurrent and Parallel Programming
Verification of sequential and concurrent programs
Cryptography in constant parallel time
Sequential and parallel functions as processes
Advanced slicing of sequential and concurrent programs
Discovery of Potential Parallelism in Sequential Programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Parallel data flow analysis of explicitly parallel programs
Visualization of scientific parallel programs
Variations on constants : flow analysis of sequential and parallel programs
Parallel Sequential Scan
Sequential, Concurrent and Parallel Programming
Verification of sequential and concurrent programs
Cryptography in constant parallel time
Sequential and parallel functions as processes
Advanced slicing of sequential and concurrent programs
Discovery of Potential Parallelism in Sequential Programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Parallel data flow analysis of explicitly parallel programs