609 search results - page 63 / 122 » Optimizing Design for Variability Using Traceability Links |
CPHYSICS
2006
13 years 8 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
NSDI
2004
13 years 10 months ago
2004
Designing a wide-area distributed hash table (DHT) that provides high-throughput and low-latency network storage is a challenge. Existing systems have explored a range of solution...
DAC
1998
ACM
14 years 22 days ago
1998
ACM
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
JMLR
2010
13 years 3 months ago
2010
Discovering the dependencies among the variables of a domain from examples is an important problem in optimization. Many methods have been proposed for this purpose, but few large...
SPIN
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...