Sciweavers

    940 search results - page 3 / 188
    » Local rely-guarantee reasoning
    Sort
    View
    171
    Voted
    PPOPP
    2006
    ACM
    105views Distributed And Parallel Com...» more  PPOPP 2006»
    Proving correctness of highly-concurrent linearisable objects
    16 years 1 months ago
    Proving correctness of highly-concurrent linearisable objects
    Download  www.cl.cam.ac.uk
    We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
    Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...
    claim paper
    Read More »
    CADE
    2005
    Springer
    126views Logical Reasoning» more  CADE 2005»
    Hierarchic Reasoning in Local Theory Extensions
    16 years 29 days ago
    Hierarchic Reasoning in Local Theory Extensions
    Download  www.mpi-inf.mpg.de
    Viorica Sofronie-Stokkermans
    claim paper
    Read More »
    151
    Voted
    ICLP
    2010
    Springer
    99views Automated Reasoning» more  ICLP 2010»
    Local Branching in a Constraint Programming Framework
    15 years 11 months ago
    Local Branching in a Constraint Programming Framework
    Download  drops.dagstuhl.de
    Fabio Parisini
    claim paper
    Read More »
    194
    Voted
    CSL
    1999
    Springer
    144views Automated Reasoning» more  CSL 1999»
    Confidence measures from local posterior probability estimates
    15 years 7 months ago
    Confidence measures from local posterior probability estimates
    Download  homepages.inf.ed.ac.uk
    Gethin Williams, Steve Renals
    claim paper
    Read More »
    DLOG
    2009
    104views Automated Reasoning» more  DLOG 2009»
    Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
    15 years 5 months ago
    Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
    Download  dl.kr.org
    Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
    Oliver Gries
    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.