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.

Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Konferenzbeitrag | Veröffentlicht | Englisch
Autor
; ; ;
Herausgeber
Erscheinungsjahr
Titel des Konferenzbandes
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Band
9527
Seite
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
PUB-ID

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, 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.

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Quellen

arXiv: 1505.01962

Suchen in

Google Scholar
ISBN Suche