Correctness of real-time transactions and its implementation

被引：0
|
作者：
Li, G.H.
Liu, Y.S.
机构：
来源：
Jisuanji Yanjiu yu Fazhan/Computer Research and Development | 2001年 / 38卷 / 09期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Implementation Correctness of a Real-Time Operating System
    Daum, Matthias
    Schirmer, Norbert W.
    Schmidt, Mareike
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 23 - +
  • [2] Correctness of a fault-tolerant real-time scheduler and its hardware implementation
    Alkassar, Eyad
    Boehm, Peter
    Knapp, Steffen
    MEMOCODE'08: SIXTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2008, : 175 - +
  • [3] Implementation of transactions scheduling for real-time database management
    Fernandes, YMP
    Perkusich, A
    Neto, PFR
    Perkusich, MLB
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5136 - 5141
  • [4] Real-time atomic commitment for mobile distributed real-time transactions
    Xiao, YY
    Liu, YS
    Liu, XF
    Liao, GQ
    Xiao, YY
    2005 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING PROCEEDINGS, VOLS 1 AND 2, 2005, : 1299 - 1303
  • [5] Feasibility analysis of real-time transactions
    Ahmed Rahni
    Emmanuel Grolleau
    Michaël Richard
    Pascal Richard
    Real-Time Systems, 2012, 48 : 320 - 358
  • [6] DISTRIBUTED REAL-TIME NESTED TRANSACTIONS
    HAQUE, W
    WONG, J
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 27 (02) : 85 - 95
  • [7] Feasibility analysis of real-time transactions
    Rahni, Ahmed
    Grolleau, Emmanuel
    Richard, Michael
    Richard, Pascal
    REAL-TIME SYSTEMS, 2012, 48 (03) : 320 - 358
  • [8] Correctness of efficient real-time model checking
    Reif, W
    Schellhorn, G
    Vollmer, T
    Ruf, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (02) : 194 - 209
  • [9] Relaxing correctness criteria in real-time DBMSs
    Sadeg, B
    Saad-Bouzefrane, S
    COMPUTERS AND THEIR APPLICATIONS, 2000, : 64 - 67
  • [10] Real-time commitment in one-phase for distributed real-time transactions
    Xiao, Yingyuan
    Liu, Yunsheng
    Liao, Guoqiong
    Liu, Xiaofeng
    Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), 2006, 34 (03): : 1 - 4
12345