Navegação TCC Ciência da Computação por Assunto "Programmable dataplanes"
Resultados 1-1 de 1
-
Validando modelos para verificação de programas P4 por execução simbólica
(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 ...