General-purpose operating systems, such as Linux, | IEEE Conference Publication | IEEE Xplore