Sciweavers

1623 search results - page 53 / 325
» No Sorting
Sort
View
RECOMB
2009
Springer
16 years 4 months ago
Sorting Signed Permutations by Inversions in O(nlogn) Time
Krister M. Swenson, Vaibhav Rajan, Yu Lin, Bernard...
CADE
2005
Springer
16 years 4 months ago
Connecting Many-Sorted Theories
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
Franz Baader, Silvio Ghilardi
WEA
2009
Springer
104views Algorithms» more  WEA 2009»
15 years 10 months ago
psort, Yet Another Fast Stable Sorting Software
Paolo Bertasi, Marco Bressan 0002, Enoch Peserico
IPPS
2009
IEEE
15 years 10 months ago
Designing efficient sorting algorithms for manycore GPUs
Nadathur Satish, Mark Harris, Michael Garland