Sciweavers

    8132 search results - page 85 / 1627
    » Dependability, Abstraction, and Programming
    Sort
    View
    CP
    2005
    Springer
    110views Artificial Intelligence» more  CP 2005»
    Methods to Learn Abstract Scheduling Models
    16 years 10 days ago
    Methods to Learn Abstract Scheduling Models
    Download  lia.deis.unibo.it
    Tom Carchrae, J. Christopher Beck, Eugene C. Freud...
    claim paper
    Read More »
    PPDP
    2005
    Springer
    90views Programming Languages» more  PPDP 2005»
    Abstraction carrying code and resource-awareness
    16 years 8 days ago
    Abstraction carrying code and resource-awareness
    Download  clip.dia.fi.upm.es
    Manuel V. Hermenegildo, Elvira Albert, Pedro L&oac...
    claim paper
    Read More »
    ICALP
    2004
    Springer
    99views Programming Languages» more  ICALP 2004»
    Deterministic M2M Multicast in Radio Networks: (Extended Abstract)
    16 years 5 days ago
    Deterministic M2M Multicast in Radio Networks: (Extended Abstract)
    Download  people.scs.carleton.ca
    Leszek Gasieniec, Evangelos Kranakis, Andrzej Pelc...
    claim paper
    Read More »
    PRDC
    2005
    IEEE
    73views Applied Computing» more  PRDC 2005»
    Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems
    16 years 11 days ago
    Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems
    Download  ftp.irisa.fr
    TING SETS: A BASIC ABSTRACTION FOR ASYNCHRONOUS AGREEMENT PROBLEMS ROY FRIEDMAN , ACHOUR MOSTEFAOUI , MICHEL RAYNAL
    Roy Friedman, Achour Mostéfaoui, Michel Ray...
    claim paper
    Read More »
    SEFM
    2005
    IEEE
    168views Software Engineering» more  SEFM 2005»
    Description Logics for Shape Analysis
    16 years 11 days ago
    Description Logics for Shape Analysis
    Download  homepages.inf.ed.ac.uk
    Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
    Lilia Georgieva, Patrick Maier
    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.