Construction of a formal multimedia benchmark | IEEE Conference Publication | IEEE Xplore