575 search results - page 33 / 115 » Model Checking Restricted Sets of Timed Paths |
176
Voted
HIS
2009
14 years 11 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
109
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
113
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
108
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...
131
click to vote
RTSS
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...