7557 search results - page 26 / 1512 » Modeling Timed Concurrent Systems |
150
click to vote
RTAS
1999
IEEE
15 years 5 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...
120
click to vote
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
136
click to vote
ECRTS
2004
IEEE
15 years 5 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...
112
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
105
click to vote
RTSS
1990
IEEE
15 years 5 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...