scientific article; zbMATH DE number 1305509
From MaRDI portal
Publication:4252400
zbMath0931.68122MaRDI QIDQ4252400
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency ⋮ Certifying algorithms ⋮ From Search to Computation: Redundancy Criteria and Simplification at Work ⋮ Pipelined algorithms to detect cheating in long-term grid computations ⋮ Efficient authenticated data structures for graph connectivity and geometric search problems