1362 search results - page 181 / 273 » Model Checking Large Network Protocol Implementations |
125
click to vote
MASCOTS
2003
15 years 4 months ago
2003
Scalability is the primary challenge to studying large complex network systems with network emulation. This paper studies topology partitioning, assigning disjoint pieces of the n...
160
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
134
click to vote
HPCA
1996
IEEE
15 years 7 months ago
1996
IEEE
Shared virtual memory is a software technique to provide shared memory on a network of computers without special hardware support. Although several relaxed consistency models and ...
119
click to vote
TCS
2008
15 years 3 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...
128
click to vote
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...