Sciweavers

    11716 search results - page 39 / 2344
    » Computable symbolic dynamics
    Sort
    View
    SOFSEM
    2010
    Springer
    105views Theoretical Computer Science» more  SOFSEM 2010»
    Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
    16 years 1 months ago
    Symbolic OBDD-Based Reachability Analysis Needs Exponential Space
    Download  www.sofsem.cz
    Beate Bollig
    claim paper
    Read More »
    WG
    2004
    Springer
    106views Theoretical Computer Science» more  WG 2004»
    A Symbolic Approach to the All-Pairs Shortest-Paths Problem
    15 years 10 months ago
    A Symbolic Approach to the All-Pairs Shortest-Paths Problem
    Download  ls2-www.cs.uni-dortmund.de
    Daniel Sawitzki
    claim paper
    Read More »
    IPPS
    2000
    IEEE
    82views Distributed And Parallel Com...» more  IPPS 2000»
    Using Postordering and Static Symbolic Factorization for Parallel Sparse LU
    15 years 9 months ago
    Using Postordering and Static Symbolic Factorization for Parallel Sparse LU
    Download  ipdps.cc.gatech.edu
    Michel Cosnard, Laura Grigori
    claim paper
    Read More »
    DAC
    2000
    ACM
    83views Computer Architecture» more  DAC 2000»
    Reliable verification using symbolic simulation with scalar values
    15 years 9 months ago
    Reliable verification using symbolic simulation with scalar values
    Download  www.eecs.umich.edu
    Chris Wilson, David L. Dill
    claim paper
    Read More »
    DAC
    1999
    ACM
    122views Computer Architecture» more  DAC 1999»
    Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits
    15 years 8 months ago
    Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits
    Download  www.cecs.uci.edu
    Valeria Bertacco, Maurizio Damiani, Stefano Quer
    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.