RTSS 1993 | Sciweavers

34

click to vote

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

14 years 4 months ago

Download cc.ee.ntu.edu.tw

Jin Yang, Aloysius K. Mok, Farn Wang

claim paper

Read More »

37

click to vote

RTSS
1993
IEEE

158views Control Systems» more RTSS 1993»

Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems

14 years 4 months ago

Download www.cs.virginia.edu

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

claim paper

Read More »

37

click to vote

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Object-Based Semantic Real-Time Concurrency Control

14 years 4 months ago

Download homepage.cs.uri.edu

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers