Sciweavers

    2512 search results - page 112 / 503
    » Software Transactional Memory
    Sort
    View
    ASPDAC
    2010
    ACM
    151views Hardware» more  ASPDAC 2010»
    Source-level timing annotation for fast and accurate TLM computation model generation
    13 years 7 months ago
    Source-level timing annotation for fast and accurate TLM computation model generation
    Download  logos.cs.nthu.edu.tw
    This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...
    Kai-Li Lin, Chen Kang Lo, Ren-Song Tsay
    claim paper
    Read More »
    FSTTCS
    2009
    Springer
    116views Software Engineering» more  FSTTCS 2009»
    On the Memory Consumption of Probabilistic Pushdown Automata
    14 years 4 months ago
    On the Memory Consumption of Probabilistic Pushdown Automata
    Download  www7.in.tum.de
    Tomás Brázdil, Javier Esparza, Stefa...
    claim paper
    Read More »
    LCPC
    2007
    Springer
    113views System Software» more  LCPC 2007»
    Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers
    14 years 4 months ago
    Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers
    Download  polaris.cs.uiuc.edu
    Yuan Zhang, Evelyn Duesterwald, Guang R. Gao
    claim paper
    Read More »
    SCOPES
    2007
    Springer
    107views System Software» more  SCOPES 2007»
    Systematic intermediate sequence removal for reduced memory accesses
    14 years 4 months ago
    Systematic intermediate sequence removal for reduced memory accesses
    Download  www.scopesconf.org
    Christophe Poucet, Stylianos Mamagkakis, David Ati...
    claim paper
    Read More »
    SEW
    2005
    IEEE
    100views Software Engineering» more  SEW 2005»
    Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
    14 years 3 months ago
    Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems
    Download  www.cse.msu.edu
    R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Di...
    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.