Sciweavers

    12333 search results - page 170 / 2467
    » System Level Modelling for Hardware Software Systems
    Sort
    View
    TCAD
    2008
    103views more  TCAD 2008»
    Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
    15 years 6 months ago
    Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
    Download  www.eleceng.adelaide.edu.au
    The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
    Xiaoxi Xu, Cheng-Chew Lim
    claim paper
    Read More »
    WOSP
    2005
    ACM
    110views Software Engineering» more  WOSP 2005»
    A model transformation framework for the automated building of performance models from UML models
    15 years 12 months ago
    A model transformation framework for the automated building of performance models from UML models
    Download  www.info.uniroma2.it
    In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
    Andrea D'Ambrogio
    claim paper
    Read More »
    VLSID
    2003
    IEEE
    91views VLSI» more  VLSID 2003»
    High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
    16 years 6 months ago
    High Level Modeling and Validation Methodologies for Embedded Systems: Bridging the Productivity Gap
    Download  www1.cs.columbia.edu
    Sandeep K. Shukla, Jean-Pierre Talpin, Stephen A. ...
    claim paper
    Read More »
    EURODAC
    1994
    IEEE
    148views VHDL» more  EURODAC 1994»
    System-Level Modeling and Verification: a Comprehensive Design Methodology
    15 years 9 months ago
    System-Level Modeling and Verification: a Comprehensive Design Methodology
    Download  www.cad.polito.it
    Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...
    claim paper
    Read More »
    IJPP
    2006
    75views more  IJPP 2006»
    Verification of System Level Model Transformations
    15 years 6 months ago
    Verification of System Level Model Transformations
    Download  www.cecs.uci.edu
    Samar Abdi, Daniel Gajski
    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.