Transformational approach to the design of distributed real-time systems

被引：0
|
作者：
Tu, M.H.
Yu, H.Q.
机构：
来源：
Huadong Ligong Daxue Xuebao /Journal of East China University of Science and Technology | 2001年 / 27卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] On the Conception of Executable Design Languages for Distributed Real-time Systems
    Gotzhein, Reinhard
    24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 733 - 741
  • [22] Pictures that play: design notations for real-time and distributed systems
    Buhr, R.J.A
    Software - Practice and Experience, 1993, 23 (08) : 895 - 931
  • [23] Modular Design and Verification of Distributed Adaptive Real-Time Systems
    Goethel, Thomas
    Bartels, Bjoern
    NATURE OF COMPUTATION AND COMMUNICATION, 2015, 144 : 3 - 12
  • [24] End-to-end design of distributed real-time systems
    Ryu, M
    Hong, S
    DISTRIBUTED COMPUTER CONTROL SYSTEMS 1997 (DCCS'97), 1997, : 23 - 28
  • [25] SEW: A toolset for design and analysis of distributed real-time systems
    Chatterjee, S
    Bradley, K
    Madriz, J
    Colquist, JA
    Strosnider, J
    THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 72 - 77
  • [26] Design of mutual exclusion algorithms for real-time distributed systems
    Chang, Y.I.
    Journal of Information Science and Engineering, 1994, 10 (04)
  • [27] Graph approach to job assignment in distributed real-time systems
    A. M. Gruzlikov
    N. V. Kolesov
    Yu. M. Skorodumov
    M. V. Tolmacheva
    Journal of Computer and Systems Sciences International, 2014, 53 : 702 - 712
  • [28] Graph approach to job assignment in distributed real-time systems
    Gruzlikov, A. M.
    Kolesov, N. V.
    Skorodumov, Yu. M.
    Tolmacheva, M. V.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2014, 53 (05) : 702 - 712
  • [29] A SYSTEMATIC-APPROACH TO DESIGNING DISTRIBUTED REAL-TIME SYSTEMS
    SHA, L
    SATHAYE, SS
    COMPUTER, 1993, 26 (09) : 68 - 78
  • [30] A Satisfiability Approach to Speed Assignment for Distributed Real-Time Systems
    Kumar, Pratyush
    Chokshi, Devesh B.
    Thiele, Lothar
    DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 749 - 754
12345