3742 search results - page 595 / 749 » On the Use of Formal Techniques for Validation |
161
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
Current lithography techniques use a light wavelength of 193nm to print sub-65nm features. This introduces process variations which cause mismatches between desired and actual waf...
164
click to vote
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
The primary goal of active networking is to increase the pace of network evolution. The approach to achieving this goal, as well as the goal of enhancing customizability, is to al...
168
click to vote
CF
2010
ACM
15 years 9 months ago
2010
ACM
Cache memories currently treat all blocks as if they were equally important, but this assumption of equally importance is not always valid. For instance, not all blocks deserve to...
201
click to vote
ADMA
2005
Springer
15 years 8 months ago
2005
Springer
Web transaction data between web visitors and web functionalities usually convey users’ task-oriented behavior patterns. Clustering web transactions, thus, may capture such infor...
163
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. In CBT, testing objectives are given und...