A cylinder computation model for many-core parallel computing

DOI10.1016/J.TCS.2012.02.011MaRDI QIDQ391222zbMATH OpenOpenAlexFDO

Authors Nan Zhang, Zhenhua Duan, Cong Tian

Publication date 10 January 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.02.011

zbMATH Keywords

projectionparallel computingtemporal logicmany-core

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Models for parallel computations
• Computational models for parallel computers
• scientific article; zbMATH DE number 996551
• A Semantic Model for Many-Core Parallel Computing
• Layered models of parallel computation
• The section model of parallel computation
• scientific article; zbMATH DE number 3868619
• Efficient Simulations among Several Models of Parallel Computers

Cites work

• scientific article; zbMATH DE number 3960965 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4076583 (Why is no real title available?)
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A calculus of communicating systems
• A decision procedure for propositional projection temporal logic with infinite models
• Communicating sequential processes
• Complexity of propositional projection temporal logic with star
• Formal verification of parallel programs
• Framed temporal logic programming
• Operational semantics of Framed Tempura
• Synthesis of Petri nets with localities
• Temporal logic programming
• Verifying properties of parallel programs

Cited in

(11)

• Linear time-dependent constraints programming with MSVL
• A temporal programming model with atomic blocks based on projection temporal logic
• Compositional reasoning using intervals and time reversal
• A complete axiom system for propositional projection temporal logic with cylinder computation model
• A mechanism of function calls in MSVL
• A formal proof of the deadline driven scheduler in PPTL axiomatic system
• A novel approach to verifying context free properties of programs
• A decision procedure and complete axiomatization for projection temporal logic
• A compiler for MSVL and its applications
• Modeling and verifying multi-core programs
• An axiomatization for cylinder computation model

Describes a project that uses

Uses Software

• PNML

This page was built for publication: A cylinder computation 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 Q391222)