Sciweavers

    2451 search results - page 4 / 491
    » The Octagon Abstract Domain
    Sort
    View
    63
    Voted
    INFORMATICALT
    2002
    75views more  INFORMATICALT 2002»
    Relationship Model of Abstractions Used for Developing Domain Generators
    14 years 9 months ago
    Relationship Model of Abstractions Used for Developing Domain Generators
    Download  www.mii.lt
    Vytautas Stuikys, Robertas Damasevicius
    claim paper
    Read More »
    SAS
    2010
    Springer
    108views Formal Methods» more  SAS 2010»
    Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables
    14 years 8 months ago
    Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables
    Download  www-pequan.lip6.fr
    Alexandre Chapoutot
    claim paper
    Read More »
    CACM
    1999
    113views more  CACM 1999»
    Object-oriented Abstractions for Distributed Programming
    14 years 9 months ago
    Object-oriented Abstractions for Distributed Programming
    Download  www.engr.sjsu.edu
    ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
    Rachid Guerraoui, Mohamed Fayad
    claim paper
    Read More »
    MOC
    2000
    104views more  MOC 2000»
    A domain embedding preconditioner for the Lagrange multiplier system
    14 years 9 months ago
    A domain embedding preconditioner for the Lagrange multiplier system
    Download  www.ams.org
    Abstract. Finite element approximations for the Dirichlet problem associated to a second
    Einar Haug, Ragnar Winther
    claim paper
    Read More »
    AUIC
    2006
    IEEE
    247views Software Engineering» more  AUIC 2006»
    Virtual planning rooms (ViPR): a 3D visualisation environment for hierarchical information
    15 years 4 months ago
    Virtual planning rooms (ViPR): a 3D visualisation environment for hierarchical information
    Download  www.crpit.com
    The Future Operations Centre Analysis Laboratory (FOCAL) at Australia’s Defence Science and Technology Organisation (DSTO) is aimed at exploring new paradigms for situation awar...
    Michael Broughton
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.