The following pages link to (Q4252400):
Displaying 6 items.
- Certifying algorithms (Q465678) (← links)
- Efficient authenticated data structures for graph connectivity and geometric search problems (Q548654) (← links)
- Pipelined algorithms to detect cheating in long-term grid computations (Q959812) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Q5881540) (← links)
- Finding strong components using depth-first search (Q6563999) (← links)
