Sciweavers

    31387 search results - page 214 / 6278
    » Abstracting abstract machines
    Sort
    View
    DATE
    2003
    IEEE
    72views Hardware» more  DATE 2003»
    Processor/Memory Co-Exploration on Multiple Abstraction Levels
    15 years 12 months ago
    Processor/Memory Co-Exploration on Multiple Abstraction Levels
    Download  www.ert.rwth-aachen.de
    Gunnar Braun, Andreas Wieferink, Oliver Schliebusc...
    claim paper
    Read More »
    DATE
    2003
    IEEE
    101views Hardware» more  DATE 2003»
    Introduction to Hardware Abstraction Layers for SoC
    15 years 12 months ago
    Introduction to Hardware Abstraction Layers for SoC
    Download  tima.imag.fr
    Sungjoo Yoo, Ahmed Amine Jerraya
    claim paper
    Read More »
    DSN
    2003
    IEEE
    137views Computer Networks» more  DSN 2003»
    An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
    15 years 12 months ago
    An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
    Download  rw4.cs.uni-sb.de
    Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...
    claim paper
    Read More »
    ICCAD
    2003
    IEEE
    97views Hardware» more  ICCAD 2003»
    Iterative Abstraction using SAT-based BMC with Proof Analysis
    15 years 12 months ago
    Iterative Abstraction using SAT-based BMC with Proof Analysis
    Download  www.cs.wmich.edu
    Aarti Gupta, Malay K. Ganai, Zijiang Yang, Pranav ...
    claim paper
    Read More »
    ICDCSW
    2003
    IEEE
    99views Computer Networks» more  ICDCSW 2003»
    A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks
    15 years 12 months ago
    A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks
    Download  www.cs.virginia.edu
    Tarek F. Abdelzaher, Jack Stankovic, Sang Hyuk Son...
    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.