Dataplane specialization for high-performance OpenFlow software switching
OpenFlow is an amazingly expressive dataplane programming language, but this
expressiveness comes at a severe performance price as switches must do excessive packet …
expressiveness comes at a severe performance price as switches must do excessive packet …
Model Checking-Based Performance Prediction for P4
Next-generation networks focus on scale and scope at the price of increasing complexity,
leading to difficulties in network design and planning. As a result, anticipating all hardware …
leading to difficulties in network design and planning. As a result, anticipating all hardware …
[PDF][PDF] Network Function Modeling and Performance Estimation.
This work introduces a methodology for the modelization of network functions focused on the
identification of recurring execution patterns as basic building blocks and aimed at providing …
identification of recurring execution patterns as basic building blocks and aimed at providing …
Dynamically Reconfigurable Automata for Estimating Interaction Between Data Flows in High-Performance Computing Systems
E Suvorova - 2023 Wave Electronics and its Application in …, 2023 - ieeexplore.ieee.org
In High Performance Computing (HPC) systems, a large number of separate groups of tasks
are executed in parallel. The computing and network resources of the HPC system should …
are executed in parallel. The computing and network resources of the HPC system should …
Kee** P4 switches fast and fault-free through automatic verification
Kee** P4 Switches Fast and Fault-free through Automatic Verification Page 1 Acta
Cybernetica 24 (2019) 61–81. Kee** P4 Switches Fast and Fault-free through Automatic …
Cybernetica 24 (2019) 61–81. Kee** P4 Switches Fast and Fault-free through Automatic …
An Approach to Designing Heterogeneous Networks for High Performance Computing Systems Based on a Unified Reconfigurable Router Core
EA Suvorova - 2022 Wave Electronics and its Application in …, 2022 - ieeexplore.ieee.org
In many modern networks for High Performance Computing (HPC) systems, individual
subnetworks (segments) are implemented on the basis of local area networks (LAN), other …
subnetworks (segments) are implemented on the basis of local area networks (LAN), other …
[PDF][PDF] Distributed services across the network from edge to core.
A Sapio - 2018 - core.ac.uk
The current internet architecture is evolving from a simple carrier of bits to a platform able to
provide multiple complex services running across the entire Network Service Provider (NSP) …
provide multiple complex services running across the entire Network Service Provider (NSP) …
[CITATION][C] Static analysis of network programming languages
D Lukács - 2022