A Semantic Model for Many-Core Parallel Computing

DOI10.1007/978-3-642-22616-8_36zbMath1342.68202OpenAlexW1948226463MaRDI QIDQ5199172

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)

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