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, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Adhikari, Pooja

Θέματα: 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.

Όροι ευρετηρίου: 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.

Σύνδεσμος: https://hdl.handle.net/11668/19343

Relaxing goodness is still good

Συγγραφείς: Pace, Gordon J., Schneider, Gerardo, 5th International Colloquium on Theoretical Aspects of Computing

Θεματικοί όροι: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

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

Διαθεσιμότητα: 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

Συγγραφείς: Pace, Gordon J., Schneider, Gerardo, International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Θεματικοί όροι: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

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

Διαθεσιμότητα: 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

Συγγραφείς: Pace, Gordon J., Schneider, Gerardo, Third International Colloquium on Theoretical Aspects of Computing - ICTAC 2006

Θεματικοί όροι: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/22556

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 (Computer programs) -- Verification, Machine design -- Congresses

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

Διαθεσιμότητα: 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

Συγγραφείς: Pace, Gordon J., Schneider, Gerardo

Θεματικοί όροι: 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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/24159

Static analysis of SPDIs for state-space reduction

Συγγραφείς: Pace, Gordon J., Schneider, Gerardo

Θεματικοί όροι: Computational complexity, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/24586

Static analysis of SPDIs for state-space reduction

Συγγραφείς: Pace, Gordon, Schneider, Gerardo

Θεματικοί όροι: Computational complexity, VDP::420, Parallel programs (Computer programs) -- Verification, Machine design -- Congresses

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Mahmood, Nasim, 1976-

Συνεισφορές: Browne, James C.

Θεματικοί όροι: Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification

Περιγραφή αρχείου: electronic; application/pdf

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

Διαθεσιμότητα: http://hdl.handle.net/2152/3360

View-centric Reasoning About Parallel and Distributed Computation

Συγγραφείς: 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]

Σύνδεσμος: https://stars.library.ucf.edu/rtd/1986