Pages that link to "Item:Q4930747"
From MaRDI portal
The following pages link to Automatic Verification of Determinism for Structured Parallel Programs (Q4930747):
Displaying 5 items.
- Verifying parallel programs with dynamic communication structures (Q1959654) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms (Q2829257) (← links)
- Automated Verification of Concurrent Search Structures (Q5000450) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421) (← links)