843 search results - page 115 / 169 » Introducing the Iteration in sPBC |
291
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...
160
click to vote
ISSTA
2009
ACM
16 years 15 days ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
194
click to vote
GECCO
2007
Springer
16 years 5 days ago
2007
Springer
Recently, advances have been made in continuous, normal– distribution–based Estimation–of–Distribution Algorithms (EDAs) by scaling the variance up from the maximum–like...
164
click to vote
UIST
2006
ACM
15 years 12 months ago
2006
ACM
Prototyping is the pivotal activity that structures innovation, collaboration, and creativity in design. Prototypes embody design hypotheses and enable designers to test them. Fra...
166
click to vote
COLT
2005
Springer
15 years 11 months ago
2005
Springer
We present a general decomposition algorithm that is uniformly applicable to every (suitably normalized) instance of Convex Quadratic Optimization and efficiently approaches an o...