6800 search results - page 1023 / 1360 » Testing with Functions as Specifications |
164
click to vote
SIAMJO
2002
15 years 6 months ago
2002
This paper contains a new convergence analysis for the Lewis and Torczon generalized pattern search (GPS) class of methods for unconstrained and linearly constrained optimization. ...
196
click to vote
SPE
2002
15 years 6 months ago
2002
Development environments based on ActiveX controls and JavaBeans are marketed as "visual programming" platforms; in practice their visual dimension is limited to the des...
161
click to vote
TECS
2002
15 years 6 months ago
2002
les to further raise the abstraction level of the initial specification, where dynamic data sets can be specified without low-level details. Our method is suited for hardware and s...
155
click to vote
TIT
2002
15 years 6 months ago
2002
We offer two noiseless codes for blocks of integers Xn = (X1, . . . , Xn). We provide explicit bounds on the relative redundancy that are valid for any distribution F in the class...
147
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--We show that very large bandwidths on fading multipath channels cannot be effectively utilized by spread-spectrum systems that (in a particular sense) spread the availabl...