6800 search results - page 1125 / 1360 » Testing with Functions as Specifications |
145
click to vote
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
132
click to vote
EUROPAR
1998
Springer
15 years 9 months ago
1998
Springer
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
142
click to vote
GCB
1998
Springer
15 years 9 months ago
1998
Springer
Analysis of a newly sequenced bacterial genome starts with identification of protein-coding genes. Functional assignment of proteins requires the exact knowledge of protein N-term...
127
click to vote
VTS
1997
IEEE
15 years 9 months ago
1997
IEEE
Despite all of the advantages that circular BIST ofsers compared to conventional BIST approaches in terms of low area overhead, simple control logic, and easy insertion, it has se...
195
click to vote
DMKD
1997
ACM
15 years 9 months ago
1997
ACM
Partitioning a large set of objects into homogeneous clusters is a fundamental operation in data mining. The k-means algorithm is best suited for implementing this operation becau...