2774 search results - page 263 / 555 » Query-Driven Program Testing |
114
Voted
ANOR
2006
15 years 2 months ago
2006
We consider the routing and wavelength assignment (RWA) in survivable WDM network. A path protection scheme assumed and two different wavelength assignment methods for protection p...
116
click to vote
INFORMS
2006
15 years 2 months ago
2006
This paper intends to show that the time needed to solve mixed integer programming problems by branch and bound can be roughly predicted early in the solution process. We construc...
128
click to vote
SIAMREV
2010
14 years 9 months ago
2010
This work surveys essential properties of the so-called copositive matrices, the study of which is spread over more than fifty-five years. Special emphasis is given to variational ...
105
click to vote
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
108
Voted
ECSQARU
2003
Springer
15 years 8 months ago
2003
Springer
To make qualified decisions when extrapolating results from a survey sample with imprecise tests requires careful handling of uncertainty. Both the imprecise test and uncertainty ...