6693 search results - page 114 / 1339 » Methods of Automatic Algorithm Generation |
145
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Performance evaluation is an important issue in Web search engine researches. Traditional evaluation methods rely on much human efforts and are therefore quite time-consuming. Wit...
130
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
138
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
129
click to vote
CATS
2006
15 years 6 months ago
2006
Some combinatorial generation problems can be broken into subproblems for which loopless algorithms already exist. We discuss means by which loopless algorithms can be fused to pr...
151
click to vote
MABS
2005
Springer
15 years 10 months ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...