Sciweavers

    3394 search results - page 100 / 679
    » A Modal Model of Memory
    Sort
    View
    74
    Voted
    COCOON
    1995
    Springer
    111views Combinatorics» more  COCOON 1995»
    Extending the Hong-Kung Model to Memory Hierarchies
    15 years 4 months ago
    Extending the Hong-Kung Model to Memory Hierarchies
    Download  www.cs.brown.edu
    John E. Savage
    claim paper
    Read More »
    83
    Voted
    TACAS
    2000
    Springer
    96views Algorithms» more  TACAS 2000»
    On Memory-Block Traversal Problems in Model-Checking Timed-Systems
    15 years 4 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 »
    75
    Voted
    MASCOTS
    1998
    89views Modeling And Simulation» more  MASCOTS 1998»
    Performance Modeling and Measurement of Parallelized Code for Distributed Shared Memory Multiprocessors
    15 years 1 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 »
    132
    Voted
    UAI
    2000
    208views Artificial Intelligence» more  UAI 2000»
    Collaborative Filtering by Personality Diagnosis: A Hybrid Memory and Model-Based Approach
    15 years 1 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 »
    FMICS
    2008
    Springer
    143views Formal Methods» more  FMICS 2008»
    Can Flash Memory Help in Model Checking?
    15 years 1 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
    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-2025, USA.