Applying Sorting Networks to Synthesize Optimized Sorting Libraries
Codish M, Cruz-Filipe L, Nebel M, Schneider-Kamp P (2015)
In: Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi M (Ed); Lecture Notes in Computer Science, 9527. Berlin ; Heidelberg: Springer: 127-142.
Konferenzbeitrag
| Veröffentlicht | Englisch
Download
Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
Autor*in
Codish, Michael;
Cruz-Filipe, Luis;
Nebel, MarkusUniBi;
Schneider-Kamp, Peter
Herausgeber*in
Falaschi, Moreno
Einrichtung
Erscheinungsjahr
2015
Titel des Konferenzbandes
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Serien- oder Zeitschriftentitel
Lecture Notes in Computer Science
Band
9527
Seite(n)
127-142
Konferenz
25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in y, in July 2015
Konferenzort
Siena, Italy
Konferenzdatum
2015-07-13 – 2015-07-15
ISBN
978-3-319-27435-5
Page URI
https://pub.uni-bielefeld.de/record/2910050
Zitieren
Codish M, Cruz-Filipe L, Nebel M, Schneider-Kamp P. Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In: Falaschi M, ed. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science. Vol 9527. Berlin ; Heidelberg: Springer; 2015: 127-142.
Codish, M., Cruz-Filipe, L., Nebel, M., & Schneider-Kamp, P. (2015). Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In M. Falaschi (Ed.), Lecture Notes in Computer Science: Vol. 9527. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (pp. 127-142). Berlin ; Heidelberg: Springer. doi:10.1007/978-3-319-27436-2_8
Codish, Michael, Cruz-Filipe, Luis, Nebel, Markus, and Schneider-Kamp, Peter. 2015. “Applying Sorting Networks to Synthesize Optimized Sorting Libraries”. In Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, ed. Moreno Falaschi, 9527:127-142. Lecture Notes in Computer Science. Berlin ; Heidelberg: Springer.
Codish, M., Cruz-Filipe, L., Nebel, M., and Schneider-Kamp, P. (2015). “Applying Sorting Networks to Synthesize Optimized Sorting Libraries” in Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, Falaschi, M. ed. Lecture Notes in Computer Science, vol. 9527, (Berlin ; Heidelberg: Springer), 127-142.
Codish, M., et al., 2015. Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In M. Falaschi, ed. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science. no.9527 Berlin ; Heidelberg: Springer, pp. 127-142.
M. Codish, et al., “Applying Sorting Networks to Synthesize Optimized Sorting Libraries”, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, M. Falaschi, ed., Lecture Notes in Computer Science, vol. 9527, Berlin ; Heidelberg: Springer, 2015, pp.127-142.
Codish, M., Cruz-Filipe, L., Nebel, M., Schneider-Kamp, P.: Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In: Falaschi, M. (ed.) Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science. 9527, p. 127-142. Springer, Berlin ; Heidelberg (2015).
Codish, Michael, Cruz-Filipe, Luis, Nebel, Markus, and Schneider-Kamp, Peter. “Applying Sorting Networks to Synthesize Optimized Sorting Libraries”. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Ed. Moreno Falaschi. Berlin ; Heidelberg: Springer, 2015.Vol. 9527. Lecture Notes in Computer Science. 127-142.
arXiv: 
Google Scholar
ISBN Suche