Sciweavers

    15635 search results - page 128 / 3127
    » Modelling and Design of VAML
    Sort
    View
    ACMSE
    2004
    ACM
    110views Theoretical Computer Science» more  ACMSE 2004»
    E-R modeler: a database modeling toolkit for Eclipse
    15 years 10 months ago
    E-R modeler: a database modeling toolkit for Eclipse
    Download  www.gray-area.org
    Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
    Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang, Yuehua ...
    claim paper
    Read More »
    BIRTHDAY
    2007
    Springer
    78views Applied Computing» more  BIRTHDAY 2007»
    Models and Software Model Checking of a Distributed File Replication System
    15 years 11 months ago
    Models and Software Model Checking of a Distributed File Replication System
    Download  research.microsoft.com
    With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
    Nikolaj Bjørner
    claim paper
    Read More »
    DAC
    1999
    ACM
    130views Computer Architecture» more  DAC 1999»
    A Model for Scheduling Protocol-Constrained Components and Environments
    16 years 5 months ago
    A Model for Scheduling Protocol-Constrained Components and Environments
    Download  bears.ece.ucsb.edu
    Steve Haynal, Forrest Brewer
    claim paper
    Read More »
    DAC
    2001
    ACM
    112views Computer Architecture» more  DAC 2001»
    Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk
    16 years 5 months ago
    Modeling and Analysis of Differential Signaling for Minimizing Inductive Cross-Talk
    Download  vada.skku.ac.kr
    Yehia Massoud, Jamil Kawa, Don MacMillen, Jacob Wh...
    claim paper
    Read More »
    DAC
    2002
    ACM
    92views Computer Architecture» more  DAC 2002»
    A detailed cost model for concurrent use with hardware/software co-design
    16 years 5 months ago
    A detailed cost model for concurrent use with hardware/software co-design
    Download  www.enme.umd.edu
    Daniel Ragan, Peter Sandborn, Paul Stoaks
    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.