OS4C: An Open-Source SR-IOV System for SmartNIC-based Cloud Platforms | IEEE Conference Publication | IEEE Xplore