Central Library

Normal view MARC view ISBD view

Optimization and Mathematical Modeling in Computer Architecture [electronic resource] / by Karthikeyan Sankaralingam, Michael Ferris, Tony Nowatzki, Cristian Estan, Nilay Vaish, David Wood.

By: Sankaralingam, Karthikeyan [author.].
Contributor(s): Ferris, Michael [author.] | Nowatzki, Tony [author.] | Estan, Cristian [author.] | Vaish, Nilay [author.] | Wood, David [author.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Synthesis Lectures on Computer Architecture: Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Edition: 1st ed. 2014.Description: XIV, 144 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783031017735.Subject(s): Electronic circuits | Microprocessors | Computer architecture | Electronic Circuits and Systems | Processor ArchitecturesAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 621.3815 Online resources: Click here to access online
Contents:
Acknowledgments -- Introduction -- An Overview of Optimization -- Case Study: Instruction Set Customization -- Case Study: Data Center Resource Management -- Case Study: Spatial Architecture Scheduling -- Case Study: Resource Allocation in Tiled Architectures -- Conclusions -- Bibliography -- Authors' Biographies.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

Acknowledgments -- Introduction -- An Overview of Optimization -- Case Study: Instruction Set Customization -- Case Study: Data Center Resource Management -- Case Study: Spatial Architecture Scheduling -- Case Study: Resource Allocation in Tiled Architectures -- Conclusions -- Bibliography -- Authors' Biographies.

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.

There are no comments for this item.

Log in to your account to post a comment.