2 papers
cs.NI2025
VNF-Cache: An In-Network Key-Value Store Cache Based on Network Function Virtualization
Bruno E. Farias, José Flauzino, Elias P. Duarte
With the exponential growth of the amount of data available on the Internet, optimizing the response time and resource usage for data access becomes essential. Caches are an effect…
cs.SE2025
Floating-Point Neural Network Verification at the Software Level
Edoardo Manino, Bruno Farias, Rafael Sá Menezes +3
The behaviour of neural network components must be proven correct before deployment in safety-critical systems. Unfortunately, existing neural network verification techniques canno…