Sciweavers

    3872 search results - page 145 / 775
    » The Java memory model
    Sort
    View
    108
    Voted
    COCOON
    1995
    Springer
    111views Combinatorics» more  COCOON 1995»
    Extending the Hong-Kung Model to Memory Hierarchies
    15 years 8 months ago
    Extending the Hong-Kung Model to Memory Hierarchies
    Download  www.cs.brown.edu
    John E. Savage
    claim paper
    Read More »
    TACAS
    2000
    Springer
    96views Algorithms» more  TACAS 2000»
    On Memory-Block Traversal Problems in Model-Checking Timed-Systems
    15 years 8 months ago
    On Memory-Block Traversal Problems in Model-Checking Timed-Systems
    Download  www.brics.dk
    Fredrik Larsson, Paul Pettersson, Wang Yi
    claim paper
    Read More »
    MASCOTS
    1998
    89views Modeling And Simulation» more  MASCOTS 1998»
    Performance Modeling and Measurement of Parallelized Code for Distributed Shared Memory Multiprocessors
    15 years 6 months ago
    Performance Modeling and Measurement of Parallelized Code for Distributed Shared Memory Multiprocessors
    Download  www.nas.nasa.gov
    Abdul Waheed, Jerry C. Yan
    claim paper
    Read More »
    UAI
    2000
    208views Artificial Intelligence» more  UAI 2000»
    Collaborative Filtering by Personality Diagnosis: A Hybrid Memory and Model-Based Approach
    15 years 6 months ago
    Collaborative Filtering by Personality Diagnosis: A Hybrid Memory and Model-Based Approach
    Download  dpennock.com
    The growth of Internet commerce has stimulated the use of collaborative filtering (CF) algorithms as recommender systems. Such systems leverage knowledge about the known preferenc...
    David M. Pennock, Eric Horvitz, Steve Lawrence, C....
    claim paper
    Read More »
    109
    Voted
    FMICS
    2008
    Springer
    143views Formal Methods» more  FMICS 2008»
    Can Flash Memory Help in Model Checking?
    15 years 5 months ago
    Can Flash Memory Help in Model Checking?
    Download  anna.fi.muni.cz
    Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian S...
    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.