Structured arrows : a type-based framework for structured parallelism

Authors: Castro, David

Contributors: Hammond, Kevin

Subject Terms: 005.3, Parallel computing, Algorithmic skeletons, Structured recursion, Hylomorphisms, Type and effect systems, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/759337

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

Authors: Adhikari, Pooja

Subjects: Parallel programs (Computer programs) Verification., Domain-specific programming languages., Loaders (Computer programs) Security measures Simulation methods., Programmes parallèles (Logiciels) Vérification., Langages orientés problème (Informatique), Chargeurs (Informatique) Sécurité Mesures Méthodes de simulation., Domain-specific programming languages., Parallel programs (Computer programs) Verification.

Index Terms: Asynchronous parallel applications, Load Scheduling Protocols, Domain specific language, Model checking, Academic Dissertation, Electronic resources., Electronic theses/dissertations., Dissertations., Academic theses., Academic theses., Thèses et écrits académiques.

URL: https://hdl.handle.net/11668/19343

Relaxing goodness is still good

Authors: Pace, Gordon J., Schneider, Gerardo, 5th International Colloquium on Theoretical Aspects of Computing

Subject Terms: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Relation: https://www.um.edu.mt/library/oar//handle/123456789/24162

Availability: https://www.um.edu.mt/library/oar//handle/123456789/24162
https://doi.org/10.1007/978-3-540-85762-4_19

Computation and visualisation of phase portraits for model checking SPDIs ; Tools and algorithms for the construction and analysis of systems

Authors: Pace, Gordon J., Schneider, Gerardo, International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Subject Terms: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Relation: https://www.um.edu.mt/library/oar//handle/123456789/24035

Availability: https://www.um.edu.mt/library/oar//handle/123456789/24035
https://doi.org/10.1007/978-3-540-78800-3_25

A compositional algorithm for parallel model checking of polygonal hybrid systems

Authors: Pace, Gordon J., Schneider, Gerardo, Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006

Subject Terms: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Relation: https://www.um.edu.mt/library/oar//handle/123456789/22556

Availability: https://www.um.edu.mt/library/oar//handle/123456789/22556

Model checking polygonal differential inclusions using invariance kernels

Authors: Pace, Gordon J., Schneider, Gerardo, Fifth International Conference on Verification, Model Checking and Abstract Interpretation

Subject Terms: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Relation: https://www.um.edu.mt/library/oar//handle/123456789/24089

Availability: https://www.um.edu.mt/library/oar//handle/123456789/24089
https://doi.org/10.1007/978-3-540-24622-0_11

Relaxing goodness is still good for SPDIs

Authors: Pace, Gordon J., Schneider, Gerardo

Subject Terms: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Relation: Pace, G. J., & Schneider, G. (2008). Relaxing goodness is still good for SPDIs. (No. 372). Oslo.; https://www.um.edu.mt/library/oar//handle/123456789/24159

Availability: https://www.um.edu.mt/library/oar//handle/123456789/24159

Static analysis of SPDIs for state-space reduction

Authors: Pace, Gordon J., Schneider, Gerardo

Subject Terms: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Relation: https://www.um.edu.mt/library/oar//handle/123456789/24586

Availability: https://www.um.edu.mt/library/oar//handle/123456789/24586

Static analysis of SPDIs for state-space reduction

Authors: Pace, Gordon, Schneider, Gerardo

Subject Terms: Computational complexity, VDP::420, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Access URL: http://hdl.handle.net/10852/9854
https://www.um.edu.mt/library/oar//handle/123456789/24586

Productivity with performance: property/behavior-based automated composition of parallel programs from self-describing components ; Property/behavior-based automated composition of parallel programs from self-describing components

Authors: Mahmood, Nasim, 1976-

Contributors: Browne, James C.

Subject Terms: Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification

File Description: electronic; application/pdf

Relation: http://hdl.handle.net/2152/3360; 175023972

Availability: http://hdl.handle.net/2152/3360

View-centric Reasoning About Parallel and Distributed Computation

Authors: Smith, Marc L.

Committee Members: Parsons, Rebecca; Hughes, Charles E.; University of Central Florida. College of Engineering [VIAF] University of Central Florida. College of Engineering [LC]

URL: https://stars.library.ucf.edu/rtd/1986