Embedded Software Verification and Debugging

Djones Lettnin,Markus Winterholer

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:9781461422662
Fecha de lanzamiento:19 abr 2017
Editorial:Springer New York

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

Lecturas relacionadas

SystemVerilog Assertions and Functional Coverage

Ashok B. Mehta

$157.324

Embedded Systems Design for High-Speed Data Acquisition and Control

Maurizio Di Paolo Emilio

$101.133

VLSI Design

Vikram Arkalgud Chandrasetty

$78.657

Advanced Symbolic Analysis for VLSI Systems

Sheldon X.-D. Tan, Esteban Tlelo Cuautle, Guoyong Shi

$157.324

Compilation and Synthesis for Embedded Reconfigurable Systems

José Gabriel de Figueiredo Coutinho, Pedro C. Diniz, João Manuel Paiva Cardoso, Zlatko Marinov Petrov

$101.133

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

$101.133

Analog Integrated Circuit Design Automation

Ricardo Martins, Nuno Lourenço, Nuno Horta

$101.133

Introduction to Hardware Security and Trust

Mohammad Tehranipoor, Cliff Wang

$123.609

Carbon Nanotubes for Interconnects

Jean Dijon, Antonio Maffucci, Aida Todri-Sanial

$101.133

Hardware Protection through Obfuscation

Domenic Forte, Swarup Bhunia, Mark M. Tehranipoor

$112.372

Disruptive Logic Architectures and Technologies

Fabien Clermidy, Pierre-Emmanuel Gaillardon, Ian O’Connor

$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

Wideband CMOS Receivers

Luis B. Oliveira, Miguel D. Fernandes

$56.180

Theory of Digital Automata

Bohdan Borowik, Mykola Karpinskyy, Valery Lahno, Oleksandr Petrov

$101.133

Smart Sensors and Systems

Youn-Long Lin, Hiroto Yasuura, Chong-Min Kyung, Yongpan Liu

$101.133

Design Technologies for Green and Sustainable Computing Systems

Partha Pratim Pande, Amlan Ganguly, Krishnendu Chakrabarty

$101.133

Network-on-Chip Architectures

Chrysostomos Nicopoulos, Vijaykrishnan Narayanan, Chita R. Das

$157.324

High-Performance Computing on the Intel® Xeon Phi™

Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, Yajuan Wang

$56.180

FPGAs for Software Programmers

Dirk Koch, Frank Hannig, Daniel Ziener

$112.372

Internet-of-Things (IoT) Systems

Marilyn Wolf, Dimitrios Serpanos

$67.418

Engineering Applications of FPGAs

Esteban Tlelo-Cuautle, Luis Gerardo de la Fraga, José de Jesús Rangel-Magdaleno

$101.133

Dynamic Reconfiguration in Real-Time Systems

Weixun Wang, Prabhat Mishra, Sanjay Ranka

$101.133

RFID Security

Ahmed Khattab, Zahra Jeddi, Esmaeil Amini, Magdy Bayoumi

$101.133

Electromigration Inside Logic Cells

Gracieli Posser, Sachin S. Sapatnekar, Ricardo Reis

$56.180

Models, Methods, and Tools for Complex Chip Design

Jan Haase

$157.324

Low Power Interconnect Design

Sandeep Saini

$101.133

Efficient Test Methodologies for High-Speed Serial Links

Kwang-Ting Cheng, Dongwoo Hong

$146.087

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

Muhammad Shafique, Jörg Henkel

$101.133

Designing with Xilinx® FPGAs

Sanjay Churiwala

$101.133

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

Baker Mohammad, Mohammed Ismail, Nourhan Bayasi, Hani Saleh

$101.133

VLSI 2010 Annual Symposium

Nikolaos Voros, Amar Mukherjee, Nicolas Sklavos, Konstantinos Masselos, Michael Huebner

$224.754

Trusted Computing for Embedded Systems

Dimitrios Soudris, Iraklis Anagnostopoulos, Bernard Candaele

$101.133

Design Technology for Heterogeneous Embedded Systems

Gabriela Nicolescu, Ian O'Connor, Christian Piguet

$101.133

Logic Circuit Design

Shimon P. Vingron

$101.133

Computer Systems

Ata Elahi

$56.180

Multi-Net Optimization of VLSI Interconnect

Konstantin Moiseev, Avinoam Kolodny, Shmuel Wimer

$101.133

Near Threshold Computing

Michael Hübner, Cristina Silvano

$56.180

Robust Computing with Nano-scale Devices

Chao Huang

$101.133

Pipelined Multiprocessor System-on-Chip for Multimedia

Haris Javaid, Sri Parameswaran

$101.133

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Saleem Mohammed Ridha Taha

$101.133

Smart Camera Design

Marilyn Wolf

$101.133

Languages, Design Methods, and Tools for Electronic System Design

Robert Wille, Franco Fummi

$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

Regular Nanofabrics in Emerging Technologies

M. Haykel Ben Jamaa

$157.324

¿Te ha gustado el libro?

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

Esta es nuestra librería de Chile.

Embedded Software Verification and Debugging

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

SystemVerilog Assertions and Functional Coverage

Embedded Systems Design for High-Speed Data Acquisition and Control

VLSI Design

Advanced Symbolic Analysis for VLSI Systems

Compilation and Synthesis for Embedded Reconfigurable Systems

Dependable Multicore Architectures at Nanoscale

Analog Integrated Circuit Design Automation

Introduction to Hardware Security and Trust

Carbon Nanotubes for Interconnects

Hardware Protection through Obfuscation

Disruptive Logic Architectures and Technologies

Techniques for Building Timing-Predictable Embedded Systems

Embedded Systems Design with Special Arithmetic and Number Systems

Wideband CMOS Receivers

Theory of Digital Automata

Smart Sensors and Systems

Design Technologies for Green and Sustainable Computing Systems

Network-on-Chip Architectures

High-Performance Computing on the Intel® Xeon Phi™

FPGAs for Software Programmers

Internet-of-Things (IoT) Systems

Engineering Applications of FPGAs

Dynamic Reconfiguration in Real-Time Systems

RFID Security

Electromigration Inside Logic Cells

Models, Methods, and Tools for Complex Chip Design

Low Power Interconnect Design

Efficient Test Methodologies for High-Speed Serial Links

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

Designing with Xilinx® FPGAs

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

VLSI 2010 Annual Symposium

Trusted Computing for Embedded Systems

Design Technology for Heterogeneous Embedded Systems

Logic Circuit Design

Computer Systems

Multi-Net Optimization of VLSI Interconnect

Near Threshold Computing

Robust Computing with Nano-scale Devices

Pipelined Multiprocessor System-on-Chip for Multimedia

Reversible Logic Synthesis Methodologies with Application to Quantum Computing

Smart Camera Design

Languages, Design Methods, and Tools for Electronic System Design

Low-Power Design and Power-Aware Verification

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

Regular Nanofabrics in Emerging Technologies

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

¿Te ha gustado el libro?

Últimas publicaciones del blog

Lecturas relacionadas

SystemVerilog Assertions and Functional Coverage

Embedded Systems Design for High-Speed Data Acquisition and Control

VLSI Design

Advanced Symbolic Analysis for VLSI Systems

Compilation and Synthesis for Embedded Reconfigurable Systems

Dependable Multicore Architectures at Nanoscale

Analog Integrated Circuit Design Automation

Introduction to Hardware Security and Trust

Carbon Nanotubes for Interconnects

Hardware Protection through Obfuscation

Disruptive Logic Architectures and Technologies

Techniques for Building Timing-Predictable Embedded Systems

Embedded Systems Design with Special Arithmetic and Number Systems

Wideband CMOS Receivers

Theory of Digital Automata

Smart Sensors and Systems

Design Technologies for Green and Sustainable Computing Systems

Network-on-Chip Architectures

High-Performance Computing on the Intel® Xeon Phi™