High efficient real-time atomic commit protocol for mobile real-time transactions

被引:0
|
作者
Yuan, Jingzhong [1 ,2 ]
机构
[1] School of Computer Science and Technology, Tianjin University of Technology, Tianjin 300191, China
[2] Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology, Tianjin 300191, China
来源
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:1323 / 1332
相关论文
共 50 条
  • [21] Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
    Cai, Simin
    Gallina, Barbara
    Nystrom, Dag
    Seceleanu, Cristina
    [J]. 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 104 - 114
  • [22] Specification and automated verification of atomic concurrent real-time transactions
    Simin Cai
    Barbara Gallina
    Dag Nyström
    Cristina Seceleanu
    [J]. Software and Systems Modeling, 2021, 20 : 557 - 589
  • [23] Concurrency control protocol for scheduling mixed real-time transactions
    Wang, Qiang
    Wang, Hongan
    Jin, Hong
    Fu, Yong
    Dai, Guozhong
    [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2005, 42 (01): : 18 - 29
  • [24] Scheduling transactions in mobile distributed real-time database systems
    Xiang-dong Lei
    Yue-long Zhao
    Song-qiao Chen
    Xiao-li Yuan
    [J]. Journal of Central South University of Technology, 2008, 15 : 545 - 551
  • [25] Scheduling Real-Time Nested Transactions in Mobile Broadcast Environments
    Lei, Xiangdong
    Li, Wuke
    Yuan, Xiaoli
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1053 - 1058
  • [26] Scheduling transactions in mobile distributed real-time database systems
    Lei Xiang-dong
    Zhao Yue-long
    Chen Song-qiao
    Yuan Xiao-li
    [J]. JOURNAL OF CENTRAL SOUTH UNIVERSITY OF TECHNOLOGY, 2008, 15 (04): : 545 - 551
  • [27] Scheduling transactions in mobile distributed real-time database systems
    雷向东
    赵跃龙
    陈松乔
    袁晓莉
    [J]. Journal of Central South University, 2008, (04) : 545 - 551
  • [28] DISTRIBUTED REAL-TIME NESTED TRANSACTIONS
    HAQUE, W
    WONG, J
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 27 (02) : 85 - 95
  • [29] Feasibility analysis of real-time transactions
    Ahmed Rahni
    Emmanuel Grolleau
    Michaël Richard
    Pascal Richard
    [J]. Real-Time Systems, 2012, 48 : 320 - 358
  • [30] Feasibility analysis of real-time transactions
    Rahni, Ahmed
    Grolleau, Emmanuel
    Richard, Michael
    Richard, Pascal
    [J]. REAL-TIME SYSTEMS, 2012, 48 (03) : 320 - 358