486 search results - page 80 / 98 » Improved upper bounds for 3-SAT |
166
Voted
FOCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We continue the recent line of work on the connection between semidefinite programming-based approximation algorithms and the Unique Games Conjecture. Given any boolean 2-CSP (or...
189
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
A Reconfigurable Consistency Algorithm (RCA) is an algorithm that guarantees the consistency in Distributed Shared Memory (DSM) Systems. In a RCA, there is a Configuration Control...
186
click to vote
CPAIOR
2007
Springer
16 years 26 days ago
2007
Springer
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, an O(n4 ) algorithm...
162
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
190
click to vote
CGO
2006
IEEE
16 years 23 days ago
2006
IEEE
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...