| 000 | 03544nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-01773-5 | ||
| 003 | DE-He213 | ||
| 005 | 20240730163433.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 220601s2014 sz | s |||| 0|eng d | ||
| 020 |
_a9783031017735 _9978-3-031-01773-5 |
||
| 024 | 7 |
_a10.1007/978-3-031-01773-5 _2doi |
|
| 050 | 4 | _aTK7867-7867.5 | |
| 072 | 7 |
_aTJFC _2bicssc |
|
| 072 | 7 |
_aTEC008010 _2bisacsh |
|
| 072 | 7 |
_aTJFC _2thema |
|
| 082 | 0 | 4 |
_a621.3815 _223 |
| 100 | 1 |
_aSankaralingam, Karthikeyan. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _978514 |
|
| 245 | 1 | 0 |
_aOptimization and Mathematical Modeling in Computer Architecture _h[electronic resource] / _cby Karthikeyan Sankaralingam, Michael Ferris, Tony Nowatzki, Cristian Estan, Nilay Vaish, David Wood. |
| 250 | _a1st ed. 2014. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
|
| 300 |
_aXIV, 144 p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aSynthesis Lectures on Computer Architecture, _x1935-3243 |
|
| 505 | 0 | _aAcknowledgments -- 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. | |
| 520 | _aIn 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. | ||
| 650 | 0 |
_aElectronic circuits. _919581 |
|
| 650 | 0 |
_aMicroprocessors. _978515 |
|
| 650 | 0 |
_aComputer architecture. _93513 |
|
| 650 | 1 | 4 |
_aElectronic Circuits and Systems. _978516 |
| 650 | 2 | 4 |
_aProcessor Architectures. _978517 |
| 700 | 1 |
_aFerris, Michael. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _978518 |
|
| 700 | 1 |
_aNowatzki, Tony. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _978519 |
|
| 700 | 1 |
_aEstan, Cristian. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _978520 |
|
| 700 | 1 |
_aVaish, Nilay. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _978521 |
|
| 700 | 1 |
_aWood, David. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut _978522 |
|
| 710 | 2 |
_aSpringerLink (Online service) _978523 |
|
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031006456 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031029011 |
| 830 | 0 |
_aSynthesis Lectures on Computer Architecture, _x1935-3243 _978524 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-01773-5 |
| 912 | _aZDB-2-SXSC | ||
| 942 | _cEBK | ||
| 999 |
_c84603 _d84603 |
||