6167 search results - page 1004 / 1234 » Can Refinement be Automated |
ITC
2003
IEEE
14 years 4 months ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
LCN
2003
IEEE
14 years 4 months ago
2003
IEEE
Studies of mobile ad-hoc networks are often based on simulation and their underlying, necessarily simplified assumptions of physical reality. In order to analyse the practical pro...
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
METRICS
2003
IEEE
14 years 4 months ago
2003
IEEE
Our study focuses on the effort needed for designing Web applications. The effort required for the design phase is an important part of the total development effort of a Web appli...
RSP
2003
IEEE
14 years 4 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...