Sciweavers

    850 search results - page 9 / 170
    » Modeling synchronous systems in BIP
    Sort
    View
    MODELS
    2009
    Springer
    84views Natural Language Processing» more  MODELS 2009»
    Generating Synchronization Engines between Running Systems and Their Model-Based Views
    16 years 13 days ago
    Generating Synchronization Engines between Running Systems and Their Model-Based Views
    Download  research.nii.ac.jp
    Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huan...
    claim paper
    Read More »
    RTAS
    2007
    IEEE
    148views Embedded Systems» more  RTAS 2007»
    A Programming Model for Time-Synchronized Distributed Real-Time Systems
    16 years 5 days ago
    A Programming Model for Time-Synchronized Distributed Real-Time Systems
    Download  ptolemy.eecs.berkeley.edu
    Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
    Yang Zhao, Jie Liu, Edward A. Lee
    claim paper
    Read More »
    EMSOFT
    2007
    Springer
    126views Software Engineering» more  EMSOFT 2007»
    Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
    16 years 2 days ago
    Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
    Download  ptolemy.eecs.berkeley.edu
    This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
    Edward A. Lee, Haiyang Zheng
    claim paper
    Read More »
    PROMAS
    2007
    Springer
    137views Intelligent Agents» more  PROMAS 2007»
    Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
    16 years 17 hour ago
    Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
    Download  www.uni-koblenz.de
    Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
    claim paper
    Read More »
    ICCAD
    1990
    IEEE
    59views Hardware» more  ICCAD 1990»
    Partitioning of Functional Models of Synchronous Digital Systems
    15 years 10 months ago
    Partitioning of Functional Models of Synchronous Digital Systems
    Download  si2.epfl.ch
    Rajesh K. Gupta, Giovanni De Micheli
    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.