Listar Tesinas Ciencia de la Computación por tema "Programmable dataplanes"
Mostrando ítems 1-1 de 1
-
Validando modelos para verificação de programas P4 por execução simbólica
(2018) [Tesinas de grado]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 ...