Sciweavers

4277 search results - page 735 / 856
» On Multiple Linear Approximations
Sort
View
ASPDAC
2007
ACM
100views Hardware» more  ASPDAC 2007»
15 years 9 months ago
Micro-architecture Pipelining Optimization with Throughput-Aware Floorplanning
- For modern processor designs in nanometer technologies, both block and interconnect pipelining are needed to achieve multi-gigahertz clock frequency, but previous approaches cons...
Yuchun Ma, Zhuoyuan Li, Jason Cong, Xianlong Hong,...
132
Voted
ICASSP
2009
IEEE
15 years 8 months ago
GTD-based transceivers for decision feedback and bit loading
We consider new optimization problems for transceivers with DFE receivers and linear precoders, which also use bit loading at the transmitter. First, we consider the MIMO QoS (qual...
Ching-Chih Weng, Chun-Yang Chen, P. P. Vaidyanatha...
138
Voted
APPROX
2006
Springer
120views Algorithms» more  APPROX 2006»
15 years 8 months ago
Single-Source Stochastic Routing
Abstract. We introduce and study the following model for routing uncertain demands through a network. We are given a capacitated multicommodity flow network with a single source an...
Shuchi Chawla, Tim Roughgarden
CAV
2004
Springer
126views Hardware» more  CAV 2004»
15 years 8 months ago
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
Kedar S. Namjoshi
132
Voted
CC
2006
Springer
101views System Software» more  CC 2006»
15 years 8 months ago
SARA: Combining Stack Allocation and Register Allocation
Commonly-used memory units enable a processor to load and store multiple registers in one instruction. We showed in 2003 how to extend gcc with a stack-location-allocation (SLA) ph...
V. Krishna Nandivada, Jens Palsberg