Symbolic Parallelization of Nested Loop Programs

Alexandru-Petru Tanase,Frank Hannig,Jürgen Teich

Engineering (R0)

Comprar el eBook

Ahorra 10 %Precio de venta: $112.371 CLP.$101.133CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319739090
Fecha de lanzamiento:22 feb 2018
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:2.89 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

SVA: The Power of Assertions in SystemVerilog

Surrendra Dudani, Eduard Cerny, John Havlicek, Dmitry Korchemny

$123.609

Digital Logic Design Using Verilog

Vaibbhav Taraate

$95.514

Correct-by-Construction Approaches for SoC Design

Roopak Sinha, Parthasarathi Roop, Samik Basu

$101.133

Foundations of Hardware IP Protection

Lilian Bossuet, Lionel Torres

$101.133

High Performance Integer Arithmetic Circuit Design on FPGA

Ayan Palchaudhuri, Rajat Subhra Chakraborty

$101.133

SystemVerilog Assertions and Functional Coverage

Ashok B. Mehta

$157.324

Testing of Interposer-Based 2.5D Integrated Circuits

Ran Wang, Krishnendu Chakrabarty

$101.133

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Lingkan Gong, Oliver Diessel

$101.133

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

$101.133

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

Martin Daněk, Leoš Kafka, Lukáš Kohout, Jaroslav Sýkora, Roman Bartosiński

$101.133

Exploring Memory Hierarchy Design with Emerging Memory Technologies

Guangyu Sun

$101.133

Invasive Tightly Coupled Processor Arrays

VAHID LARI

$101.133

Compact Models and Measurement Techniques for High-Speed Interconnects

Rohit Sharma, Tapas Chakravarty

$56.180

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Orlando Moreira, Henk Corporaal

$101.133

Techniques for Building Timing-Predictable Embedded Systems

Nan Guan

$56.180

Embedded Systems Design with Special Arithmetic and Number Systems

Amir Sabbagh Molahosseini, Leonel Seabra de Sousa, Chip-Hong Chang

$101.133

Regular Nanofabrics in Emerging Technologies

M. Haykel Ben Jamaa

$157.324

Model-Based Design of Adaptive Embedded Systems

Frans Reckers, Jacques Verriet, Twan Basten, Roelof Hamberg

$101.133

Parallel Sparse Direct Solver for Integrated Circuit Simulation

Xiaoming Chen, Yu Wang, Huazhong Yang

$101.133

Multi-Net Optimization of VLSI Interconnect

Konstantin Moiseev, Avinoam Kolodny, Shmuel Wimer

$101.133

Design Technologies for Green and Sustainable Computing Systems

Partha Pratim Pande, Amlan Ganguly, Krishnendu Chakrabarty

$101.133

Reliable Software for Unreliable Hardware

Semeen Rehman, Muhammad Shafique, Jörg Henkel

$56.180

Energy-Efficient Communication Processors

Robert Fasthuber, Francky Catthoor, Praveen Raghavan, Frederik Naessens

$157.324

Network-on-Chip Architectures

Chrysostomos Nicopoulos, Vijaykrishnan Narayanan, Chita R. Das

$157.324

Multiprocessor Systems on Chip

Torsten Kempf, Gerd Ascheid, Rainer Leupers

$101.133

Designing TSVs for 3D Integrated Circuits

Nauman Khan, Soha Hassoun

$56.180

Advanced Logic Synthesis

Rolf Drechsler, André Inácio Reis

$101.133

Dynamic Reconfiguration in Real-Time Systems

Weixun Wang, Prabhat Mishra, Sanjay Ranka

$101.133

Smart Systems Integration and Simulation

Nicola Bombieri, Massimo Poncino, Graziano Pravadelli

$101.133

Computing Platforms for Software-Defined Radio

Waqar Hussain, Jari Nurmi, Jouni Isoaho, Fabio Garzia

$101.133

RFID Security

Ahmed Khattab, Zahra Jeddi, Esmaeil Amini, Magdy Bayoumi

$101.133

Reversible and Quantum Circuits

Rolf Drechsler, Nabila Abdessaied

$56.180

FPGA Based Accelerators for Financial Applications

Christian De Schryver

$101.133

Design of FPGA-Based Computing Systems with OpenCL

Hasitha Muthumala Waidyasooriya, Kunio Uchiyama, Masanori Hariyama

$95.514

Protecting Chips Against Hold Time Violations Due to Variability

Gustavo Neuberger, Gilson Wirth, Ricardo Reis

$101.133

The Art of Hardware Architecture

Mohit Arora

$112.372

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip

Marvin Onabajo, Jose Silva-Martinez

$101.133

Logic Circuit Design

Shimon P. Vingron

$101.133

CMOS Circuits for Biological Sensing and Processing

Srinjoy Mitra, David R. S. Cumming

$112.372

ASIC/SoC Functional Design Verification

Ashok B. Mehta

$134.848

Broadband Direct RF Digitization Receivers

Olivier Jamin

$101.133

Smart Multicore Embedded Systems

Massimo Torquati, Koen Bertels, Sven Karlsson, François Pacull

$101.133

Multiprocessor Scheduling for Real-Time Systems

Sanjoy Baruah, Marko Bertogna, Giorgio Buttazzo

$112.372

Robust Computing with Nano-scale Devices

Chao Huang

$101.133

Low-Power Design and Power-Aware Verification

Progyna Khondkar

$101.133

5G and E-Band Communication Circuits in Deep-Scaled CMOS

Marco Vigilante, Patrick Reynaert

$123.609

Analog Circuit Design

Herman Casier, Michiel Steyaert, Arthur H.M. van Roermund

$157.324

Ver más por autor

Modeling and Simulation of Invasive Applications and Architectures

Sascha Roloff, Frank Hannig, Jürgen Teich

$101.133

Architecture of Computing Systems -- ARCS 2016

Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich

$56.180

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Andreas Weichslgartner, Stefan Wildermann, Michael Glaß, Jürgen Teich

$101.133

Applied Reconfigurable Computing. Architectures, Tools, and Applications

Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet

$56.180

FPGAs for Software Programmers

Dirk Koch, Frank Hannig, Daniel Ziener

$112.372

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Symbolic Parallelization of Nested Loop Programs

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

SVA: The Power of Assertions in SystemVerilog

Digital Logic Design Using Verilog

Correct-by-Construction Approaches for SoC Design

Foundations of Hardware IP Protection

High Performance Integer Arithmetic Circuit Design on FPGA

SystemVerilog Assertions and Functional Coverage

Testing of Interposer-Based 2.5D Integrated Circuits

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Dependable Multicore Architectures at Nanoscale

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

Exploring Memory Hierarchy Design with Emerging Memory Technologies

Invasive Tightly Coupled Processor Arrays

Compact Models and Measurement Techniques for High-Speed Interconnects

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Techniques for Building Timing-Predictable Embedded Systems

Embedded Systems Design with Special Arithmetic and Number Systems

Regular Nanofabrics in Emerging Technologies

Model-Based Design of Adaptive Embedded Systems

Parallel Sparse Direct Solver for Integrated Circuit Simulation

Multi-Net Optimization of VLSI Interconnect

Design Technologies for Green and Sustainable Computing Systems

Reliable Software for Unreliable Hardware

Energy-Efficient Communication Processors

Network-on-Chip Architectures

Multiprocessor Systems on Chip

Designing TSVs for 3D Integrated Circuits

Advanced Logic Synthesis

Dynamic Reconfiguration in Real-Time Systems

Smart Systems Integration and Simulation

Computing Platforms for Software-Defined Radio

RFID Security

Reversible and Quantum Circuits

FPGA Based Accelerators for Financial Applications

Design of FPGA-Based Computing Systems with OpenCL

Protecting Chips Against Hold Time Violations Due to Variability

The Art of Hardware Architecture

Analog Circuit Design for Process Variation-Resilient Systems-on-a-Chip

Logic Circuit Design

CMOS Circuits for Biological Sensing and Processing

ASIC/SoC Functional Design Verification

Broadband Direct RF Digitization Receivers

Smart Multicore Embedded Systems

Multiprocessor Scheduling for Real-Time Systems

Robust Computing with Nano-scale Devices

Low-Power Design and Power-Aware Verification

5G and E-Band Communication Circuits in Deep-Scaled CMOS

Analog Circuit Design

Ver más por autor

Modeling and Simulation of Invasive Applications and Architectures

Architecture of Computing Systems -- ARCS 2016

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Applied Reconfigurable Computing. Architectures, Tools, and Applications

FPGAs for Software Programmers

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

Lecturas relacionadas

SVA: The Power of Assertions in SystemVerilog

Digital Logic Design Using Verilog

Correct-by-Construction Approaches for SoC Design

Foundations of Hardware IP Protection

High Performance Integer Arithmetic Circuit Design on FPGA

SystemVerilog Assertions and Functional Coverage

Testing of Interposer-Based 2.5D Integrated Circuits

Functional Verification of Dynamically Reconfigurable FPGA-based Systems

Dependable Multicore Architectures at Nanoscale

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

Exploring Memory Hierarchy Design with Emerging Memory Technologies

Invasive Tightly Coupled Processor Arrays

Compact Models and Measurement Techniques for High-Speed Interconnects

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor