Secure development of dependently typed 1 programs using proxy-based small inversions 2
Pierre Corbineau, Basile Gros, J.-F. Monin et al.
· 0 citations
Sponsored
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
2 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
SyOpt: Constrained Genetic Algorithm for Near-Optimal Resilient Routing Synthesis
The effectiveness of SyOpt for minimizing link congestion for routings perfectly resilient for up to one link failure is demonstrated and its potential for continuous application in online monitoring and timely routing optimization, under dynamically fluctuating traffic demands is discussed.
Csaba Györgyi, Kim G. Larsen, Stefan Schmid et al.
· 0 citations