Randomized algorithms: a system-level, poly-time analysis of robust computation | IEEE Journals & Magazine | IEEE Xplore