research
∙
02/15/2022
Parallel Virtual Machines Placement with Provable Guarantees
Network Function Virtualization (NFV) carries the potential for on-deman...
share
research
∙
11/10/2019
Synthesis of coordination programs from linear temporal logic
This paper presents a method for synthesizing a reactive program which c...
research
∙
06/26/2019
