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 条
  • [31] Infrared target tracking in real-time video and its implementation
    Zhang Junju
    Tian Si
    Chang Benkang
    Qian Yunsh-Mg
    Sun Lianjun
    Qiu Yafeng
    INTERNATIONAL SYMPOSIUM ON PHOTOELECTRONIC DETECTION AND IMAGING 2007: PHOTOELECTRONIC IMAGING AND DETECTION, 2008, 6621
  • [32] A concurrency control protocol for real-time nested transactions
    Abdouli, M
    Sadeg, B
    Amanton, L
    Berred, A
    Alimi, A
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2003, : 230 - 235
  • [33] Scheduling real-time read-only transactions
    Lam, KW
    Lee, VCS
    Hung, SI
    FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, : 104 - 109
  • [34] SCHEDULING REAL-TIME TRANSACTIONS WITH DISK RESIDENT DATA
    ABBOTT, R
    GARCIAMOLINA, H
    VERY LARGE DATA BASES - PROCEEDINGS, 1989, : 385 - 396
  • [35] Priority Scheduling of Transactions in Distributed Real-Time Databases
    Victor C. S. Lee
    Kam-Yiu Lam
    Ben Kao
    Real-Time Systems, 1999, 16 : 31 - 62
  • [36] Stack resource protocol based on real-time transactions
    Jansen, P.G.
    Laan, R.
    IEE Proceedings: Software, 1999, 146 (02): : 112 - 119
  • [37] Classification of weak correctness criteria for real-time database applications
    Lee, K
    Park, S
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 199 - 204
  • [38] Correctness-preserving synthesis for real-time control software
    Huang, Jinfeng
    Voeten, Jeroen
    Corporaal, Henk
    QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 65 - +
  • [39] Performance issues in processing active real-time transactions
    Ulusoy, Ö
    ACTIVE, REAL-TIME, AND TEMPORAL DATABASE SYSTEMS, PROCEEDINGS, 1998, 1553 : 98 - 118
  • [40] MIRTES: MIddleware for Real-time Transactions in Embedded Systems
    Alessandrelli, Daniele
    Pagano, Paolo
    Nastasi, Christian
    Petracca, Matteo
    Dragoni, Aldo Franco
    3RD INTERNATIONAL CONFERENCE ON HUMAN SYSTEM INTERACTION, 2010, : 586 - 593
12345