269 search results - page 29 / 54 » Maximal Static Expansion |
LISP
2006
14 years 10 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
TVLSI
2008
14 years 9 months ago
2008
With aggressive scaling down of feature sizes in VLSI fabrication, process variation has become a critical issue in designs. We show that two necessary conditions for the "Max...
IJON
2002
14 years 9 months ago
2002
The ability of dynamic synapses with short-term depression to transmit the information present in the presynaptic spike train to the postsynaptic neuron is discussed. Both by mini...
INFORMS
2010
14 years 8 months ago
2010
We present an approximate dynamic programming approach for making ambulance redeployment decisions in an emergency medical service system. The primary decision is where we should ...
CORR
2010
Springer
14 years 6 months ago
2010
Springer
Abstract--The problem of energy-efficient precoding is investigated when the terminals in the system are equipped with multiple antennas. Considering static and fast-fading multipl...