Navegação TCC Ciência da Computação por Autor "Neves, Miguel Cardoso"
Resultados 1-2 de 2
-
On time-based strategies for optimizing flow tables in SDN
Neves, Miguel Cardoso (2014) [Trabalho de conclusão de graduação]Software Defined Networking (SDN) has allowed network operators to greatly improve traffic control through finer-grained network policies. However, finer-grained policies often increase the number of forwarding rules in ... -
Validando modelos para verificação de programas P4 por execução simbólica
Martins, Gabriel Nunes (2018) [Trabalho de conclusão de graduação]A linguagem P4 permite a programação do plano de dados de dispositivos de rede, facilitando a criação de novos protocolos e funcionalidades. No entanto, ao passo que planos de dados programáveis aumentam a flexibilidade ...