Sciweavers

13383 search results - page 2604 / 2677
» Abstractions from proofs
Sort
View
CORR
2008
Springer
131views Education» more  CORR 2008»
13 years 10 months ago
Quantized Multimode Precoding in Spatially Correlated Multi-Antenna Channels
Abstract-- Multimode precoding, where the number of independent data-streams is adapted optimally, can be used to maximize the achievable throughput in multi-antenna communication ...
Vasanthan Raghavan, Venugopal V. Veeravalli, Akbar...
CORR
2008
Springer
138views Education» more  CORR 2008»
13 years 10 months ago
Computing Minimum Spanning Trees with Uncertainty
Abstract. We consider the minimum spanning tree problem in a setting where information about the edge weights of the given graph is uncertain. Initially, for each edge e of the gra...
Thomas Erlebach, Michael Hoffmann 0002, Danny Kriz...
CORR
2010
Springer
122views Education» more  CORR 2010»
13 years 10 months ago
Facility Location with Client Latencies: Linear-Programming based Techniques for Minimum-Latency Problems
We introduce a problem that is a common generalization of the uncapacitated facility location (UFL) and minimum latency (ML) problems, where facilities not only need to be opened ...
Deeparnab Chakrabarty, Chaitanya Swamy
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 10 months ago
Copper Electrodeposition for 3D Integration
Abstract-Two dimensional (2D) integration has been the traditional approach for IC integration. Increasing demands for providing electronic devices with superior performance and fu...
Rozalia Beica, Charles Sharbono, Tom Ritzdorf
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 10 months ago
Dependability in Aggregation by Averaging
Abstract. Aggregation is an important building block of modern distributed applications, allowing the determination of meaningful properties (e.g. network size, total storage capac...
Paulo Jesus, Carlos Baquero, Paulo Sérgio A...
« Prev « First page 2604 / 2677 Last » Next »