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 条
  • [21] Performance Issues in Scheduling of Real-Time Transactions
    Pandey, Sarvesh
    Shanker, Udai
    DATABASE SYSTEMS FOR ADVANCED APPLICATIONS (DASFAA 2021), PT III, 2021, 12683 : 638 - 642
  • [22] Proving correctness of transformation functions in real-time groupware
    Imine, A
    Molli, P
    Oster, G
    Rusinowitch, M
    ECSCW 2003: PROCEEDINGS OF THE EIGHTH EUROPEAN CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK, 2003, : 277 - 293
  • [23] TO VERIFY THE CORRECTNESS OF IoT SENSOR DATA IN REAL-TIME
    Anh Lan Nguyen
    Kamioka, Eiji
    Nguyen-Duc, Toan
    PROCEEDINGS OF 2019 25TH ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS (APCC), 2019, : 479 - 484
  • [24] High efficient real-time atomic commit protocol for mobile real-time transactions
    Yuan, Jingzhong
    Journal of Information and Computational Science, 2008, 5 (03): : 1323 - 1332
  • [25] SCHEDULING REAL-TIME TRANSACTIONS - A PERFORMANCE EVALUATION
    ABBOTT, RK
    GARCIAMOLINA, H
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1992, 17 (03): : 513 - 560
  • [26] Feasibility of object real-time transactions.
    Misovic, M
    MODELLING AND SIMULATION 2001, 2001, : 173 - 176
  • [27] A recovery model for extended real-time transactions
    Nett, E
    Mock, M
    1997 HIGH-ASSURANCE ENGINEERING WORKSHOP - PROCEEDINGS, 1997, : 124 - 127
  • [28] SCHEDULING REAL-TIME TRANSACTIONS USING PRIORITY
    SON, SH
    INFORMATION AND SOFTWARE TECHNOLOGY, 1992, 34 (06) : 409 - 415
  • [29] Scheduling transactions with stringent real-time constraints
    Lam, KW
    Son, SH
    Hung, SL
    Wang, ZW
    INFORMATION SYSTEMS, 2000, 25 (6-7) : 431 - 452
  • [30] Active transactions integrated with real-time transactions according to data freshness
    Shimakawa, H
    Ido, G
    Takada, H
    Asano, Y
    Takegaki, M
    THIRD IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1997, : 49 - 59
12345