A DECENTRALIZED EMBEDDED OPERATING SYSTEM SUPPORTING DISTRIBUTED EXECUTION OF ADA TASKS

被引:0
|
作者
SHULTZ, RK
机构
来源
WORKSHOP ON EXPERIENCES WITH DISTRIBUTED AND MULTIPROCESSOR SYSTEMS | 1989年
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:391 / 409
页数:19
相关论文
共 50 条
  • [1] ISSUES IN THE DESIGN OF A DISTRIBUTED OPERATING SYSTEM FOR ADA
    FISHER, DA
    WEATHERLY, RM
    COMPUTER, 1986, 19 (05) : 38 - 47
  • [2] TRANSLATION AND EXECUTION OF DISTRIBUTED ADA PROGRAMS - IS IT STILL ADA
    VOLZ, RA
    MUDGE, TN
    BUZZARD, GD
    KRISHNAN, P
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (03) : 281 - 292
  • [4] A Real-Time Operating System Supporting Distributed Shared Memory for Embedded Control Systems
    Tamura, Yuji
    Doan Truong Thi
    Chiba, Takahiro
    Yoo, Myungryun
    Yokoyama, Takanori
    INFORMATION SCIENCE AND APPLICATIONS 2017, ICISA 2017, 2017, 424 : 202 - 210
  • [5] A real-time operating system supporting distributed shared memory for embedded control systems
    Yuji Tamura
    Truong Thi Doan
    Takahiro Chiba
    Myungryun Yoo
    Takanori Yokoyama
    Cluster Computing, 2019, 22 : 989 - 998
  • [6] A real-time operating system supporting distributed shared memory for embedded control systems
    Tamura, Yuji
    Truong Thi Doan
    Chiba, Takahiro
    Yoo, Myungryun
    Yokoyama, Takanori
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2019, 22 (Suppl 1): : 989 - 998
  • [7] TIMING ISSUES IN THE DISTRIBUTED EXECUTION OF ADA PROGRAMS
    VOLZ, RA
    MUDGE, TN
    IEEE TRANSACTIONS ON COMPUTERS, 1987, 36 (04) : 449 - 459
  • [8] HIGH-LEVEL INTERPRETATION OF EXECUTION TRACES OF ADA TASKS
    CAILLET, JF
    BONNET, C
    RAITHER, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 289 : 309 - 317
  • [9] A PROOF SYSTEM FOR ADA TASKS
    BARRINGER, H
    MEARNS, I
    COMPUTER JOURNAL, 1986, 29 (05): : 404 - 415
  • [10] Supporting a distributed execution of clinical guidelines
    Bottrighi, Alessio
    Molino, Gianpaolo
    Montani, Stefania
    Terenziani, Paolo
    Torchio, Mauro
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 2013, 112 (01) : 200 - 210