6800 search results - page 868 / 1360 » Testing with Functions as Specifications |
150
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
HMMer is a widely used tool for protein sequence homology detection, as well as functional annotation of homologous protein sequences, and protein family classification. The HMMer...
177
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
We present the pseudosquares prime sieve, which finds all primes up to n. Define p to be the smallest prime such that the pseudosquare Lp > n/((p)(log n)2 ); here (x) is the pri...
205
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
A genetic algorithm for the longest common subsequence problem encodes candidate sequences as binary strings that indicate subsequences of the shortest or first string. Its fitnes...
159
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
In this paper, we o introduce the Reusable Embedded In-Circuit Emulator (EICE) and Reusable EICE development system. The main function in EICE we design are testing and debugging. ...
208
click to vote
ICIP
2000
IEEE
15 years 10 months ago
2000
IEEE
The paper describes video codecs that provide the functionality of spatio-temporal scalability that enables construction of highly scalable video codecs. The coder exploits wavele...