Schedulability and Performance Analysis of the Similarity Stack Protocol
暂无分享,去创建一个
[1] Donald F. Towsley,et al. On using priority inheritance in real-time databases , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.
[2] Abraham Silberschatz,et al. Triggered Real-Time Databases with Consistency Constraints , 1990, VLDB.
[3] Hector Garcia-Molina,et al. Scheduling real-time transactions: a performance evaluation , 1988, TODS.
[4] Xiaohui Song,et al. Performance of multiversion concurrency control algorithms in maintaining temporal consistency , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.
[5] Jane W.-S. Liu,et al. Imprecise Results: Utilizing Partial Comptuations in Real-Time Systems , 1987, RTSS.
[6] Sang Hyuk Son,et al. New Paradigms for Real-Time Database Systems , 1991 .
[7] David Lorge Parnas,et al. Software Requirements for the A-7E Aircraft. , 1992 .
[8] Christos H. Papadimitriou,et al. The Theory of Database Concurrency Control , 1986 .
[9] Yi Lin,et al. Concurrency control in real-time databases by dynamic adjustment of serialization order , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[10] Constance L. Heitmeyer,et al. Applying formal methods to an embedded real-time avionics system , 1993, [1993] Proceedings of the IEEE Workshop on Real-Time Applications.
[11] Lui Sha,et al. Concurrency control for distributed real-time databases , 1988, SGMD.
[12] Kwei-Jay Lin,et al. Enhancing availability in distributed real-time databases , 1988, SGMD.
[13] Calton Pu,et al. A Formal Characterization of Epsilon Serializability , 1995, IEEE Trans. Knowl. Data Eng..
[14] Lui Sha,et al. Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.
[15] Hector Garcia-Molina,et al. Read-only transactions in a distributed database , 1982, TODS.
[16] C. Douglas Locke,et al. Building a predictable avionics platform in Ada: a case study , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.
[17] Hector Garcia-Molina,et al. Coordinating activities through extended sagas: a summary , 1991, COMPCON Spring '91 Digest of Papers.
[18] Theodore P. Baker,et al. A stack-based resource allocation policy for realtime processes , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[19] Tei-Wei Kuo,et al. SSP: A semantics-based protocol for real-time data access , 1993, 1993 Proceedings Real-Time Systems Symposium.
[20] Susan B. Davidson,et al. Partial Computation in Real-Time Database Systems , 1988 .
[21] Tei-Wei Kuo,et al. Real-Time Data Semantics and Similarity-Based Concurrency Control , 2000, IEEE Trans. Computers.
[22] Miron Livny,et al. On being optimistic about real-time constraints , 1990, PODS '90.
[23] Kathryn L. Heninger. Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.
[24] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[25] Miron Livny,et al. Transition scheduling in (multiclass real-time database systems , 1992, [1992] Proceedings Real-Time Systems Symposium.
[26] Weimin Du,et al. Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase , 1989, VLDB.
[27] Tei-Wei Kuo,et al. Application semantics and concurrency control of real-time data-intensive applications , 1992, [1992] Proceedings Real-Time Systems Symposium.
[28] Tei-Wei Kuo,et al. Load adjustment in adaptive real-time systems , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.