6800 search results - page 566 / 1360 » Testing with Functions as Specifications |
182
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a novel concurrent fault simulator (called CONCERT) for nonlinear analog circuits. Three primary techniques in CONCERT, including fault ordering, state predict...
221
click to vote
PPSN
1998
Springer
15 years 11 months ago
1998
Springer
The choice of the selection method used in an evolutionary algorithm may have considerable impacts on the behavior of the entire algorithm. Therefore, earlier work was devoted to t...
210
click to vote
SSDBM
1997
IEEE
15 years 11 months ago
1997
IEEE
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...
192
click to vote
ICPP
1992
IEEE
15 years 11 months ago
1992
IEEE
-- Distributed routing algorithms presented in the literature have tended to be specific to a particular network topology. In order to test the applicability of various routing str...
189
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...