13383 search results - page 2484 / 2677 » Abstractions from proofs |
CLUSTER
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Multi-core systems are now extremely common in modern clusters. In the past commodity systems may have had up to two or four CPUs per compute node. In modern clusters, t...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—While prior research has extensively evaluated the performance advantage of moving from a 2D to a 3D design style, the impact of process parameter variations on 3D desig...
FOCS
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— A number of recent results on optimization problems involving submodular functions have made use of the ”multilinear relaxation” of the problem [3], [8], [24], [14]...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— This paper presents a novel multi-functional MultipleInput Multiple-Output (MIMO) scheme that combines the benefits of the Vertical Bell Labs Layered Space-Time (V-BLA...