2398 search results - page 212 / 480 » Constraint Programming and Graph Algorithms |
150
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--This correspondence considers the problem of robust waveform design in the presence of colored Gaussian disturbance under a similarity and an energy constraint. We resort...
212
click to vote
MP
2011
15 years 1 months ago
2011
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very eļ¬...
149
click to vote
IJCGA
2000
15 years 6 months ago
2000
Quadrilateral meshing algorithms impose certain constraints on the number of intervals or mesh edges of the curves bounding a surface. When constructing a conformal mesh of a colle...
210
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Automated veriļ¬cation of multi-threaded programs is diļ¬cult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
156
click to vote
ISSTA
2006
ACM
16 years 13 days ago
2006
ACM
Concurrent programs are notorious for containing errors that are diļ¬cult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...