Sciweavers

    21984 search results - page 655 / 4397
    » C
    Sort
    View
    VMCAI
    2007
    Springer
    89views Software Engineering» more  VMCAI 2007»
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    16 years 1 months ago
    Using First-Order Theorem Provers in the Jahob Data Structure Verification System
    Download  www.mit.edu
    Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
    claim paper
    Read More »
    159
    Voted
    CBMS
    2006
    IEEE
    128views Medical Imaging» more  CBMS 2006»
    Clustering Fetal Heart Rate Tracings by Compression
    16 years 1 months ago
    Clustering Fetal Heart Rate Tracings by Compression
    Download  homepages.cwi.nl
    C. Costa Santos, J. Bernardes, Paul M. B. Vit&aacu...
    claim paper
    Read More »
    CCECE
    2006
    IEEE
    320views Electrical And Computer Engi...» more  CCECE 2006»
    An Integrated PHM Approach for Gas Turbine Engines
    16 years 1 months ago
    An Integrated PHM Approach for Gas Turbine Engines
    Download  www.tecsis.ca
    Alok R. Patnaik, Amiya Nayak, V. Narasimhan, Praka...
    claim paper
    Read More »
    CODES
    2006
    IEEE
    116views Software Engineering» more  CODES 2006»
    A buffer-sizing algorithm for networks on chip using TDMA and credit-based end-to-end flow control
    16 years 1 months ago
    A buffer-sizing algorithm for networks on chip using TDMA and credit-based end-to-end flow control
    Download  infoscience.epfl.ch
    When designing a System-on-Chip (SoC) using a Networkon-Chip (NoC), silicon area and power consumption are two key elements to optimize. A dominant part of the NoC area and power ...
    Martijn Coenen, Srinivasan Murali, Andrei Radulesc...
    claim paper
    Read More »
    FCCM
    2006
    IEEE
    127views VLSI» more  FCCM 2006»
    Scalable Softcore Vector Processor for Biosequence Applications
    16 years 1 months ago
    Scalable Softcore Vector Processor for Biosequence Applications
    Download  www.ccrc.wustl.edu
    Arpith C. Jacob, Brandon Harris, Jeremy Buhler, Ro...
    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.