1362 search results - page 99 / 273 » Model Checking Large Network Protocol Implementations |
142
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
125
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—The deployment of multimedia services in nextgeneration networks is a challenge due to the high configuration complexity of the streaming process in different stationary...
122
Voted
ESA
2005
Springer
15 years 9 months ago
2005
Springer
Sensor nodes are very weak computers that get distributed at random on a surface. Once deployed, they must wake up and form a radio network. Sensor network bootstrapping research t...
139
Voted
HCW
1998
IEEE
15 years 8 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...
135
Voted
ISCA
1993
IEEE
15 years 8 months ago
1993
IEEE
We evaluate the e ect of processor speed, network bandwidth, and software overhead on the performance of release-consistent software distributed shared memory. We examine ve di er...