Sciweavers

1623 search results - page 66 / 325
» No Sorting
Sort
View
VLDB
1989
ACM
67views Database» more  VLDB 1989»
15 years 8 months ago
Percentile Finding Algorithm for Multiple Sorted Runs
Balakrishna R. Iyer, Gary R. Ricard, Peter J. Varm...
VLDB
1989
ACM
56views Database» more  VLDB 1989»
15 years 8 months ago
A Low Communication Sort Algorithm for a Parallel Database Machine
Raymond A. Lorie, Honesty C. Young
VLDB
1989
ACM
61views Database» more  VLDB 1989»
15 years 8 months ago
Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype
Gunter Saake, Volker Linnemann, Peter Pistor, Lutz...
CADE
2006
Springer
15 years 7 months ago
A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
Joe Hendrix, José Meseguer, Hitoshi Ohsaki
CONCUR
2006
Springer
15 years 7 months ago
Sortings for Reactive Systems
Lars Birkedal, Søren Debois, Thomas T. Hild...