1980 search results - page 147 / 396 » Compositional Model Checking of Real Time Systems |
119
click to vote
EUROMICRO
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper addresses the problem of predicting timing properties of multi-tasking component assemblies during the design phase. For real-time applications, it is of vital importan...
143
click to vote
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
143
Voted
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
116
Voted
RTSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
113
Voted
RT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...