Sciweavers

    14824 search results - page 387 / 2965
    » Security - Introduction
    Sort
    View
    143
    Voted
    MSCS
    2010
    73views more  MSCS 2010»
    Modal and mixed specifications: key decision problems and their complexities
    15 years 2 months ago
    Modal and mixed specifications: key decision problems and their complexities
    Download  pubs.doc.ic.ac.uk
    Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik N...
    claim paper
    Read More »
    MSCS
    2010
    59views more  MSCS 2010»
    Observing the superposition of a single particle with the vacuum
    15 years 2 months ago
    Observing the superposition of a single particle with the vacuum
    Download  www.dunningham.org
    Luis Manuel Rico Gutierrez, Veiko Palge, Jacob Dun...
    claim paper
    Read More »
    155
    Voted
    SPE
    2010
    82views more  SPE 2010»
    Loop recreation for thread-level speculation on multicore processors
    15 years 2 months ago
    Loop recreation for thread-level speculation on multicore processors
    Download  www.cse.unsw.edu.au
    Lin Gao 0002, Jingling Xue, Tin-Fook Ngai
    claim paper
    Read More »
    132
    Voted
    SPE
    2010
    91views more  SPE 2010»
    Generalizable safety annotations for specification of failure patterns
    15 years 2 months ago
    Generalizable safety annotations for specification of failure patterns
    Download  www2.hull.ac.uk
    Ian Wolforth, Martin Walker, Lars Grunske, Yiannis...
    claim paper
    Read More »
    SPE
    2010
    87views more  SPE 2010»
    Communicating between the kernel and user-space in Linux using Netlink sockets
    15 years 2 months ago
    Communicating between the kernel and user-space in Linux using Netlink sockets
    Download  1984.lsi.us.es
    Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lef&eg...
    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.