249 search results - page 29 / 50 » Context Sensitivity in Logical Modeling with Time Delays |
121
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
129
click to vote
ENTCS
2006
15 years 1 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
248
click to vote
GIS
2006
ACM
16 years 3 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
131
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
122
click to vote
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
The lack of good "correlation" between pre-silicon simulated delays and measured delays on silicon (silicon data) has spurred efforts on so-called silicon debug. The ide...