Mechanical verification of a data transport protocol

1983 ◽  
Author(s):  
Benedetto L. Di Vito
Keyword(s):  
Transport Protocol ◽  
Data Transport ◽  
Mechanical Verification

scholarly journals Evaluating Modern Data Centre Transport Protocols in OMNeT++/INET

10.29007/h27x ◽  
2019 ◽  
Author(s):  
Mohammed Alasmar ◽  
George Parisis
Keyword(s):  
Load Balancing ◽  
Simulation Model ◽  
Network Topology ◽  
Transport Protocol ◽  
Data Transport ◽  
Transport Protocols ◽  
Data Centre ◽  
Evaluation Platform ◽  
Data Centres

In this paper we present our work towards an evaluation platform for data centre transport protocols. We developed a simulation model for NDP1, a modern data transport protocol in data centres, a FatTree network topology and per-packet ECMP load balancing. We also developed a data centre environment that can be used to evaluate and compare data transport protocols, usch as NDP and TCP. We describe how we integrated our model with the INET Framework and present example simulations to showcase the workings of the developed framework. For that, we ran a comprehensive set of experiments and studied different components and parameters of the developed models.

RDTP: reliable data transport protocol in wireless sensor networks

2015 ◽  
Vol 62 (3) ◽  
pp. 611-623 ◽  
Author(s):  
Ali Barati ◽  
Ali Movaghar ◽  
Masoud Sabaei
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Reliable Data ◽  
Wireless Sensor ◽  
Transport Protocol ◽  
Data Transport
Sign in / Sign up

Export Citation Format

Share Document