655 search results - page 9 / 131 » Coinduction in Concurrent Timed Systems |
RTAS
1999
IEEE
14 years 2 months ago
1999
IEEE
Data replication can help database systems meet the stringent temporal constraints of current time-critical applications, especially Internet-based services. A prerequisite, howev...
ECRTS
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
EPIA
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
RTSS
1993
IEEE
14 years 1 months ago
1993
IEEE
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...
RTSS
1990
IEEE
14 years 1 months ago
1990
IEEE
In a recent study, we have shown that in real-time database systems that discard late transactions, optimistic concurrency control outperforms locking. Although the optimistic alg...