1362 search results - page 227 / 273 » Model Checking Large Network Protocol Implementations |
113
click to vote
PC
1998
15 years 2 months ago
1998
This paper investigates communication strategies for interconnecting heterogeneous parallel systems. As the speed of processors and parallel systems keep on increasing over the ye...
118
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes the optimal tuning for the output limits of the power system stabilizer (PSS), which can improve the system damping performance immediately following a large d...
160
click to vote
IWAN
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
162
click to vote
WOWMOM
2005
ACM
15 years 8 months ago
2005
ACM
Ad-hoc wireless networks with multi-rate radios (such as 802.11a, b, g) require a new class of MAC/PHY aware metrics that take into account factors such as physical-layer link spe...
120
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...