Pages that link to "Item:Q5514828"
From MaRDI portal
The following pages link to Programming semantics for multiprogrammed computations (Q5514828):
Displaying 12 items.
- Operating system verification---an overview (Q1040002) (← links)
- A general approach to nonlinear FE compuations on shared-memory multiprocessors (Q1123604) (← links)
- Abstrakte Modelle zur Untersuchung von sicheren Systemen (Q1240556) (← links)
- Implications of series-parallel sequencing rules (Q1242452) (← links)
- Boltzmann machines as a model for parallel annealing (Q2638943) (← links)
- Developing WWW-based highly interactive and collaborative applications using software components (Q2745232) (← links)
- DCapBAC: embedding authorization logic into smart things through ECC optimizations (Q2804894) (← links)
- From a Proven Correct Microkernel to Trustworthy Large Systems (Q3067529) (← links)
- seL4 Enforces Integrity (Q3088017) (← links)
- A survey of concurrent object-oriented languages (Q4789967) (← links)
- StkTokens<i>: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities</i> (Q5016212) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
