A cylinder computation model for many-core parallel computing

DOI10.1016/j.tcs.2012.02.011zbMath1416.68074OpenAlexW2050552305MaRDI QIDQ391222

Cong Tian, Nan Zhang, Zhenhua Duan

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

Related Items (9)

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

Uses Software

• PNML

Cites Work

• Temporal logic programming
• A calculus of communicating systems
• Operational semantics of Framed Tempura
• Framed temporal logic programming
• A decision procedure for propositional projection temporal logic with infinite models
• Complexity of propositional projection temporal logic with star
• Verifying properties of parallel programs
• Formal verification of parallel programs
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A cylinder computation model for many-core parallel computing