This is our Singapore store.

Looks like you're in United States. You need a Singapore address to shop on our Singapore store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Embedded Software Verification and Debugging

Djones Lettnin,Markus Winterholer

Engineering (R0)

Køb e-bogen

Save 10 %List Price: S$ 146.41 SGD.S$ 131.77SGD

You are in the Singapore store

Not in Singapore? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now Gift A Book

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781461422662
Release date:Apr 19, 2017
Publisher:Springer New York

Imprint:Springer
File format:EPUB2
File size:3.56 MB
Download options:EPUB2 (Adobe DRM)

Related Reads

Patterns for Parallel Software Design

Jorge Luis Ortega-Arjona

S$ 67.99

CUDA Application Design and Development

Rob Farber

S$ 57.54

Fundamentals of Stream Processing

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

S$ 138.20

Guide to Reliable Distributed Systems

Kenneth P Birman

S$ 83.48

Microprocessor Architecture

Jean-Loup Baer

S$ 131.44

Detection of Intrusions and Malware, and Vulnerability Assessment

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

S$ 73.24

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

S$ 569.62

Real-Time Systems Design and Analysis

Phillip A. Laplante, Seppo J. Ovaska

S$ 189.99

Cloud Computing

Dan C. Marinescu

S$ 80.32

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

S$ 199.99

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

Dominique Borrione

S$ 205.02

Tools for High Performance Computing 2016

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

S$ 131.77

Languages and Compilers for Parallel Computing

Chen Ding, John Criswell, Peng Wu

S$ 73.24

Languages and Compilers for Parallel Computing

Xipeng Shen, Frank Mueller, James Tuck

S$ 73.24

Research in Attacks, Intrusions, and Defenses

Herbert Bos, Fabian Monrose, Gregory Blanc

S$ 73.24

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

S$ 73.24

Embedded Systems Development

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

S$ 131.77

Processor and System-on-Chip Simulation

Rainer Leupers, Olivier Temam

S$ 131.77

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib

S$ 73.24

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

S$ 68.88

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

Weiwei Chen

S$ 131.77

Hardware/Software Co-Design

Jørgen Staunstrup, Wayne Wolf

S$ 205.24

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

S$ 68.88

Software Reuse: Bridging with Social-Awareness

Eduardo Santana de Almeida, Georgia M. Kapitsaki

S$ 73.24

Multiprocessor System-on-Chip

Michael Hübner, Jürgen Becker

S$ 205.02

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

S$ 68.88

System Analysis and Modeling. Technology-Specific Aspects of Models

Steffen Herbold, Jens Grabowski

S$ 73.24

Model-Implementation Fidelity in Cyber Physical System Design

Anca Molnos, Christian Fabre

S$ 131.77

Radio Frequency Identification: Security and Privacy Issues

Michael Hutter, Jörn-Marc Schmidt

S$ 65.93

Information Systems Security

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

S$ 73.24

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

S$ 73.24

Mobile, Secure, and Programmable Networking

Selma Boumerdassi, Samia Bouzefrane, Éric Renault

S$ 59.18

Advances in Databases and Information Systems

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

S$ 73.24

Programming Multicore and Many-core Computing Systems

Sabri Pllana, Fatos Xhafa

S$ 127.99

Algorithmic Aspects of Cloud Computing

Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos

S$ 58.63

Large Scale Network-Centric Distributed Systems

Hamid Sarbazi-Azad, Albert Y. Zomaya

S$ 171.99

Trust and Trustworthy Computing

Michael Franz, Panos Papadimitratos

S$ 73.24

Networked Systems

Guevara Noubir, Michel Raynal

S$ 73.24

Foundations and Practice of Security

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

S$ 73.24

Advances in User Authentication

Dipankar Dasgupta, Arunava Roy, Abhijit Nag

S$ 83.48

Information Systems Security

Sushil Jajoda, Chandan Mazumdar

S$ 73.24

Cyber-Physical System Design from an Architecture Analysis Viewpoint

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

S$ 131.77

Tools for High Performance Computing 2015

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

S$ 131.77

Introduction to Embedded Systems

Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier

S$ 87.84

Data Engineering

Yupo Chan, John Talburt, Terry M. Talley

S$ 146.49

Operational Amplifiers

Johan Huijsing

S$ 131.77

Programming Heterogeneous MPSoCs

Jerónimo Castrillón Mazo, Rainer Leupers

S$ 131.77

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

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

S$ 222.02

Embedded and Real Time System Development: A Software Engineering Perspective

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

S$ 131.77

Tools for High Performance Computing 2011

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

S$ 131.77

Foundations of Hardware IP Protection

Lilian Bossuet, Lionel Torres

S$ 131.77

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

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

S$ 73.24

Large-Scale Data Analytics

Aris Gkoulalas-Divanis, Abderrahim Labbi

S$ 73.24

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

Koen Bertels

S$ 131.77

Automatic Methods for the Refinement of System Models

Julia Seiter, Robert Wille, Rolf Drechsler

S$ 73.24

Emerging Memory Technologies

Yuan Xie

S$ 131.77

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler, Robert Wille

S$ 73.24

Cryptology and Network Security

Michael Reiter, David Naccache

S$ 68.88

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

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

S$ 131.77

Data Privacy Management and Autonomous Spontaneous Security

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

S$ 73.24

Innovative Security Solutions for Information Technology and Communications

Ion Bica, Reza Reyhanitabar

S$ 73.24

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler

S$ 131.77

Hands-on Experience with Altera FPGA Development Boards

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

S$ 146.49

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

Konstantinos Tatas, Kostas Siozios, Dimitrios Soudris, Axel Jantsch

S$ 131.77

Resource Management for Big Data Platforms

Florin Pop, Joanna Kołodziej, Beniamino Di Martino

S$ 205.02

ESL Models and their Application

Brian Bailey, Grant Martin

S$ 131.77

Reconfigurable Networks-on-Chip

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

S$ 131.77

Cryptographic Hardware and Embedded Systems – CHES 2016

Benedikt Gierlichs, Axel Y. Poschmann

S$ 73.24

Architectures for Baseband Signal Processing

Frank Kienle

S$ 131.77

Model-Based Design of Adaptive Embedded Systems

Frans Reckers, Jacques Verriet, Twan Basten, Roelof Hamberg

S$ 131.77

Testing Software and Systems

Natalia Kushik, Mihai Nica, Franz Wotawa

S$ 73.24

Foundations and Practice of Security

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

S$ 73.24

Smart Sensors and Systems

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

S$ 131.77

Computer Security -- ESORICS 2015

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

S$ 73.24

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture

Vinod Pangracious, Zied Marrakchi, Habib Mehrez

S$ 131.77

Engineering Secure Two-Party Computation Protocols

Thomas Schneider

S$ 161.09

Dynamic Memory Management for Embedded Systems

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

S$ 73.24

Towards Hardware-Intrinsic Security

Ahmad-Reza Sadeghi, David Naccache, Pim Tuyls

S$ 205.02

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

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

S$ 131.77

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

S$ 131.77

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

S$ 131.77

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

S$ 73.24

Designing TSVs for 3D Integrated Circuits

Nauman Khan, Soha Hassoun

S$ 73.24

Information Security

Yvo Desmedt

S$ 73.24

Routing Algorithms in Networks-on-Chip

Maurizio Palesi, Masoud Daneshtalab

S$ 186.82

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

Alaa Abdulhady Jaber

S$ 205.02

Computing Platforms for Software-Defined Radio

Waqar Hussain, Jari Nurmi, Jouni Isoaho, Fabio Garzia

S$ 131.77

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

Umit Y. Ogras, Radu Marculescu

S$ 131.77

Architecture of Computing Systems -- ARCS 2016

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

S$ 73.24

Smart Systems Integration and Simulation

Nicola Bombieri, Massimo Poncino, Graziano Pravadelli

S$ 131.77

Security Standardisation Research

Lidong Chen, David McGrew, Chris Mitchell

S$ 73.24

Did you like the book?

Be the first to rate and review this book!

This is our Singapore store.

Embedded Software Verification and Debugging

Why read with us?

Synopsis

About this book

Book details

How to read

Related Reads

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