Mplayer can decode videos at reduced resolution, which greatly improves performance. Any video player that uses mplayer as a backend should also be capable of the same.