Embedded Software Verification and Debugging

Djones Lettnin,Markus Winterholer

Engineering (R0)

購買電子書

Économise 20 %Prix catalogue : $145.12 CAD.$116.09CAD

Vous êtes dans la boutique Canada

Pas en Canada? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Acheter Offrir un livre

Gagnez des Kobo Super Points!

Obtenez-le pour 59200 Super Points Kobo en devenant membre VIPEn savoir plus

En savoir plus sur l'alignement des prix

Pourquoi lire avec nous ?

Kobo permet aux amateurs de livres de lire davantage.

Expérience de lecture améliorée avec nos liseuses Kobo

Un catalogue de livres riche et pertinent

Application de lecture gratuite Kobo

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9781461422662
Date de parution :19 avr. 2017
Éditeur :Springer New York

Marque éditoriale :Springer
Format de fichier :EPUB2
Taille de fichier :3.56 MB
Options de téléchargement :EPUB2 (Adobe DRM)

Lectures semblables

Patterns for Parallel Software Design

Jorge Luis Ortega-Arjona

$52.99

CUDA Application Design and Development

Rob Farber

VIP$40.31

Fundamentals of Stream Processing

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

VIP$100.79

Guide to Reliable Distributed Systems

Kenneth P Birman

VIP$66.23

Microprocessor Architecture

Jean-Loup Baer

VIP$95.75

Detection of Intrusions and Malware, and Vulnerability Assessment

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

VIP$58.04

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

VIP$451.70

Real-Time Systems Design and Analysis

Phillip A. Laplante, Seppo J. Ovaska

$181.99

Cloud Computing

Dan C. Marinescu

VIP$55.43

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

$174.99

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

Dominique Borrione

VIP$162.62

Tools for High Performance Computing 2016

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

VIP$104.48

Languages and Compilers for Parallel Computing

Chen Ding, John Criswell, Peng Wu

VIP$58.04

Languages and Compilers for Parallel Computing

Xipeng Shen, Frank Mueller, James Tuck

VIP$58.04

Research in Attacks, Intrusions, and Defenses

Herbert Bos, Fabian Monrose, Gregory Blanc

VIP$58.04

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

VIP$58.04

Embedded Systems Development

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

VIP$104.48

Processor and System-on-Chip Simulation

Rainer Leupers, Olivier Temam

VIP$104.48

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib

VIP$58.04

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

VIP$54.62

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

Weiwei Chen

VIP$104.48

Hardware/Software Co-Design

Jørgen Staunstrup, Wayne Wolf

VIP$161.27

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

VIP$54.62

Software Reuse: Bridging with Social-Awareness

Eduardo Santana de Almeida, Georgia M. Kapitsaki

VIP$58.04

Multiprocessor System-on-Chip

Michael Hübner, Jürgen Becker

VIP$162.62

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

VIP$54.62

System Analysis and Modeling. Technology-Specific Aspects of Models

Steffen Herbold, Jens Grabowski

VIP$58.04

Model-Implementation Fidelity in Cyber Physical System Design

Anca Molnos, Christian Fabre

VIP$104.48

Radio Frequency Identification: Security and Privacy Issues

Michael Hutter, Jörn-Marc Schmidt

VIP$52.28

Information Systems Security

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

VIP$58.04

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

VIP$58.04

Mobile, Secure, and Programmable Networking

Selma Boumerdassi, Samia Bouzefrane, Éric Renault

VIP$47.06

Advances in Databases and Information Systems

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

VIP$58.04

Programming Multicore and Many-core Computing Systems

Sabri Pllana, Fatos Xhafa

$118.99

Algorithmic Aspects of Cloud Computing

Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos

VIP$46.43

Large Scale Network-Centric Distributed Systems

Hamid Sarbazi-Azad, Albert Y. Zomaya

$159.99

Trust and Trustworthy Computing

Michael Franz, Panos Papadimitratos

VIP$58.04

Networked Systems

Guevara Noubir, Michel Raynal

VIP$58.04

Foundations and Practice of Security

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

VIP$58.04

Advances in User Authentication

Dipankar Dasgupta, Arunava Roy, Abhijit Nag

VIP$66.23

Information Systems Security

Sushil Jajoda, Chandan Mazumdar

VIP$58.04

Cyber-Physical System Design from an Architecture Analysis Viewpoint

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

VIP$104.48

Tools for High Performance Computing 2015

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

VIP$104.48

Introduction to Embedded Systems

Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier

VIP$69.65

Data Engineering

Yupo Chan, John Talburt, Terry M. Talley

VIP$116.09

Operational Amplifiers

Johan Huijsing

VIP$104.48

Programming Heterogeneous MPSoCs

Jerónimo Castrillón Mazo, Rainer Leupers

VIP$104.48

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

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

VIP$176.48

Embedded and Real Time System Development: A Software Engineering Perspective

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

VIP$104.48

Tools for High Performance Computing 2011

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

VIP$104.48

Foundations of Hardware IP Protection

Lilian Bossuet, Lionel Torres

VIP$104.48

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

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

VIP$58.04

Large-Scale Data Analytics

Aris Gkoulalas-Divanis, Abderrahim Labbi

VIP$58.04

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

Koen Bertels

VIP$104.48

Automatic Methods for the Refinement of System Models

Julia Seiter, Robert Wille, Rolf Drechsler

VIP$58.04

Emerging Memory Technologies

Yuan Xie

VIP$104.48

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler, Robert Wille

VIP$58.04

Cryptology and Network Security

Michael Reiter, David Naccache

VIP$54.62

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

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

VIP$104.48

Data Privacy Management and Autonomous Spontaneous Security

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

VIP$58.04

Innovative Security Solutions for Information Technology and Communications

Ion Bica, Reza Reyhanitabar

VIP$58.04

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler

VIP$104.48

Hands-on Experience with Altera FPGA Development Boards

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

VIP$116.09

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

Konstantinos Tatas, Kostas Siozios, Dimitrios Soudris, Axel Jantsch

VIP$104.48

Resource Management for Big Data Platforms

Florin Pop, Joanna Kołodziej, Beniamino Di Martino

VIP$162.62

ESL Models and their Application

Brian Bailey, Grant Martin

VIP$104.48

Reconfigurable Networks-on-Chip

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

VIP$104.48

Cryptographic Hardware and Embedded Systems – CHES 2016

Benedikt Gierlichs, Axel Y. Poschmann

VIP$58.04

Architectures for Baseband Signal Processing

Frank Kienle

VIP$104.48

Model-Based Design of Adaptive Embedded Systems

Frans Reckers, Jacques Verriet, Twan Basten, Roelof Hamberg

VIP$104.48

Testing Software and Systems

Natalia Kushik, Mihai Nica, Franz Wotawa

VIP$58.04

Foundations and Practice of Security

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

VIP$58.04

Smart Sensors and Systems

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

VIP$104.48

Computer Security -- ESORICS 2015

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

VIP$58.04

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture

Vinod Pangracious, Zied Marrakchi, Habib Mehrez

VIP$104.48

Engineering Secure Two-Party Computation Protocols

Thomas Schneider

VIP$127.70

Dynamic Memory Management for Embedded Systems

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

VIP$58.04

Towards Hardware-Intrinsic Security

Ahmad-Reza Sadeghi, David Naccache, Pim Tuyls

VIP$162.62

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

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

VIP$104.48

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

VIP$104.48

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

VIP$104.48

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

VIP$58.04

Designing TSVs for 3D Integrated Circuits

Nauman Khan, Soha Hassoun

VIP$58.04

Information Security

Yvo Desmedt

VIP$58.04

Routing Algorithms in Networks-on-Chip

Maurizio Palesi, Masoud Daneshtalab

VIP$139.67

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

Alaa Abdulhady Jaber

VIP$162.62

Computing Platforms for Software-Defined Radio

Waqar Hussain, Jari Nurmi, Jouni Isoaho, Fabio Garzia

VIP$104.48

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

Umit Y. Ogras, Radu Marculescu

VIP$104.48

Architecture of Computing Systems -- ARCS 2016

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

VIP$58.04

Smart Systems Integration and Simulation

Nicola Bombieri, Massimo Poncino, Graziano Pravadelli

VIP$104.48

Security Standardisation Research

Lidong Chen, David McGrew, Chris Mitchell

VIP$58.04

Avez-vous aimé le livre ?

Soyez la première personne à noter ce livre et à laisser un avis !

Il s'agit de notre librairie Canada.

Embedded Software Verification and Debugging

Pourquoi lire avec nous ?

Résumé

À propos de ce livre

Détails du livre

Comment lire

Lectures semblables

Patterns for Parallel Software Design

CUDA Application Design and Development

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

Cloud Computing

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