3864 search results - page 72 / 773 » time 2005 |
245
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
Immortal DB builds transaction time database support into the SQL Server engine, not in middleware. Transaction time databases retain and provide access to prior states of a datab...
151
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
141
click to vote
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
A framework to assess transient performance measures is introduced by generalizing the theory of the quasi Birthand-Death (QBD) paradigm to QBDs with marked time epochs (QBDm ). T...
154
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
We address in this paper the problem of scheduling for multiprocessor real-time systems with hard and soft tasks. Utility functions are associated to soft tasks to capture their r...
128
click to vote
FATES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...