Treffer 1 - 10 von 10

1

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)...
2

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
3

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
4

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
5

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
6

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

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

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

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

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

Computational complexity VDP::420 Parallel programs (Compu... Machine design -- Congre...
Report
9

Structured arrows : a type-based framework for structured parallelism
Castro, David ; Hammond, Kevin ; University of St Andrews. School of Computer Science ; et al.

xiv 255 p. Parallel computing Algorithmic skeletons Structured recursion Hylomorphisms
Dissertation

Filter