1702 search results - page 138 / 341 » Doomed program points |
131
click to vote
PLDI
1996
ACM
15 years 9 months ago
1996
ACM
Many important classes of bugs result from invalid assumptions about the results of functions and the values of parameters and global variables. Using traditional methods, these b...
126
Voted
AUTOMATICA
2008
15 years 5 months ago
2008
High-order repetitive control has previously been introduced to either improve the robustness for period-time uncertainty or reduce the sensitivity for non-periodic inputs of stan...
122
click to vote
OL
2010
15 years 3 months ago
2010
In an important paper, Burer [2] recently showed how to reformulate general mixed-binary quadratic optimization problems (QPs) into copositive programs where a linear functional i...
134
click to vote
SIGOPS
2010
15 years 3 months ago
2010
One of the main challenges to harness the potential of Cloud computing is the design of programming models that simplify the development of large-scale parallel applications and t...
162
click to vote
POPL
2012
ACM
14 years 18 days ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...