Sciweavers

    29172 search results - page 406 / 5835
    » Modeling Systems in CLP
    Sort
    View
    VECPAR
    2004
    Springer
    111views Distributed And Parallel Com...» more  VECPAR 2004»
    Parallel Model Reduction of Large Linear Descriptor Systems via Balanced Truncation
    16 years 28 days ago
    Parallel Model Reduction of Large Linear Descriptor Systems via Balanced Truncation
    Download  www.hpca.uji.es
    Peter Benner, Enrique S. Quintana-Ortí, Gre...
    claim paper
    Read More »
    C5
    2003
    IEEE
    92views Applied Computing» more  C5 2003»
    Computer learning system for pre-school-age children based on a haptized model railway
    16 years 27 days ago
    Computer learning system for pre-school-age children based on a haptized model railway
    Download  www.atr.jp
    Haruo Noma, Hirokazu Sasamoto, Yuichi Itoh, Yoshif...
    claim paper
    Read More »
    CCGRID
    2003
    IEEE
    103views Distributed And Parallel Com...» more  CCGRID 2003»
    The Performance Model of SilkRoad - A Multithreaded DSM System for Clusters
    16 years 27 days ago
    The Performance Model of SilkRoad - A Multithreaded DSM System for Clusters
    Download  www.comp.nus.edu.sg
    Liang Peng, Weng-Fai Wong, Chung-Kwong Yuen
    claim paper
    Read More »
    DATE
    2003
    IEEE
    130views Hardware» more  DATE 2003»
    Automatic Behavioural Model Calibration for Efficient PLL System Verification
    16 years 27 days ago
    Automatic Behavioural Model Calibration for Efficient PLL System Verification
    Download  www.date-conference.com
    Ayman Mounir, Ahmed Mostafa, Maged Fikry
    claim paper
    Read More »
    FDL
    2003
    IEEE
    101views Natural Language Processing» more  FDL 2003»
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    16 years 27 days ago
    Combining Formal Refinement and Model Checking for Real-Time Systems Verification
    Download  www.c-lab.de
    Alexander Krupp, Wolfgang Müller 0003
    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.