Sciweavers

    13489 search results - page 51 / 2698
    » Self-migration of operating systems
    Sort
    View
    CCR
    2008
    69views more  CCR 2008»
    NOX: towards an operating system for networks
    15 years 4 months ago
    NOX: towards an operating system for networks
    Download  noxrepo.org
    Natasha Gude, Teemu Koponen, Justin Pettit, Ben Pf...
    claim paper
    Read More »
    CORR
    2008
    Springer
    61views Education» more  CORR 2008»
    State and history in operating systems
    15 years 4 months ago
    State and history in operating systems
    Download  www.yodaiken.com
    Victor Yodaiken
    claim paper
    Read More »
    137
    Voted
    ENTCS
    2008
    94views more  ENTCS 2008»
    A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
    15 years 4 months ago
    A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
    Download  www.cl.cam.ac.uk
    This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
    Hendrik Tews, Tjark Weber, Marcus Völp
    claim paper
    Read More »
    COMPUTER
    2006
    64views more  COMPUTER 2006»
    Can We Make Operating Systems Reliable and Secure?
    15 years 4 months ago
    Can We Make Operating Systems Reliable and Secure?
    Download  www.cs.vu.nl
    Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos
    claim paper
    Read More »
    IJIS
    2008
    49views more  IJIS 2008»
    Applying aggregation operators for information access systems: An application in digital libraries
    15 years 4 months ago
    Applying aggregation operators for information access systems: An application in digital libraries
    Download  sci2s.ugr.es
    Enrique Herrera-Viedma, Javier López Gij&oa...
    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.