12841 search results - page 43 / 2569 » PL-detective: experiences and results |
104
click to vote
CSMR
2000
IEEE
15 years 5 months ago
2000
IEEE
Better understanding manual reverse engineering can make it and any associated systems reengineering more effective. We reverse engineered a version of a system (referred to as &q...
116
Voted
BIOINFORMATICS
2005
15 years 13 days ago
2005
Motivation. Spotted arrays are often printed with probes in duplicate or triplicate, but current methods for assessing differential expression are not able to make full use of the...
121
click to vote
EUROPAR
2001
Springer
15 years 5 months ago
2001
Springer
We present a new result concerning the parallelisation of DBSCAN, a Data Mining algorithm for density-based spatial clustering. The overall structure of DBSCAN has been mapped to a...
ITC
1999
IEEE
15 years 4 months ago
1999
IEEE
SEMATECH has sponsored a "Test Method Evaluation" study to understand the trade-offs among the most common test methodologies used in the industry[1,2]. This paper prese...
85
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...