Sciweavers

    29172 search results - page 399 / 5835
    » Modeling Systems in CLP
    Sort
    View
    SOFSEM
    2007
    Springer
    93views Theoretical Computer Science» more  SOFSEM 2007»
    Model-Checking Large Finite-State Systems and Beyond
    16 years 1 months ago
    Model-Checking Large Finite-State Systems and Beyond
    Download  www.sofsem.cz
    Lubos Brim, Mojmír Kretínský
    claim paper
    Read More »
    104
    Voted
    DATE
    2006
    IEEE
    50views Hardware» more  DATE 2006»
    Task-accurate performance modeling in SystemC for real-time multi-processor architectures
    16 years 1 months ago
    Task-accurate performance modeling in SystemC for real-time multi-processor architectures
    Download  www12.informatik.uni-erlangen.de
    Martin Streubühr, Joachim Falk, Christian Hau...
    claim paper
    Read More »
    194
    Voted
    DEPCOS
    2006
    IEEE
    93views Hardware» more  DEPCOS 2006»
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    16 years 1 months ago
    Model-based Automatic Test Generation for Event-Driven Embedded Systems using Model Checkers
    Download  home.mit.bme.hu
    Zoltán Micskei, István Majzik
    claim paper
    Read More »
    DSD
    2006
    IEEE
    115views Hardware» more  DSD 2006»
    Abstract Application Modeling for System Design Space Exploration
    16 years 1 months ago
    Abstract Application Modeling for System Design Space Exploration
    Download  www.tsi.enst.fr
    Muhammad Waseem, Ludovic Apvrille, Rabéa Am...
    claim paper
    Read More »
    182
    Voted
    ICARCV
    2006
    IEEE
    90views Robotics» more  ICARCV 2006»
    Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets
    16 years 1 months ago
    Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets within Nets
    Download  2005.iccas.org
    Xiao-Hui Hu, Xing-She Zhou
    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.