Stav dette: Optimization and mathematical modeling in computer architecture /