1813 search results - page 181 / 363 » Measuring the Effectiveness of Software Testing |
149
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
180
click to vote
INTERACTION
2009
ACM
16 years 16 days ago
2009
ACM
In this paper, we introduce a novel binary method for fast computation of an objective function to measure inter and intra class similarities, which is used for combining multiple...
174
click to vote
EUROGP
2001
Springer
15 years 10 months ago
2001
Springer
This work is a study of neutrality in the context of Evolutionary Computation systems. In particular, we introduce the use of explicit neutrality with an integer string coding sche...
144
click to vote
WSCG
2004
15 years 7 months ago
2004
We describe a novel load-balancing method for sort-first parallel graphics rendering systems. It gives up geometry data which could be very large and tends to cause unacceptable c...
168
click to vote
SIGSOFT
2009
ACM
16 years 25 days ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...