1980 search results - page 64 / 396 » Compositional Model Checking of Real Time Systems |
101
click to vote
PATMOS
2007
Springer
15 years 6 months ago
2007
Springer
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
106
click to vote
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
ICEIS
2008
IEEE
15 years 6 months ago
2008
IEEE
121
click to vote
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
122
click to vote
EPEW
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...