Sciweavers

    31387 search results - page 142 / 6278
    » Abstracting abstract machines
    Sort
    View
    147
    Voted
    MOBIHOC
    2008
    ACM
    132views Computer Networks» more  MOBIHOC 2008»
    Poster abstract: scalable and collaborative internet access for opportunistic people networks
    16 years 6 months ago
    Poster abstract: scalable and collaborative internet access for opportunistic people networks
    Download  www.iis.sinica.edu.tw
    Ling-Jyh Chen, Ting-Kai Huang, Che-Liang Chiou
    claim paper
    Read More »
    MOBIHOC
    2008
    ACM
    126views Computer Networks» more  MOBIHOC 2008»
    Poster abstract: an evaluation study of routing reliability in opportunistic networks
    16 years 6 months ago
    Poster abstract: an evaluation study of routing reliability in opportunistic networks
    Download  www.iis.sinica.edu.tw
    Che-Liang Chiou, Ling-Jyh Chen
    claim paper
    Read More »
    178
    Voted
    POPL
    2010
    ACM
    188views Programming Languages» more  POPL 2010»
    Decision Procedures for Algebraic Data Types with Abstractions
    16 years 4 months ago
    Decision Procedures for Algebraic Data Types with Abstractions
    Download  lara.epfl.ch
    Philippe Suter, Mirco Dotta, Viktor Kuncak
    claim paper
    Read More »
    VMCAI
    2010
    Springer
    157views Software Engineering» more  VMCAI 2010»
    Abstract Threads
    16 years 4 months ago
    Abstract Threads
    Download  www.vs.inf.ethz.ch
    Shuvendu K. Lahiri, Alexander Malkis, Shaz Qadeer
    claim paper
    Read More »
    VMCAI
    2010
    Springer
    143views Software Engineering» more  VMCAI 2010»
    An Abstract Domain to Discover Interval Linear Equalities
    16 years 4 months ago
    An Abstract Domain to Discover Interval Linear Equalities
    Download  www.di.ens.fr
    Liqian Chen, Antoine Miné, Ji Wang, Patrick...
    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.