3819 search results - page 633 / 764 » Predicting Dependability by Testing |
171
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
124
click to vote
DEXAW
1998
IEEE
15 years 8 months ago
1998
IEEE
Materialized views offer opportunities for significant performance gain in query evaluation by providing fast access to pre-computed data. The question of when and how to use a ma...
121
click to vote
ISHPC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...
119
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
Due to the exponential growth of both design complexity and the number of gates per pin, functional debugging has emerged as a critical step in the development of a system-on-chip...
118
click to vote
MFCS
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...