Applying Sorting Networks to Synthesize Optimized Sorting Libraries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp. Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Volume 9527 of Lecture Notes in Computer Science, pages 127-142, Springer, 2015. [doi]

This author has not been identified. Look up 'Michael Codish' in GoogleThis author has not been identified. Look up 'Luís Cruz-Filipe' in GoogleThis author has not been identified. Look up 'Markus Nebel' in GoogleThis author has not been identified. Look up 'Peter Schneider-Kamp' in Google

runs on WebDSL