Sciweavers

    20511 search results - page 284 / 4103
    » On the level
    Sort
    View
    CAV
    2007
    Springer
    114views Hardware» more  CAV 2007»
    An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
    16 years 1 months ago
    An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
    Download  research.microsoft.com
    Sumit Gulwani, Ashish Tiwari
    claim paper
    Read More »
    CAV
    2007
    Springer
    129views Hardware» more  CAV 2007»
    BAT: The Bit-Level Analysis Tool
    16 years 1 months ago
    BAT: The Bit-Level Analysis Tool
    Download  www.ccs.neu.edu
    Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
    Panagiotis Manolios, Sudarshan K. Srinivasan, Daro...
    claim paper
    Read More »
    CIS
    2007
    Springer
    135views Applied Computing» more  CIS 2007»
    System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express
    16 years 1 months ago
    System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express
    Download  www.eecs.umich.edu
    Min An Song
    claim paper
    Read More »
    CLEF
    2007
    Springer
    279views Information Technology» more  CLEF 2007»
    Content-Based Medical Image Retrieval Using Low-Level Visual Features and Modality Identification
    16 years 1 months ago
    Content-Based Medical Image Retrieval Using Low-Level Visual Features and Modality Identification
    Download  dis.unal.edu.co
    Juan C. Caicedo, Fabio A. González, Eduardo...
    claim paper
    Read More »
    CSR
    2007
    Springer
    98views Theoretical Computer Science» more  CSR 2007»
    Sequences of Level 1, 2, 3, ..., k , ..
    16 years 1 months ago
    Sequences of Level 1, 2, 3, ..., k , ..
    Download  dept-info.labri.fr
    Géraud Sénizergues
    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.