Sciweavers

1312 search results - page 2 / 263
» Formally Optimal Boxing
Sort
View
CAV
2005
Springer
99views Hardware» more  CAV 2005»
13 years 11 months ago
Probabilistic Verification for "Black-Box" Systems
Håkan L. S. Younes
ICTAI
1997
IEEE
13 years 10 months ago
Toward the Optimization of a Class of Black Box Optimization Algorithms
Many black box optimization algorithms have sufcient exibility to allow them to adapt to the varying circumstances they encounter. These capabilities are of two primary sorts: 1) ...
Gang Wang, Erik D. Goodman, William F. Punch III
FPL
2004
Springer
100views Hardware» more  FPL 2004»
13 years 10 months ago
On Optimal Irregular Switch Box Designs
In this paper, we develop a unified theory in analyzing optimal switch box design problems, particularly for the unsolved irregular cases, where different pin counts are allowed on...
Hongbing Fan, Yu-Liang Wu, Chak-Chung Cheung, Jipi...
PODC
2010
ACM
13 years 10 months ago
Finding mobile data under delay constraints with searching costs
A token is hidden in one of several boxes and then the boxes are locked. The probability of placing the token in each of the boxes is known. A searcher is looking for the token by...
Amotz Bar-Noy, Panagiotis Cheilaris, Yi Feng 0002,...
ISOLA
2007
Springer
14 years 11 days ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz