An adjustable design for the Real Time Clock of high-end server systems | IEEE Conference Publication | IEEE Xplore