13 search results - page 1 / 3 » A Generalization of Nemhauser and Trotter's Local Optimizati... |
STACS
2009
Springer
13 years 11 months ago
2009
Springer
SIAMDM
2010
13 years 3 months ago
2010
ICDCS
2010
IEEE
13 years 8 months ago
2010
IEEE
—Aspnes et al [2] introduced an innovative game for modeling the containment of the spread of viruses and worms (security breaches) in a network. In this model, nodes choose to i...
LION
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In 1965 Motzkin and Straus established a remarkable connection between the local/global maximizers of the Lagrangian of a graph G over the standard simplex ∆ and the ma...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...