554 search results - page 7 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
TECS
2008
14 years 10 months ago
2008
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
PVM
2010
Springer
14 years 8 months ago
2010
Springer
MPI datatypes are a convenient abstraction for manipulating complex data structures and are useful in a number of contexts. In some cases, these descriptions need to be preserved o...
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— The design of spatio-temporal power allocation schemes is considered for space-time coding over spatially correlated multiple-input multiple-output (MIMO) channels. The focus i...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—The time-varying nature of wireless channels poses a challenge for using soft-decision iterative decoders on such channels. Even if the channel gain is perfectly known to the re...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—This paper studies large randomly spread directsequence code-division multiple-access system operating over a block fading multipath channel. Channel knowledge is obtain...