Verification of tree updates for optimization

DOI10.1007/11513988_37MaRDI QIDQ5716579zbMATH OpenOpenAlexFDO

Authors Michael Benedikt, Angela Bonifati, Sergio Flesca, Avinash Vyas

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b138445

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Automata-based verification of programs with tree updates
• Fast updating of well-balanced trees
• Verified Operational Transformation for Trees
• Optimal trees for minimizing average individual updating cost
• Optimal trees for minimizing average individual updating cost
• Optimization of tree ensembles
• Updating approximately complete trees
• Verifying Balanced Trees

This page was built for publication: Verification of tree updates for optimization

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