1463 search results - page 88 / 293 » Model Checking Implicit-Invocation Systems |
108
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
126
click to vote
CAV
1997
Springer
15 years 5 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
112
click to vote
FIW
2007
15 years 3 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
133
Voted
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ACSD
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...