Sciweavers

    5015 search results - page 225 / 1003
    » Model Checking a Path
    Sort
    View
    140
    Voted
    WEBDB
    2005
    Springer
    103views Database» more  WEBDB 2005»
    A Data Model and Query Language to Explore Enhanced Links and Paths in Life Science Sources
    16 years 18 days ago
    A Data Model and Query Language to Explore Enhanced Links and Paths in Life Science Sources
    Download  webdb2005.uhasselt.be
    George A. Mihaila, Felix Naumann, Louiqa Raschid, ...
    claim paper
    Read More »
    SIGMETRICS
    2003
    ACM
    101views Hardware» more  SIGMETRICS 2003»
    Choosing an accurate network path model
    16 years 11 days ago
    Choosing an accurate network path model
    Download  www.eecs.berkeley.edu
    Almudena Konrad, Anthony D. Joseph
    claim paper
    Read More »
    144
    Voted
    RANDOM
    1997
    Springer
    88views Theoretical Computer Science» more  RANDOM 1997»
    Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model
    15 years 11 months ago
    Average-Case Complexity of Shortest-Paths Problems in the Vertex-Potential Model
    Download  www.mpi-inf.mpg.de
    Colin Cooper, Alan M. Frieze, Kurt Mehlhorn, Volke...
    claim paper
    Read More »
    153
    Voted
    DAC
    1995
    ACM
    124views Computer Architecture» more  DAC 1995»
    Symbolic Modeling and Evaluation of Data Paths
    15 years 10 months ago
    Symbolic Modeling and Evaluation of Data Paths
    Download  bears.ece.ucsb.edu
    Chuck Monahan, Forrest Brewer
    claim paper
    Read More »
    RTSS
    1995
    IEEE
    85views Control Systems» more  RTSS 1995»
    Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software
    15 years 10 months ago
    Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software
    Download  www.csee.umbc.edu
    Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe
    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.