Sciweavers

    17082 search results - page 261 / 3417
    » Abstractions for Mobile Computation
    Sort
    View
    FPCA
    1995
    110views Programming Languages» more  FPCA 1995»
    Abstract Models of Memory Management
    15 years 7 months ago
    Abstract Models of Memory Management
    Download  www.cs.cmu.edu
    Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
    J. Gregory Morrisett, Matthias Felleisen, Robert H...
    claim paper
    Read More »
    TACAS
    2005
    Springer
    124views Algorithms» more  TACAS 2005»
    Localization and Register Sharing for Predicate Abstraction
    15 years 9 months ago
    Localization and Register Sharing for Predicate Abstraction
    Download  www.cs.cmu.edu
    ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
    Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay ...
    claim paper
    Read More »
    SRDS
    2010
    IEEE
    133views Operating System» more  SRDS 2010»
    PrEServD - Privacy Ensured Service Discovery in Mobile Peer-to-Peer Networks
    15 years 1 months ago
    PrEServD - Privacy Ensured Service Discovery in Mobile Peer-to-Peer Networks
    Download  www.scs.ryerson.ca
    lick on the link below to access the abstract:
    Santhosh Muthyapu, Sanjay Kumar Madria, Mark Linde...
    claim paper
    Read More »
    DAC
    2004
    ACM
    225views Computer Architecture» more  DAC 2004»
    Abstraction of assembler programs for symbolic worst case execution time analysis
    16 years 5 months ago
    Abstraction of assembler programs for symbolic worst case execution time analysis
    Download  es.cs.uni-kl.de
    ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
    Klaus Schneider, Tobias Schüle
    claim paper
    Read More »
    SOSP
    2007
    ACM
    150views Operating System» more  SOSP 2007»
    Information flow control for standard OS abstractions
    16 years 26 days ago
    Information flow control for standard OS abstractions
    Download  pdos.csail.mit.edu
    ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...
    Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky,...
    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.