Sciweavers

RTSS
1993
IEEE
14 years 3 months ago
Symbolic Model Checking for Event-Driven Real-Time Systems
Jin Yang, Aloysius K. Mok, Farn Wang
RTSS
1993
IEEE
14 years 3 months ago
Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems
Studies in [7,8, 91 concluded that for a variety of reasons, optimistic concurrency control appears well-suited to real-time database systems. Especially, they showed that in a re...
Juhnyoung Lee, Sang Hyuk Son
RTSS
1993
IEEE
14 years 3 months ago
Object-Based Semantic Real-Time Concurrency Control
This paper presents a technique that is capable of supporting two major requirements for concurrency control in real-time databases: data temporal consistency, and data logical co...
Lisa Cingiser DiPippo, Victor Fay Wolfe