13 search results - page 1 / 3 » A Generalization of Nemhauser and Trotter's Local Optimizati... |
58
Voted
STACS
2009
Springer
15 years 4 months ago
2009
Springer
60
Voted
SIAMDM
2010
14 years 8 months ago
2010
68
Voted
ICDCS
2010
IEEE
15 years 1 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
15 years 3 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
15 years 2 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...