2407 search results - page 103 / 482 » A Tool for Abstraction in Model Checking |
162
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
141
click to vote
ACSD
2010
IEEE
15 years 4 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...
179
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
177
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
210
click to vote
TII
2008
15 years 6 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...