Sciweavers

    21984 search results - page 209 / 4397
    » C
    Sort
    View
    127
    Voted
    TCAD
    2002
    79views more  TCAD 2002»
    An automorphic approach to verification pattern generation for SoC design verification using port-order fault model
    15 years 4 months ago
    An automorphic approach to verification pattern generation for SoC design verification using port-order fault model
    Download  nthucad.cs.nthu.edu.tw
    Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou
    claim paper
    Read More »
    IJBRA
    2007
    56views more  IJBRA 2007»
    Molecular coevolution of the vertebrate cytochrome c
    15 years 4 months ago
    Molecular coevolution of the vertebrate cytochrome c
    Download  www.biotconf.org
    Kimberly K. Baer, David A. McClellan
    claim paper
    Read More »
    ISSE
    2010
    156views Security Privacy» more  ISSE 2010»
    Generating heterogeneous executable specifications in SystemC from UML/MARTE models
    15 years 3 months ago
    Generating heterogeneous executable specifications in SystemC from UML/MARTE models
    Download  www.artist-embedded.org
    Pablo Peñil, J. Medina, Hector Posadas, Eug...
    claim paper
    Read More »
    105
    Voted
    JAR
    2010
    83views more  JAR 2010»
    HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
    15 years 3 months ago
    HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler
    Download  research.microsoft.com
    Sascha Böhme, Michal Moskal, Wolfram Schulte,...
    claim paper
    Read More »
    JOT
    2010
    142views more  JOT 2010»
    Darwin's World Simulation in C#: The Model/View Classes
    15 years 3 months ago
    Darwin's World Simulation in C#: The Model/View Classes
    Download  www.jot.fm
    Richard Wiener
    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.