In this book we give an overview of modeling techniques used to describe computer systems to mathematical optimization tools. We give a brief introduction to various classes of mathematical optimization frameworks with special focus on mixed integer linear programming which provides a good balance between solver time and expressiveness. We present four detailed case studies -- instruction set customization, data center resource management, spatial architecture scheduling, and resource allocation in tiled architectures -- showing how MILP can be used and quantifying by how much it outperforms traditional design exploration techniques. This book should help a skilled systems designer to learn techniques for using MILP in their problems, and the skilled optimization expert to understand the types of computer systems problems that MILP can be applied to.Gurobi optimizer reference manual. http://www.gurobi.com, 2012. 110 [88] N. Hardavellas, ... InInternationalSymposiumonQual- ity ofElectronic Design, 2005., pages 634 a 639. DOI: 10.1109/ISQED.2005.122. 113 [96] ... Denali: a goal- directed.
Title | : | Optimization and Mathematical Modeling in Computer Architecture |
Author | : | Karu Sankaralingam, Michael Ferris, Tony Nowatzki, Cristian Estan |
Publisher | : | Morgan & Claypool Publishers - 2013-09-01 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: