Title: Analysis and Synthesis of Computer Systems