HIGHLIGHTS
- who: Du00e1niel Luku00e1cs and collaborators from the (UNIVERSITY) have published the Article: Model Checking-Based Performance Prediction for P4, in the Journal: Electronics 2022, 11, 2117. of /2022/
- what: The authors show that the framework is already capable of performing estimation and it can be extended with more concrete information to yield better estimates. The authors focus specifically on estimating latency, relying on automatic inference instead of benchmarking. The authors propose the solution for the P4 static cost analysis problem described #u00bb in Section 2, and more specifically for calculating the estimator u03b8 X. In . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.