933 search results - page 7 / 187 » Extending Forward Checking |
112
click to vote
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
JAR
2010
14 years 10 months ago
2010
82
Voted
CP
2005
Springer
15 years 5 months ago
2005
Springer
A search algorithm based on non-binary forward checking (nFC) is used to solve the car-sequencing problem. The choice of value ordering heuristics having a dramatic effect on solu...
129
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
106
click to vote
PADO
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...