1356 search results - page 49 / 272 » The ideal of verified software |
107
click to vote
PKDD
2004
Springer
15 years 5 months ago
2004
Springer
Ideally, a multi-strategy learning algorithm performs better than its component approaches. RISE is a multi-strategy algorithm that combines rule induction and instance-based learn...
ISCAS
2002
IEEE
15 years 4 months ago
2002
IEEE
A variation of the differential steepest descent algorithm, here called the dithered linear search (DLS), is examined and applied to analog filter adaptation. The DLS algorithm is...
103
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
100
click to vote
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
104
click to vote
LISA
2004
15 years 1 months ago
2004
One ideal of configuration management is to specify only desired behavior in a high-level language, while an automatic configuration management system assures that behavior on an ...