Pages that link to "Item:Q1079951"
From MaRDI portal
The following pages link to Parallel algorithms and correctness in parallel programs (Q1079951):
Displaying 12 items.
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Boolean models and planning methods for parallel abstract programs (Q1003021) (← links)
- P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms (Q1060560) (← links)
- Checking the performance of parallel programs with common data (Q1082068) (← links)
- On the programs-as-formulas interpretation of parallel programs in Peano arithmetic (Q1100878) (← links)
- On the correctness of parallel algorithms (Q1276521) (← links)
- Analysis of the correctness of a parallel program for set partitioning (Q1276536) (← links)
- Parallel programs implementing abstract data type operations (Q2755026) (← links)
- (Q3034805) (← links)
- (Q3465202) (← links)
- (Q3763577) (← links)
- (Q4732113) (← links)