Online-Publikation
Variations on constants : flow analysis of sequential and parallel programs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540453864
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Lizenzpflichtig
- Bibliographic citation
-
Lecture notes in computer science ; 3800
- Keyword
-
Paralleles Programm
Programmanalyse
Abstrakte Interpretation
Kontrollflussdiagramm
Constraint-Propagierung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2006
- Contributor
- DOI
-
10.1007/11871743
- URN
-
urn:nbn:de:1111-200610093801
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:47 AM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Online-Publikation
Associated
- Müller-Olm, Markus
- Springer
Time of origin
- 2006
Other Objects (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