854 search results - page 2 / 171 » Timing coverification of concurrent embedded real-time syste... |
RTAS
1999
IEEE
13 years 11 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
13 years 11 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...
ECRTS
1999
IEEE
13 years 11 months ago
1999
IEEE
ECRTS
2009
IEEE
13 years 5 months ago
2009
IEEE
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...