6693 search results - page 236 / 1339 » Methods of Automatic Algorithm Generation |
225
click to vote
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
161
click to vote
KAIS
2000
15 years 6 months ago
2000
When data sets are analyzed, statistical pattern recognition is often used to find the information hidden in the data. Another approach to information discovery is data mining. Dat...
159
click to vote
GPEM
2000
15 years 6 months ago
2000
ct. A Bayesian framework for genetic programming GP is presented. This is motivated by the observation that genetic programming iteratively searches populations of fitter programs ...
212
click to vote
MMB
2010
Springer
15 years 8 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
166
click to vote
JSS
2007
15 years 6 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...