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 ...