Embedded Software Verification and Debugging

Djones Lettnin,Markus Winterholer

Engineering (R0)

Comprar el eBook

Ahorra 10 %Precio de venta: $109.351 CLP.$98.417CLP

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 Regala un libro

¿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

Patterns for Parallel Software Design

Jorge Luis Ortega-Arjona

$44.561

Fundamentals of Stream Processing

Henrique C. M. Andrade, Buğra Gedik, Deepak S. Turaga

$103.192

Guide to Reliable Distributed Systems

Kenneth P Birman

$62.326

Microprocessor Architecture

Jean-Loup Baer

$98.117

Detection of Intrusions and Malware, and Vulnerability Assessment

Juan Caballero, Urko Zurutuza, Ricardo J. Rodríguez

$54.670

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

$425.423

Real-Time Systems Design and Analysis

Phillip A. Laplante, Seppo J. Ovaska

$125.476

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

$132.160

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Dominique Borrione

$153.097

Tools for High Performance Computing 2016

Christoph Niethammer, José Gracia, Tobias Hilbrich, Andreas Knüpfer, Michael M. Resch, Wolfgang E. Nagel

$98.417

Languages and Compilers for Parallel Computing

Chen Ding, John Criswell, Peng Wu

$54.670

Languages and Compilers for Parallel Computing

Xipeng Shen, Frank Mueller, James Tuck

$54.670

Research in Attacks, Intrusions, and Defenses

Herbert Bos, Fabian Monrose, Gregory Blanc

$54.670

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

$54.670

Embedded Systems Development

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

$98.417

Processor and System-on-Chip Simulation

Rainer Leupers, Olivier Temam

$98.417

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib

$54.670

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

$51.390

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design

Weiwei Chen

$98.417

Hardware/Software Co-Design

Jørgen Staunstrup, Wayne Wolf

$168.499

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

$51.390

Software Reuse: Bridging with Social-Awareness

Eduardo Santana de Almeida, Georgia M. Kapitsaki

$54.670

Multiprocessor System-on-Chip

Michael Hübner, Jürgen Becker

$153.097

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

$51.390

System Analysis and Modeling. Technology-Specific Aspects of Models

Steffen Herbold, Jens Grabowski

$54.670

Model-Implementation Fidelity in Cyber Physical System Design

Anca Molnos, Christian Fabre

$98.417

Radio Frequency Identification: Security and Privacy Issues

Michael Hutter, Jörn-Marc Schmidt

$49.203

Information Systems Security

Indrajit Ray, Manoj Singh Gaur, Mauro Conti, Dheeraj Sanghi, V. Kamakoti

$54.670

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV

Abdelkader Hameurlain, Josef Küng, Roland Wagner

$54.670

Mobile, Secure, and Programmable Networking

Selma Boumerdassi, Samia Bouzefrane, Éric Renault

$47.823

Advances in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos

$54.670

Programming Multicore and Many-core Computing Systems

Sabri Pllana, Fatos Xhafa

$84.629

Algorithmic Aspects of Cloud Computing

Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos

$43.734

Large Scale Network-Centric Distributed Systems

Hamid Sarbazi-Azad, Albert Y. Zomaya

$113.593

Trust and Trustworthy Computing

Michael Franz, Panos Papadimitratos

$54.670

Networked Systems

Guevara Noubir, Michel Raynal

$54.670

Foundations and Practice of Security

Frédéric Cuppens, Philip W. L. Fong, Joaquin Garcia-Alfaro, Nur Zincir Heywood

$54.670

Advances in User Authentication

Dipankar Dasgupta, Arunava Roy, Abhijit Nag

$62.326

Information Systems Security

Sushil Jajoda, Chandan Mazumdar

$54.670

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Jean-Pierre Talpin, Shin Nakajima, Huafeng Yu, Masumi Toyoshima

$98.417

Tools for High Performance Computing 2015

Tobias Hilbrich, Michael M. Resch, José Gracia, Christoph Niethammer, Wolfgang E. Nagel, Andreas Knüpfer

$98.417

Introduction to Embedded Systems

Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier

$65.607

Data Engineering

Yupo Chan, John Talburt, Terry M. Talley

$109.353

Operational Amplifiers

Johan Huijsing

$98.417

Programming Heterogeneous MPSoCs

Jerónimo Castrillón Mazo, Rainer Leupers

$98.417

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design

Pieter Harpe, Kofi A. A. Makinwa, Andrea Baschirotto

$179.368

Embedded and Real Time System Development: A Software Engineering Perspective

Ajith Abraham, Mohammad Ayoub Khan, Saqib Saeed, Ashraf Darwish

$98.417

Tools for High Performance Computing 2011

Michael M. Resch, Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel

$98.417

Foundations of Hardware IP Protection

Lilian Bossuet, Lionel Torres

$98.417

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

Jameel Ahmed, Mohammed Yakoob Siyal, Shaheryar Najam, Zohaib Najam

$54.670

Large-Scale Data Analytics

Aris Gkoulalas-Divanis, Abderrahim Labbi

$54.670

Hardware/Software Co-design for Heterogeneous Multi-core Platforms

Koen Bertels

$98.417

Automatic Methods for the Refinement of System Models

Julia Seiter, Robert Wille, Rolf Drechsler

$54.670

Emerging Memory Technologies

Yuan Xie

$98.417

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler, Robert Wille

$54.670

Cryptology and Network Security

Michael Reiter, David Naccache

$51.390

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

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

$98.417

Data Privacy Management and Autonomous Spontaneous Security

Joaquin Garcia-Alfaro, Georgios Lioudakis, Nora Cuppens-Boulahia, Simon Foley, William M. Fitzgerald

$54.670

Innovative Security Solutions for Information Technology and Communications

Ion Bica, Reza Reyhanitabar

$54.670

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler

$98.417

Hands-on Experience with Altera FPGA Development Boards

G.M. Naik, Jivan S. Parab, Rajendra S. Gad

$109.353

Designing 2D and 3D Network-on-Chip Architectures

Konstantinos Tatas, Kostas Siozios, Dimitrios Soudris, Axel Jantsch

$98.417

Resource Management for Big Data Platforms

Florin Pop, Joanna Kołodziej, Beniamino Di Martino

$153.097

ESL Models and their Application

Brian Bailey, Grant Martin

$98.417

Reconfigurable Networks-on-Chip

Sao-Jie Chen, Wen-Chung Tsai, Yu-Hen Hu, Ying-Cherng Lan

$98.417

Cryptographic Hardware and Embedded Systems – CHES 2016

Benedikt Gierlichs, Axel Y. Poschmann

$54.670

Architectures for Baseband Signal Processing

Frank Kienle

$98.417

Model-Based Design of Adaptive Embedded Systems

Frans Reckers, Jacques Verriet, Twan Basten, Roelof Hamberg

$98.417

Testing Software and Systems

Natalia Kushik, Mihai Nica, Franz Wotawa

$54.670

Foundations and Practice of Security

Nadia Tawbi, Nora Cuppens-Boulahia, Lingyu Wang, Frédéric Cuppens, Joaquin Garcia-Alfaro

$54.670

Smart Sensors and Systems

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

$98.417

Computer Security -- ESORICS 2015

Günther Pernul, Peter Y A Ryan, Edgar Weippl

$54.670

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture

Vinod Pangracious, Zied Marrakchi, Habib Mehrez

$98.417

Engineering Secure Two-Party Computation Protocols

Thomas Schneider

$120.289

Dynamic Memory Management for Embedded Systems

David Atienza Alonso, Stylianos Mamagkakis, Christophe Poucet, Miguel Peón-Quirós, Alexandros Bartzas, Francky Catthoor, Dimitrios Soudris

$54.670

Towards Hardware-Intrinsic Security

Ahmad-Reza Sadeghi, David Naccache, Pim Tuyls

$153.097

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

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

$98.417

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

$98.417

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

$98.417

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

$54.670

Designing TSVs for 3D Integrated Circuits

Nauman Khan, Soha Hassoun

$54.670

Information Security

Yvo Desmedt

$54.670

Routing Algorithms in Networks-on-Chip

Maurizio Palesi, Masoud Daneshtalab

$143.114

Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot

Alaa Abdulhady Jaber

$153.097

Computing Platforms for Software-Defined Radio

Waqar Hussain, Jari Nurmi, Jouni Isoaho, Fabio Garzia

$98.417

Modeling, Analysis and Optimization of Network-on-Chip Communication Architectures

Umit Y. Ogras, Radu Marculescu

$98.417

Architecture of Computing Systems -- ARCS 2016

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

$54.670

Smart Systems Integration and Simulation

Nicola Bombieri, Massimo Poncino, Graziano Pravadelli

$98.417

Security Standardisation Research

Lidong Chen, David McGrew, Chris Mitchell

$54.670

¿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

Patterns for Parallel Software Design

Fundamentals of Stream Processing

Guide to Reliable Distributed Systems

Microprocessor Architecture

Detection of Intrusions and Malware, and Vulnerability Assessment

Handbook of Big Data Technologies

Real-Time Systems Design and Analysis

Model-Driven and Software Product Line Engineering

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s

Tools for High Performance Computing 2016

Languages and Compilers for Parallel Computing

Languages and Compilers for Parallel Computing

Research in Attacks, Intrusions, and Defenses

Euro-Par 2016: Parallel Processing

Embedded Systems Development

Processor and System-on-Chip Simulation

OpenMP: Memory, Devices, and Tasks

Innovative Security Solutions for Information Technology and Communications

Out-of-order Parallel Discrete Event Simulation for Electronic System-level Design

Hardware/Software Co-Design

SDL 2015: Model-Driven Engineering for Smart Cities

Software Reuse: Bridging with Social-Awareness

Multiprocessor System-on-Chip

Radio Frequency Identification: Security and Privacy Issues

System Analysis and Modeling. Technology-Specific Aspects of Models

Model-Implementation Fidelity in Cyber Physical System Design

Radio Frequency Identification: Security and Privacy Issues

Information Systems Security

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV

Mobile, Secure, and Programmable Networking

Advances in Databases and Information Systems

Programming Multicore and Many-core Computing Systems

Algorithmic Aspects of Cloud Computing

Large Scale Network-Centric Distributed Systems

Trust and Trustworthy Computing

Networked Systems

Foundations and Practice of Security

Advances in User Authentication

Information Systems Security

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Tools for High Performance Computing 2015

Introduction to Embedded Systems

Data Engineering

Operational Amplifiers

Programming Heterogeneous MPSoCs

Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design

Embedded and Real Time System Development: A Software Engineering Perspective

Tools for High Performance Computing 2011

Foundations of Hardware IP Protection

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

Large-Scale Data Analytics

Hardware/Software Co-design for Heterogeneous Multi-core Platforms

Automatic Methods for the Refinement of System Models

Emerging Memory Technologies

Languages, Design Methods, and Tools for Electronic System Design

Cryptology and Network Security

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

Data Privacy Management and Autonomous Spontaneous Security

Innovative Security Solutions for Information Technology and Communications

Debugging at the Electronic System Level

Hands-on Experience with Altera FPGA Development Boards

Designing 2D and 3D Network-on-Chip Architectures

Resource Management for Big Data Platforms

ESL Models and their Application

Reconfigurable Networks-on-Chip

Cryptographic Hardware and Embedded Systems – CHES 2016

Architectures for Baseband Signal Processing

Model-Based Design of Adaptive Embedded Systems

Testing Software and Systems

Foundations and Practice of Security

Smart Sensors and Systems

Computer Security -- ESORICS 2015