2520 search results - page 347 / 504 » Model-checking behavioral programs |
105
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Many hardware optimizations rely on collecting information about program behavior at runtime. This information is stored in lookup tables. To be accurate and effective, these opti...
129
click to vote
DASFAA
2008
IEEE
15 years 4 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
145
click to vote
IFIP12
2004
15 years 3 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
139
click to vote
IJCAI
2003
15 years 3 months ago
2003
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
102
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
In this paper we demonstrate how genetic algorithms can be used to reverse engineer an evaluation function’s parameters for computer chess. Our results show that using an approp...