540 search results - page 50 / 108 » Mathematical programming based debugging |
JCO
2007
14 years 9 months ago
2007
In adversarial environments, disabling the communication capabilities of the enemy is a high priority. We introduce the problem of determining the optimal number and locations for ...
JNW
2007
14 years 9 months ago
2007
— We propose a mathematical programming model of the routing problem in multi-hop wireless networks that takes into account quality of service requirements considering bandwidth ...
OOPSLA
1990
Springer
15 years 1 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
119
click to vote
SIGOPS
2011
14 years 4 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
CG
2002
Springer
14 years 9 months ago
2002
Springer
The difficulty to write successful 19x19 go programs lies not only in the combinatorial complexity of go but also in the complexity of designing a good evaluation function containi...