Pages that link to "Item:Q1911462"
From MaRDI portal
The following pages link to Designing checkers for programs that run in parallel (Q1911462):
Displaying 12 items.
- Pipelined algorithms to detect cheating in long-term grid computations (Q959812) (← links)
- Checking the performance of parallel programs with common data (Q1082068) (← links)
- Analysis of the correctness of a parallel program for set partitioning (Q1276536) (← links)
- Self-testing/correcting with applications to numerical problems (Q1317490) (← links)
- Problem identification using program checking (Q1765236) (← links)
- Efficient checkers for number-theoretic computations (Q1898116) (← links)
- Locality and checkability in wait-free computing (Q2441537) (← links)
- Locality and Checkability in Wait-Free Computing (Q3095336) (← links)
- Checking a Multithreaded Algorithm with + CAL (Q3524302) (← links)
- Software reliability via run-time result-checking (Q4208876) (← links)
- Designing programs that check their work (Q4369864) (← links)
- Program result checking: A new approach to making programs more reliable (Q4630244) (← links)