558 search results - page 46 / 112 » Optimizing Symbolic Model Checking for Constraint-Rich Model... |
FDL
2011
IEEE
12 years 8 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
AMOST
2007
ACM
14 years 1 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— We consider the optimal amount of training for single-antenna Rayleigh flat fading channels with peak-powerlimited input. The receiver uses known training symbols to perform m...
ERSHOV
2003
Springer
14 years 2 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
EUROGP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In this paper we continue our study on adaptive genetic programming. We use Stepwise Adaptation of Weights (saw) to boost performance of a genetic programming algorithm o...