Sciweavers

1840 search results - page 85 / 368
» On the capacity of the precision-resolution system
Sort
View
IANDC
2010
116views more  IANDC 2010»
14 years 10 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
ASAP
2006
IEEE
131views Hardware» more  ASAP 2006»
15 years 3 months ago
A Generic Multi-Phase On-Chip Traffic Generation Environment
We present hereafter a framework for on-chip traffic generation and networks-on-chip performance evaluation. This framework is based on a traffic generator that has three importan...
Antoine Scherrer, Antoine Fraboulet, Tanguy Risset
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 48 sec ago
Spatial multiplexing with MMSE receivers: Single-stream optimality in ad hoc networks
The performance of spatial multiplexing systems with linear minimum-mean-squared-error receivers is investigated in ad hoc networks. It is shown that single-stream transmission is ...
Raymond H. Y. Louie, Matthew R. McKay, Nihar Jinda...
JSAC
2007
79views more  JSAC 2007»
14 years 11 months ago
Fundamental Limits in MIMO Broadcast Channels
— This paper studies the fundamental limits of MIMO broadcast channels from a high level, determining the sum-rate capacity of the system as a function of system paramaters, such...
Babak Hassibi, Masoud Sharif
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
14 years 9 months ago
Bertrand games between multi-class queues
We develop a framework to study differentiated services when there are competing network providers. We adopt a multi-class queueing model, where providers post prices for various s...
Parijat Dube, Rahul Jain