• Suche: "Parallel programs (Computer programs)--Verification"

Treffer 1 - 9 von 9

1

Structured arrows : a type-based framework for structured parallelism
Castro, David ; Hammond, Kevin

005.3 Parallel computing Algorithmic skeletons Structured recursion Hylomorphisms Type and effect systems …
Dissertation
Merkliste
2

A domain specific language based approach for generating deadlock-free parallel load scheduling protocols for distributed systems
Adhikari, Pooja ; Adhikari, Pooja

Parallel programs (Compu... Domain-specific programm... Loaders (Computer progra... Programmes parallèles (... Langages orientés probl... Chargeurs (Informatique)... …
Merkliste
3

Relaxing goodness is still good
Pace, Gordon J. ; Schneider, Gerardo ; 5th International Colloquium on Theoretical Aspects of Computing

Computational complexity Parallel programs (Compu... Machine design -- Congre...
Konferenz
Merkliste
4

Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems
Pace, Gordon J. ; Schneider, Gerardo ; International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Computational complexity Parallel programs (Compu... Machine design -- Congre...
Buch
Merkliste
5

A compositional algorithm for parallel model checking of polygonal hybrid systems
Pace, Gordon J. ; Schneider, Gerardo ; Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006

Computational complexity Parallel programs (Compu... Machine design -- Congre...
Konferenz
Merkliste
6

Model checking polygonal differential inclusions using invariance kernels
Pace, Gordon J. ; Schneider, Gerardo ; Fifth International Conference on Verification, Model Checking and Abstract Interpretation

Computational complexity Parallel programs (Compu... Machine design -- Congre...
Konferenz
Merkliste
7

Relaxing goodness is still good for SPDIs
Pace, Gordon J. ; Schneider, Gerardo

Computational complexity Parallel programs (Compu... Machine design -- Congre...
Report
Merkliste
8

Static analysis of SPDIs for state-space reduction
Pace, Gordon J. ; Schneider, Gerardo

Computational complexity Parallel programs (Compu... Machine design -- Congre...
Report
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter