1362 search results - page 101 / 273 » Model Checking Large Network Protocol Implementations |
154
Voted
CLUSTER
2009
IEEE
15 years 1 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...
152
Voted
MASCOTS
2001
15 years 5 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...
145
Voted
VTC
2007
IEEE
15 years 10 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...
136
Voted
IJSNET
2006
15 years 3 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 ...
122
Voted
ICDCS
2006
IEEE
15 years 9 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...