WEA
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
WEA
2005
Springer
14 years 5 months ago
2005
Springer
WEA
2005
Springer
14 years 5 months ago
2005
Springer
WEA
2005
Springer
14 years 5 months ago
2005
Springer
The vertex cover problem is a classic NP-complete problem for which the best worst-case approximation ratio is roughly 2. In this paper, we use a collection of simple reductions, e...
WEA
2005
Springer
14 years 5 months ago
2005
Springer
WEA
2005
Springer
14 years 5 months ago
2005
Springer
WEA
2005
Springer
14 years 5 months ago
2005
Springer
We present a general framework for approximating several NP-hard problems that have two underlying properties in common. First, the problems we consider can be formulated as intege...
WEA
2005
Springer
14 years 5 months ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
WDAG
2005
Springer
14 years 5 months ago
2005
Springer
Atomic Broadcast, used for example in state machine replication, requires three communication steps. Optimistic Atomic Broadcast requires only two steps if all processes receive m...
WDAG
2005
Springer
14 years 5 months ago
2005
Springer