Sciweavers

    8627 search results - page 109 / 1726
    » Software Engineering Using RATionale
    Sort
    View
    IWPC
    2002
    IEEE
    90views Software Engineering» more  IWPC 2002»
    On Using a Benchmark to Evaluate C++ Extractors
    15 years 9 months ago
    On Using a Benchmark to Evaluate C++ Extractors
    Download  www.ics.uci.edu
    In this paper, we take the concept of benchmarking as used extensively in computing and apply it to evaluating C++ fact extractors. We demonstrated the efficacy of this approach b...
    Susan Elliott Sim, Richard C. Holt, Steve M. Easte...
    claim paper
    Read More »
    CGO
    2006
    IEEE
    119views Software Engineering» more  CGO 2006»
    Using Machine Learning to Focus Iterative Optimization
    15 years 10 months ago
    Using Machine Learning to Focus Iterative Optimization
    Download  www.anc.ed.ac.uk
    Felix V. Agakov, Edwin V. Bonilla, John Cavazos, B...
    claim paper
    Read More »
    AC
    1999
    Springer
    102views Software Engineering» more  AC 1999»
    PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store
    15 years 8 months ago
    PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store
    Download  www.dcs.qmul.ac.uk
    Paulo Ferreira, Marc Shapiro, Xavier Blondel, Oliv...
    claim paper
    Read More »
    AMAST
    2006
    Springer
    124views Software Engineering» more  AMAST 2006»
    Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
    15 years 8 months ago
    Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
    Download  pop-art.inrialpes.fr
    Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
    Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...
    claim paper
    Read More »
    CSSE
    2004
    IEEE
    73views Software Engineering» more  CSSE 2004»
    Transformation-based temporal aggregation using order-based buffer replacement strategy
    15 years 4 months ago
    Transformation-based temporal aggregation using order-based buffer replacement strategy
    Download  www.cems.uvm.edu
    Joon-Ho Woo, Byung Suk Lee, Min-Jae Lee, Jae-Gil L...
    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.