research
∙
02/12/2021
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report)
This technical report contains material accompanying our work with same ...
share
research
∙
08/24/2020
IoT service slicing and task offloading for edge computing
With the advancement of IoT technology, various domains such as smart fa...
research
∙
08/01/2018
