Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...
Recent work on parallel joins and data skew has concentrated on algorithm design without considering the causes and chara.cteristics of data. skew itself. Existming ana.lyt,ic mod...
Christopher B. Walton, Alfred G. Dale, Roy M. Jene...
We consider multicell multiuser MIMO systems with a very large number of antennas at the base station. We assume that the channel is estimated by using uplink training sequences, ...
Hien Quoc Ngo, Thomas L. Marzetta, Erik G. Larsson
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
An accurate and efficient stacking effect macro-model for leakage power in sub-100nm circuits is presented in this paper. Leakage power, including subthreshold leakage power and ga...
Shengqi Yang, Wayne Wolf, Narayanan Vijaykrishnan,...