Sciweavers

    3457 search results - page 156 / 692
    » A Symbol Is Not a Symbol
    Sort
    View
    ICCAD
    2000
    IEEE
    69views Hardware» more  ICCAD 2000»
    Symbolic Debugging Scheme for Optimized Hardware and Software
    15 years 10 months ago
    Symbolic Debugging Scheme for Optimized Hardware and Software
    Download  www.ece.rice.edu
    Farinaz Koushanfar, Darko Kirovski, Miodrag Potkon...
    claim paper
    Read More »
    ICRA
    2000
    IEEE
    92views Robotics» more  ICRA 2000»
    Symbolic Representation of Trajectories for Skill Generation
    15 years 10 months ago
    Symbolic Representation of Trajectories for Skill Generation
    Download  www.cvl.iis.u-tokyo.ac.jp
    Hirohisa Tominaga, Jun Takamatsu, Koichi Ogawara, ...
    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 10 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 »
    VL
    2000
    IEEE
    136views Visual Languages» more  VL 2000»
    A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
    15 years 10 months ago
    A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
    Download  vision.unipv.it
    The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
    Mauro Mosconi, Marco Porta
    claim paper
    Read More »
    ASPDAC
    2000
    ACM
    99views Hardware» more  ASPDAC 2000»
    Symbolic circuit-noise analysis and modeling with determinant decision diagrams
    15 years 10 months ago
    Symbolic circuit-noise analysis and modeling with determinant decision diagrams
    Download  www.ee.ucr.edu
    Xiang-Dong Tan, C.-J. Richard Shi
    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.