Sciweavers

    1623 search results - page 66 / 325
    » No Sorting
    Sort
    View
    VLDB
    1989
    ACM
    67views Database» more  VLDB 1989»
    Percentile Finding Algorithm for Multiple Sorted Runs
    15 years 8 months ago
    Percentile Finding Algorithm for Multiple Sorted Runs
    Download  www.vldb.org
    Balakrishna R. Iyer, Gary R. Ricard, Peter J. Varm...
    claim paper
    Read More »
    VLDB
    1989
    ACM
    56views Database» more  VLDB 1989»
    A Low Communication Sort Algorithm for a Parallel Database Machine
    15 years 8 months ago
    A Low Communication Sort Algorithm for a Parallel Database Machine
    Download  www.vldb.org
    Raymond A. Lorie, Honesty C. Young
    claim paper
    Read More »
    VLDB
    1989
    ACM
    61views Database» more  VLDB 1989»
    Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype
    15 years 8 months ago
    Sorting, Grouping and Duplicate Elimination in the Advanced Information Management Prototype
    Download  www.vldb.org
    Gunter Saake, Volker Linnemann, Peter Pistor, Lutz...
    claim paper
    Read More »
    CADE
    2006
    Springer
    134views Logical Reasoning» more  CADE 2006»
    A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
    15 years 7 months ago
    A Sufficient Completeness Checker for Linear Order-Sorted Specifications Modulo Axioms
    Download  staff.aist.go.jp
    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
    claim paper
    Read More »
    CONCUR
    2006
    Springer
    81views Distributed And Parallel Com...» more  CONCUR 2006»
    Sortings for Reactive Systems
    15 years 7 months ago
    Sortings for Reactive Systems
    Download  www.itu.dk
    Lars Birkedal, Søren Debois, Thomas T. Hild...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.