A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks.

Christian Lengauer Chua-Huang Huang

Published in: POPL (1986)

Keyphrases

network design
databases
worst case
database
optimal solution
computer networks
network analysis
genetic algorithm
database systems
software systems
von neumann