A Semantic Model for Many-Core Parallel Computing

DOI10.1007/978-3-642-22616-8_36MaRDI QIDQ5199172zbMATH OpenOpenAlexFDO

Authors Nan Zhang, Zhenhua Duan

Publication date 12 August 2011

Published in Combinatorial Optimization and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22616-8_36

zbMATH Keywords

projectiontemporal logicmany-core parallel computing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Models for parallel computations
• scientific article; zbMATH DE number 561553
• Semantics for data parallel computation
• scientific article; zbMATH DE number 1183282
• scientific article; zbMATH DE number 1215473
• scientific article; zbMATH DE number 996551
• The section model of parallel computation
• Parallel models of computation: An introductory survey

Cited in

(4)

• Algebraic program semantics for supercomputing
• A cylinder computation model for many-core parallel computing
• Modeling and verifying multi-core programs
• An axiomatization for cylinder computation model

This page was built for publication: A Semantic Model for Many-Core Parallel Computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5199172)