Sciweavers

    562 search results - page 35 / 113
    » A Concurrent Model for Linear Logic
    Sort
    View
    PPOPP
    2009
    ACM
    171views Distributed and Parallel Com...» more  PPOPP 2009»
    Effective performance measurement and analysis of multithreaded applications
    14 years 8 months ago
    Effective performance measurement and analysis of multithreaded applications
    Download  cscads.rice.edu
    Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
    Nathan R. Tallent, John M. Mellor-Crummey
    claim paper
    Read More »
    LICS
    2009
    IEEE
    144views Automated Reasoning» more  LICS 2009»
    Trace Semantics is Fully Abstract
    14 years 2 months ago
    Trace Semantics is Fully Abstract
    Download  www.cs.rice.edu
    mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
    Sumit Nain, Moshe Y. Vardi
    claim paper
    Read More »
    ACS
    2007
    85views Distributed And Parallel Com...» more  ACS 2007»
    A Topologist's View of Chu Spaces
    13 years 7 months ago
    A Topologist's View of Chu Spaces
    Download  www.math.yorku.ca
    Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
    Eraldo Giuli, Walter Tholen
    claim paper
    Read More »
    CISC
    2009
    Springer
    148views Cryptology» more  CISC 2009»
    Using Strategy Objectives for Network Security Analysis
    13 years 5 months ago
    Using Strategy Objectives for Network Security Analysis
    Download  theory.stanford.edu
    The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
    Elie Bursztein, John C. Mitchell
    claim paper
    Read More »
    FMOODS
    2007
    96views Formal Methods» more  FMOODS 2007»
    On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
    13 years 9 months ago
    On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance
    Download  fsl.cs.uiuc.edu
    Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
    Mark Hills, Grigore Rosu
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.