Sciweavers

5374 search results - page 285 / 1075
» The induction of communication protocols
Sort
View
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 10 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
COOPIS
2004
IEEE
15 years 10 months ago
Active Replication in CORBA: Standards, Protocols, and Implementation Framework
This paper presents a proposal for integrating in a single CORBA middleware platform two important OMG specifications: FTCORBA, which provides fault-tolerance support for CORBA obj...
Alysson Neves Bessani, Joni da Silva Fraga, Lau Ch...
COMCOM
2008
244views more  COMCOM 2008»
15 years 6 months ago
Energy analysis of routing protocols for underwater wireless sensor networks
Underwater wireless sensor networks consist of a certain number of sensors and vehicles that interact to collect data and perform collaborative tasks. Designing energy-efficient r...
Mari Carmen Domingo, Rui Prior
PVM
2010
Springer
15 years 5 months ago
Dodging the Cost of Unavoidable Memory Copies in Message Logging Protocols
Abstract. With the number of computing elements spiraling to hundred of thousands in modern HPC systems, failures are common events. Few applications are nevertheless fault toleran...
George Bosilca, Aurelien Bouteiller, Thomas H&eacu...
GLOBECOM
2008
IEEE
16 years 1 months ago
TCP-PCP: A Transport Control Protocol Based on the Prediction of Congestion Probability over Wired/Wireless Hybrid Networks
—Many of packet loss as a result of factors other than congestion impact the performance of TCP in wired/wirelss hybrid networks. Firstly, this paper proposes one concept of Cong...
Jin Ye, Jianxin Wang, Liang Rong, Weijia Jia