| 000 | 03354nam a2200469 i 4500 | ||
|---|---|---|---|
| 999 |
_c386955 _d386955 |
||
| 001 | 386955 | ||
| 003 | ES-MaUEC | ||
| 005 | 20230130112932.0 | ||
| 006 | a||||fo|||| 00| 0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 220601s2014 sz | o |||| 0|eng d | ||
| 020 | _a9783031017735 | ||
| 024 | 7 |
_a10.1007/978-3-031-01773-5 _2doi |
|
| 040 |
_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC |
||
| 050 | 4 |
_aQA76.9.A73 _b2014 EB |
|
| 100 | 1 |
_aSankaralingam, Karthikeyan _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686308 |
|
| 245 | 1 | 0 |
_aOptimization and Mathematical Modeling in Computer Architecture _cby Karthikeyan Sankaralingam, Michael Ferris, Tony Nowatzki, Christian Estay, Nilay Vaish, David Wood |
| 250 | _a1st edition 2014 | ||
| 264 | 1 |
_aCham _bSpringer International Publishing _c2014 |
|
| 300 | _a1 recurso en línea (XIV, 144 páginas) | ||
| 336 |
_atexto _btxt _2rdacontent |
||
| 337 |
_aelectrónico _bc _2rdamedia |
||
| 338 |
_arecurso electrónico _bcr _2rdacarrier |
||
| 347 |
_aarchivo de texto _bPDF |
||
| 490 | 0 |
_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. | ||
| 988 | _aSynthesis Collection of Technology_2014 | ||
| 650 | 7 |
_2embne _9144554 _aArquitectura de ordenador |
|
| 650 | 7 |
_2embne _9405064 _aModelos matemáticos |
|
| 700 | 1 |
_aFerris, Michael C. _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686309 |
|
| 700 | 1 |
_aNowatzki, Tony _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686310 |
|
| 700 | 1 |
_aEstan, Cristian _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686311 |
|
| 700 | 1 |
_aVaish, Nilay _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _9686312 |
|
| 700 | 1 |
_aWood, David _eautor _4aut _4http://id.loc.gov/vocabulary/relators/aut _910529 |
|
| 776 | 0 | 8 |
_iPrinted edition: _z9783031006456 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783031029011 |
| 856 | 4 | 0 |
_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-01773-5 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 |
_2lcc _cLE |
||
| 998 |
_b01/2023 _dz _eb _zSI |
||