scientific article; zbMATH DE number 1500483

zbMATH Open1114.94306MaRDI QIDQ4501491FDOQ4501491

Authors: Marc Fischlin 

Publication date: 4 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• Checking and Spot-Checking the Correctness of Priority Queues
• Checking the correctness of memories
• scientific article; zbMATH DE number 1305509
• Checker for data structures which sort elements
• How Efficient Can Memory Checking Be?

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Cited In (5)

• Checking Value-Sensitive Data Structures in Sublinear Space
• Streaming complexity of checking priority queues
• Checker for data structures which sort elements
• How Efficient Can Memory Checking Be?
• Checking and Spot-Checking the Correctness of Priority Queues

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501491)