14244 search results - page 2342 / 2849 » Modeling Program Predictability |
151
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
Inspired by our past manual aspect mining experiences, this paper describes a random walk model to approximate how crosscutting concerns can be discovered in the absence of domain...
140
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
126
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
168
click to vote
EUROGP
2007
Springer
15 years 8 months ago
2007
Springer
The conversion and extension of the Incremental Pareto-Coevolution Archive algorithm (IPCA) into the domain of Genetic Programming classification is presented. In particular, the ...
155
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...