7393 search results - page 958 / 1479 » Synthesis-for-testability using transformations |
132
click to vote
IIE
2007
15 years 6 months ago
2007
Abstract. A reversible sequence of steps from the specification of the algorithm and the mathematical definition of the recurrent solution through the recursive procedure, the ta...
188
Voted
IJAIT
2007
15 years 6 months ago
2007
Rare events analysis is an area that includes methods for the detection and prediction of events, e.g. a network intrusion or an engine failure, that occur infrequently and have s...
157
click to vote
IJAMC
2007
15 years 6 months ago
2007
: Multimedia service providers on the web need their services to be well protected and easily accessible worldwide. This has initiated several lines of research to provide semantic...
141
Voted
IJBC
2007
15 years 6 months ago
2007
Vanderbauwhede and van Gils, Krupa, and Langford studied unfoldings of bifurcations with purely imaginary eigenvalues and a nonsemisimple linearization, which generically occurs i...
152
click to vote
SIAMSC
2008
15 years 6 months ago
2008
To approximate convolutions which occur in evolution equations with memory terms, a variable-stepsize algorithm is presented for which advancing N steps requires only O(N log N) op...