Online-Publikation
Variations on constants : flow analysis of sequential and parallel programs
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540453864
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Lizenzpflichtig
- Erschienen in
-
Lecture notes in computer science ; 3800
- Schlagwort
-
Paralleles Programm
Programmanalyse
Abstrakte Interpretation
Kontrollflussdiagramm
Constraint-Propagierung
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg
- (wer)
-
Springer
- (wann)
-
2006
- Beteiligte Personen und Organisationen
- DOI
-
10.1007/11871743
- URN
-
urn:nbn:de:1111-200610093801
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:47 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
- Online-Publikation
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
Discovery of Potential Parallelism in Sequential Programs
Advanced slicing of sequential and concurrent 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
Discovery of Potential Parallelism in Sequential Programs
Advanced slicing of sequential and concurrent 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
Discovery of Potential Parallelism in Sequential Programs
Advanced slicing of sequential and concurrent programs
Advanced slicing of sequential and concurrent programs
Temporal assertions for sequential and concurrent programs
Parallel data flow analysis of explicitly parallel programs