1362 search results - page 101 / 273 » Model Checking Large Network Protocol Implementations |
161
click to vote
CLUSTER
2009
IEEE
15 years 2 months ago
2009
IEEE
Scientific computing has seen an immense growth in recent years. The Message Passing Interface (MPI) has become the de-facto standard for parallel programming model for distribute...
159
Voted
MASCOTS
2001
15 years 6 months ago
2001
A network emulator, such as the Internet Protocol Traffic and Network Emulator (IP-TNE), enables real applications running on external hosts to interact via a virtual network mode...
156
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— This work presents and analyzes a cooperative relaying approach which offers large scale spatial diversity and an additional coding advantage in a virtual antenna array. It uti...
148
click to vote
IJSNET
2006
15 years 4 months ago
2006
: In this paper we focus on exploiting the information provided by a generally accepted and largely ignored hypothesis (the random deployment of the nodes of an ad hoc or wireless ...
129
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Peer-to-peer (P2P) technology has been successfully applied in Internet telephony or Voice over Internet Protocol (VoIP), such as the Skype system, where P2P is used for both sear...