5707 search results - page 402 / 1142 » Symbolic Simulation - Techniques and Applications |
217
click to vote
CCGRID
2004
IEEE
15 years 11 months ago
2004
IEEE
The Metaverse project aims to develop technology for low-cost, high-resolution networked immersive display environments that can be used for distributed collaboration, exploration...
180
click to vote
IEEECIT
2010
IEEE
15 years 6 months ago
2010
IEEE
With the increasing development of mobile rich media applications, it has become an important research topic on how to reduce application response time so as to run more smoothly ...
234
Voted
PERCOM
2003
ACM
16 years 7 months ago
2003
ACM
Abstract-- The rapid advances in a wide range of wireless access technologies along with the efficient use of smart spaces have already set the stage for development of smart homes...
184
click to vote
VTC
2008
IEEE
16 years 2 months ago
2008
IEEE
—In this paper, we consider the problem of precoding in large multiuser MISO systems, where by ‘large’ we mean i) large number of transmit antennas (Nt) at the base station o...
196
click to vote
QEST
2007
IEEE
16 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...