Cargando…
Embedded computing for high performance : efficient mapping of computations using customization, code transformations and compilation /
Embedded Computing for High Performance: Design Exploration and Customization Using High-level Compilation and Synthesis Tools provides a set of real-life example implementations that migrate traditional desktop systems to embedded systems. Working with popular hardware, including Xilinx and ARM, th...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, MA :
Morgan Kaufmann Publishers, an imprint of Elsevier,
[2017]
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn990802569 | ||
| 003 | OCoLC | ||
| 005 | 20231120010202.0 | ||
| 006 | m o d | ||
| 007 | cr cnu|||unuuu | ||
| 008 | 170623t20172017maua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d NLE |d OCLCO |d N$T |d OPELS |d IDEBK |d EBLCP |d MERUC |d OCLCF |d UMI |d YDX |d MERER |d STF |d OCLCQ |d TOH |d UPM |d OCLCQ |d NAM |d VT2 |d U3W |d UOK |d CEF |d OCLCQ |d WYU |d OCLCQ |d LQU |d UKMGB |d OCLCQ |d S2H |d OCLCO |d OCLCQ |d SFB |d OCLCQ |d OCLCO | ||
| 015 | |a GBB797879 |2 bnb | ||
| 016 | 7 | |a 018377339 |2 Uk | |
| 019 | |a 991673701 |a 993443648 |a 994692064 |a 1105179513 |a 1105574532 | ||
| 020 | |a 9780128041994 |q (electronic bk.) | ||
| 020 | |a 0128041994 |q (electronic bk.) | ||
| 020 | |z 9780128041895 | ||
| 020 | |z 0128041897 | ||
| 035 | |a (OCoLC)990802569 |z (OCoLC)991673701 |z (OCoLC)993443648 |z (OCoLC)994692064 |z (OCoLC)1105179513 |z (OCoLC)1105574532 | ||
| 050 | 4 | |a TK7895.E42 | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004.16 |2 23 |
| 100 | 1 | |a Cardoso, Jo�ao M. P., |e author. | |
| 245 | 1 | 0 | |a Embedded computing for high performance : |b efficient mapping of computations using customization, code transformations and compilation / |c Jo�ao M.P. Cardoso, Jos�e Gabriel F. Coutinho, Pedro C. Diniz. |
| 264 | 1 | |a Cambridge, MA : |b Morgan Kaufmann Publishers, an imprint of Elsevier, |c [2017] | |
| 264 | 4 | |c �2017 | |
| 300 | |a 1 online resource (xxi, 297 pages) : |b illustrations (some color) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Online resource; title from PDF title page (EBSCO, viewed June 26, 2017). | |
| 520 | |a Embedded Computing for High Performance: Design Exploration and Customization Using High-level Compilation and Synthesis Tools provides a set of real-life example implementations that migrate traditional desktop systems to embedded systems. Working with popular hardware, including Xilinx and ARM, the book offers a comprehensive description of techniques for mapping computations expressed in programming languages such as C or MATLAB to high-performance embedded architectures consisting of multiple CPUs, GPUs, and reconfigurable hardware (FPGAs). The authors demonstrate a domain-specific language (LARA) that facilitates retargeting to multiple computing systems using the same source code. In this way, users can decouple original application code from transformed code and enhance productivity and program portability. After reading this book, engineers will understand the processes, methodologies, and best practices needed for the development of applications for high-performance embedded computing systems. | ||
| 505 | 0 | |a Front Cover; Embedded Computing for High Performance: Efficient Mapping of Computations Using Customization, CodeTransformations and Com ... ; Copyright; Dedication; Contents; About the Authors; Preface; Acknowledgments; Abbreviations; Chapter 1: Introduction; 1.1. Overview; 1.2. Embedded Systems in Society and Industry; 1.3. Embedded Computing Trends; 1.4. Embedded Systems: Prototyping and Production; 1.5. About LARA: An Aspect-Oriented Approach; 1.6. Objectives and Target Audience; 1.7. Complementary Bibliography; 1.8. Dependences in Terms of Knowledge; 1.9. Examples and Benchmarks. | |
| 505 | 8 | |a 1.10. Book Organization1.11. Intended Use; 1.12. Summary; References; Chapter 2: High-performance embedded computing; 2.1. Introduction; 2.2. Target Architectures; 2.2.1. Hardware Accelerators as Coprocessors; 2.2.2. Multiprocessor and Multicore Architectures; 2.2.3. Heterogeneous Multiprocessor/Multicore Architectures; 2.2.4. OpenCL Platform Model; 2.3. Core-Based Architectural Enhancements; 2.3.1. Single Instruction, Multiple Data Units; 2.3.2. Fused Multiply-Add Units; 2.3.3. Multithreading Support; 2.4. Common Hardware Accelerators; 2.4.1. GPU Accelerators. | |
| 505 | 8 | |a 2.4.2. Reconfigurable Hardware Accelerators2.4.3. SoCs With Reconfigurable Hardware; 2.5. Performance; 2.5.1. Amdahl's Law; 2.5.2. The Roofline Model; 2.5.3. Worst-Case Execution Time Analysis; 2.6. Power and Energy Consumption; 2.6.1. Dynamic Power Management; 2.6.2. Dynamic Voltage and Frequency Scaling; 2.6.3. Dark Silicon; 2.7. Comparing Results; 2.8. Summary; 2.9. Further Reading; References; Chapter 3: Controlling the design and development cycle; 3.1. Introduction; 3.2. Specifications in MATLAB and C: Prototyping and Development; 3.2.1. Abstraction Levels. | |
| 505 | 8 | |a 3.2.2. Dealing With Different Concerns3.2.3. Dealing With Generic Code; 3.2.4. Dealing With Multiple Targets; 3.3. Translation, Compilation, and Synthesis Design flows; 3.4. Hardware/Software Partitioning; 3.4.1. Static Partitioning; 3.4.2. Dynamic Partitioning; 3.5. LARA: a language for Specifying Strategies; 3.5.1. Select and Apply; 3.5.2. Insert Action; 3.5.3. Exec and Def Actions; 3.5.4. Invoking Aspects; 3.5.5. Executing External Tools; 3.5.6. Compilation and Synthesis Strategies in LARA; 3.6. Summary; 3.7. Further Reading; References; Chapter 4: Source code analysis and instrumentation. | |
| 505 | 8 | |a 4.1. Introduction4.2. Analysis and Metrics; 4.3. Static Source Code Analysis; 4.3.1. Data Dependences; 4.3.2. Code Metrics; 4.4. Dynamic Analysis: The Need for Instrumentation; 4.4.1. Information From Profiling; 4.4.2. Profiling Example; 4.5. Custom Profiling Examples; 4.5.1. Finding Hotspots; 4.5.2. Loop Metrics; 4.5.3. Dynamic Call Graphs; 4.5.4. Branch Frequencies; 4.5.5. Heap Memory; 4.6. Summary; 4.7. Further Reading; References; Chapter 5: Source code transformations and optimizations; 5.1. Introduction; 5.2. Basic Transformations; 5.3. Data Type Conversions; 5.4. Code Reordering. | |
| 650 | 0 | |a Embedded computer systems. | |
| 650 | 0 | |a High performance computing. | |
| 650 | 6 | |a Syst�emes enfouis (Informatique) |0 (CaQQLa)201-0171574 | |
| 650 | 6 | |a Superinformatique. |0 (CaQQLa)201-0297410 | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Embedded computer systems |2 fast |0 (OCoLC)fst00908298 | |
| 650 | 7 | |a High performance computing |2 fast |0 (OCoLC)fst00956032 | |
| 700 | 1 | |a Coutinho, Jos�e Gabriel de Figueiredo, |e author. | |
| 700 | 1 | |a Diniz, Pedro C., |e author. | |
| 776 | 0 | 8 | |i Print version: |a Cardoso, Jo�ao M.P. |t Embedded computing for high performance. |d �2017 |z 0128041897 |z 9780128041895 |w (OCoLC)959872051 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780128041895 |z Texto completo |