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
    15 years 3 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
    16 years 29 days 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
    16 years 16 days 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
    16 years 15 days 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
    15 years 12 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
    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.