2132 search results - page 231 / 427 » Automated software winnowing |
142
click to vote
WSC
1998
15 years 6 months ago
1998
This paper describes a simulation model of a large beverage distribution center. The brewery distribution center has a volume of 71,600 cubic meters and contains about 8,000 palle...
136
click to vote
MVA
1992
15 years 6 months ago
1992
This paper proposes a parallel schemelalgorithm which is based on statistical analyses to fulfilthe robust segmentation of nature texture image. The whole scheme is constructed as...
114
click to vote
FUIN
2007
15 years 5 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
136
click to vote
BIOINFORMATICS
2005
15 years 5 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
184
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...