Pages that link to "Item:Q391222"
From MaRDI portal
The following pages link to A cylinder computation model for many-core parallel computing (Q391222):
Displayed 9 items.
- A mechanism of function calls in MSVL (Q344760) (← links)
- A formal proof of the deadline driven scheduler in PPTL axiomatic system (Q744103) (← links)
- A complete axiom system for propositional projection temporal logic with cylinder computation model (Q896162) (← links)
- A compiler for MSVL and its applications (Q1630985) (← links)
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- A novel approach to verifying context free properties of programs (Q2290651) (← links)