Towards Formal Verification of DAG-Based 1 Blockchain Consensus Protocols 2
N. Bertrand, Pranav Ghorpade, Sasha Rubin et al.
· 0 citations
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
3 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
A join optimizer for Souffl´e is developed that automatically computes high-quality join orders using a feedback-directed optimization strategy, surpassing the performance of un-tuned join orders by a geometric mean speedup.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.