923 search results - page 49 / 185 » Proving the value of formal methods |
164
click to vote
SAS
2000
Springer
15 years 9 months ago
2000
Springer
As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of s...
174
Voted
EVOW
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. Finding appropriate parameter values for Evolutionary Algorithms (EAs) is one of the persistent challenges of Evolutionary Computing. In recent publications we showed how...
192
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
136
click to vote
CG
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
184
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Determining the function of uncharacterized proteins is a major challenge in the post-genomic era due to the problem's complexity and scale. Identifying a protein...