Title: On the approximate analysis of computer systems