1362 search results - page 73 / 273 » Model Checking Large Network Protocol Implementations |
157
click to vote
SIAMCOMP
2000
15 years 3 months ago
2000
This paper describes a scheme to implement a shared address space of size m on an n-node mesh, with m polynomial in n, where each mesh node hosts a processor and a memory module. A...
121
Voted
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
152
Voted
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
139
click to vote
SNPD
2007
15 years 5 months ago
2007
Targeted Immunization has been researched as an applicable measure for network epidemics. Unless global information is collected, existing targeted strategies are short of strengt...
101
Voted
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The paper describes the concept and implementation of a telecom emulator that features both recon gurability and high-speed processing. The emulator can be easily transmuted into ...