Sciweavers

    17298 search results - page 173 / 3460
    » Abstract computing machines
    Sort
    View
    SOFSEM
    2009
    Springer
    116views Theoretical Computer Science» more  SOFSEM 2009»
    A Machine Checked Soundness Proof for an Intermediate Verification Language
    16 years 3 months ago
    A Machine Checked Soundness Proof for an Intermediate Verification Language
    Download  www.ksi.mff.cuni.cz
    Frédéric Vogels, Bart Jacobs 0002, F...
    claim paper
    Read More »
    CLUSTER
    2007
    IEEE
    114views Distributed And Parallel Com...» more  CLUSTER 2007»
    Cost-aware scheduling for heterogeneous enterprise machines (CASH'EM)
    16 years 23 days ago
    Cost-aware scheduling for heterogeneous enterprise machines (CASH'EM)
    Download  www.hpl.hp.com
    Jennifer Burge, Parthasarathy Ranganathan, Janet L...
    claim paper
    Read More »
    TGC
    2007
    Springer
    98views Applied Computing» more  TGC 2007»
    Service Combinators for Farming Virtual Machines
    16 years 16 days ago
    Service Combinators for Farming Virtual Machines
    Download  perso.ens-lyon.fr
    Karthikeyan Bhargavan, Andrew D. Gordon, Iman Nara...
    claim paper
    Read More »
    158
    Voted
    ACL2
    2006
    ACM
    258views Computational Linguistics» more  ACL2 2006»
    A robust machine code proof framework for highly secure applications
    16 years 12 days ago
    A robust machine code proof framework for highly secure applications
    Download  www.ccs.neu.edu
    David S. Hardin, Eric W. Smith, William D. Young
    claim paper
    Read More »
    137
    Voted
    PRDC
    2005
    IEEE
    81views Applied Computing» more  PRDC 2005»
    Resilient State Machine Replication
    16 years 28 min ago
    Resilient State Machine Replication
    Download  www.di.fc.ul.pt
    Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...
    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.