554 search results - page 2 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
ICUMT
2009
13 years 3 months ago
2009
- Wireless systems operating in the 2.4 GHz ISM frequency band and sharing the same environment in an industrial environment are likely to interfere with each other due to simultan...
DSD
2008
IEEE
13 years 7 months ago
2008
IEEE
We discuss the issue of reliable transmission of bounded streams of data samples over simple wireless channels offered by low-end RF modules. Traditional solutions, i.e., window-b...
ICC
2009
IEEE
13 years 3 months ago
2009
IEEE
A discrete (binary-input 2q -ary output) communication channel with memory is introduced with the objective to judiciously capture both the statistical memory and the soft-decision...
CNSR
2011
IEEE
12 years 8 months ago
2011
IEEE
Abstract—In recent years, Peer-to-Peer (P2P) streaming systems experienced tremendous growth and became one of the largest bandwidth consumer on Internet. PPLive, one of the most...
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...