Sciweavers

    21984 search results - page 174 / 4397
    » C
    Sort
    View
    CODES
    2002
    IEEE
    120views Software Engineering» more  CODES 2002»
    Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model
    15 years 11 months ago
    Reconfigurable SoC design with hierarchical FSM and synchronous dataflow model
    Download  www.cecs.uci.edu
    Sunghyun Lee, Sungjoo Yoo, Kiyoung Choi
    claim paper
    Read More »
    COMPSAC
    2002
    IEEE
    99views Software Engineering» more  COMPSAC 2002»
    Program C Editor through Voice Input
    15 years 11 months ago
    Program C Editor through Voice Input
    Download  www.cse.dmu.ac.uk
    Masahiro Yamamoto
    claim paper
    Read More »
    DATE
    2002
    IEEE
    105views Hardware» more  DATE 2002»
    Functional Verification for SystemC Descriptions Using Constraint Solving
    15 years 11 months ago
    Functional Verification for SystemC Descriptions Using Constraint Solving
    Download  www.scarpaz.com
    Fabrizio Ferrandi, Michele Rendine, Donatella Sciu...
    claim paper
    Read More »
    DATE
    2002
    IEEE
    146views Hardware» more  DATE 2002»
    Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design
    15 years 11 months ago
    Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design
    Download  www.date-conference.com
    To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
    Sungjoo Yoo, Gabriela Nicolescu, Lovic Gauthier, A...
    claim paper
    Read More »
    DSD
    2002
    IEEE
    95views Hardware» more  DSD 2002»
    Reachability Analysis for Formal Verification of SystemC
    15 years 11 months ago
    Reachability Analysis for Formal Verification of SystemC
    Download  www.scarpaz.com
    Rolf Drechsler, Daniel Große
    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.