Embedded Software Verification and Debugging

Djones Lettnin,Markus Winterholer

Engineering (R0)

Buy the eBook

15 % 引き販売価格　12,869 円10,938 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781461422662
発売日　2017年4月19日
出版社：Springer New York

出版社： Springer
ファイル形式　EPUB2
サイズ　3.56 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Patterns for Parallel Software Design

Jorge Luis Ortega-Arjona

9,616 円

CUDA Application Design and Development

Rob Farber

5,282 円

Fundamentals of Stream Processing

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

16,640 円

Guide to Reliable Distributed Systems

Kenneth P Birman

6,928 円

Microprocessor Architecture

Jean-Loup Baer

15,821 円

Detection of Intrusions and Malware, and Vulnerability Assessment

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

6,076 円

Handbook of Big Data Technologies

Albert Y. Zomaya, Sherif Sakr

48,619 円

Real-Time Systems Design and Analysis

Phillip A. Laplante, Seppo J. Ovaska

21,916 円

Cloud Computing

Dan C. Marinescu

7,291 円

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

22,757 円

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

Dominique Borrione

18,231 円

Tools for High Performance Computing 2016

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

12,154 円

Languages and Compilers for Parallel Computing

Chen Ding, John Criswell, Peng Wu

6,076 円

Languages and Compilers for Parallel Computing

Xipeng Shen, Frank Mueller, James Tuck

6,076 円

Research in Attacks, Intrusions, and Defenses

Herbert Bos, Fabian Monrose, Gregory Blanc

6,076 円

Euro-Par 2016: Parallel Processing

Pierre-François Dutot, Denis Trystram

6,076 円

Embedded Systems Development

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

12,154 円

Processor and System-on-Chip Simulation

Rainer Leupers, Olivier Temam

12,154 円

OpenMP: Memory, Devices, and Tasks

Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib

6,076 円

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

5,834 円

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

Weiwei Chen

12,154 円

Hardware/Software Co-Design

Jørgen Staunstrup, Wayne Wolf

18,231 円

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

5,834 円

Software Reuse: Bridging with Social-Awareness

Eduardo Santana de Almeida, Georgia M. Kapitsaki

6,076 円

Multiprocessor System-on-Chip

Michael Hübner, Jürgen Becker

18,231 円

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

5,834 円

System Analysis and Modeling. Technology-Specific Aspects of Models

Steffen Herbold, Jens Grabowski

6,076 円

Model-Implementation Fidelity in Cyber Physical System Design

Anca Molnos, Christian Fabre

12,154 円

Radio Frequency Identification: Security and Privacy Issues

Michael Hutter, Jörn-Marc Schmidt

5,591 円

Information Systems Security

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

6,076 円

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

Abdelkader Hameurlain, Josef Küng, Roland Wagner

6,076 円

Mobile, Secure, and Programmable Networking

Selma Boumerdassi, Samia Bouzefrane, Éric Renault

4,862 円

Advances in Databases and Information Systems

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

6,076 円

Programming Multicore and Many-core Computing Systems

Sabri Pllana, Fatos Xhafa

14,584 円

Algorithmic Aspects of Cloud Computing

Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos

5,105 円

Large Scale Network-Centric Distributed Systems

Hamid Sarbazi-Azad, Albert Y. Zomaya

19,552 円

Trust and Trustworthy Computing

Michael Franz, Panos Papadimitratos

6,076 円

Networked Systems

Guevara Noubir, Michel Raynal

6,076 円

Foundations and Practice of Security

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

6,076 円

Advances in User Authentication

Dipankar Dasgupta, Arunava Roy, Abhijit Nag

6,928 円

Information Systems Security

Sushil Jajoda, Chandan Mazumdar

6,076 円

Cyber-Physical System Design from an Architecture Analysis Viewpoint

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

12,154 円

Tools for High Performance Computing 2015

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

12,154 円

Introduction to Embedded Systems

Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier

7,292 円

Data Engineering

Yupo Chan, John Talburt, Terry M. Talley

13,369 円

Operational Amplifiers

Johan Huijsing

12,150 円

Programming Heterogeneous MPSoCs

Jerónimo Castrillón Mazo, Rainer Leupers

12,154 円

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

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

19,447 円

Embedded and Real Time System Development: A Software Engineering Perspective

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

12,154 円

Tools for High Performance Computing 2011

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

12,154 円

Foundations of Hardware IP Protection

Lilian Bossuet, Lionel Torres

10,938 円

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

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

6,076 円

Large-Scale Data Analytics

Aris Gkoulalas-Divanis, Abderrahim Labbi

6,076 円

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

Koen Bertels

12,154 円

Automatic Methods for the Refinement of System Models

Julia Seiter, Robert Wille, Rolf Drechsler

6,076 円

Emerging Memory Technologies

Yuan Xie

12,154 円

Languages, Design Methods, and Tools for Electronic System Design

Rolf Drechsler, Robert Wille

6,076 円

Cryptology and Network Security

Michael Reiter, David Naccache

5,834 円

UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs

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

12,154 円

Data Privacy Management and Autonomous Spontaneous Security

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

6,076 円

Innovative Security Solutions for Information Technology and Communications

Ion Bica, Reza Reyhanitabar

6,076 円

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler

12,154 円

Hands-on Experience with Altera FPGA Development Boards

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

13,369 円

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

Konstantinos Tatas, Kostas Siozios, Dimitrios Soudris, Axel Jantsch

12,154 円

Resource Management for Big Data Platforms

Florin Pop, Joanna Kołodziej, Beniamino Di Martino

18,231 円

ESL Models and their Application

Brian Bailey, Grant Martin

12,154 円

Reconfigurable Networks-on-Chip

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

12,154 円

Cryptographic Hardware and Embedded Systems – CHES 2016

Benedikt Gierlichs, Axel Y. Poschmann

6,076 円

Architectures for Baseband Signal Processing

Frank Kienle

12,154 円

Model-Based Design of Adaptive Embedded Systems

Frans Reckers, Jacques Verriet, Twan Basten, Roelof Hamberg

12,154 円

Testing Software and Systems

Natalia Kushik, Mihai Nica, Franz Wotawa

6,076 円

Foundations and Practice of Security

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

6,076 円

Smart Sensors and Systems

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

12,154 円

Computer Security -- ESORICS 2015

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

6,076 円

Three-Dimensional Design Methodologies for Tree-based FPGA Architecture

Vinod Pangracious, Zied Marrakchi, Habib Mehrez

12,154 円

Engineering Secure Two-Party Computation Protocols

Thomas Schneider

14,585 円

Dynamic Memory Management for Embedded Systems

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

6,076 円

Towards Hardware-Intrinsic Security

Ahmad-Reza Sadeghi, David Naccache, Pim Tuyls

18,231 円

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

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

12,154 円

Dependable Multicore Architectures at Nanoscale

Marco Ottavi, Dimitris Gizopoulos, Salvatore Pontarelli

12,154 円

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

12,154 円

Cryptology and Network Security

Sara Foresti, Giuseppe Persiano

6,076 円

Designing TSVs for 3D Integrated Circuits

Nauman Khan, Soha Hassoun

6,076 円

Information Security

Yvo Desmedt

6,076 円

Routing Algorithms in Networks-on-Chip

Maurizio Palesi, Masoud Daneshtalab

18,231 円

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

Alaa Abdulhady Jaber

18,231 円

Computing Platforms for Software-Defined Radio

Waqar Hussain, Jari Nurmi, Jouni Isoaho, Fabio Garzia

12,154 円

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

Umit Y. Ogras, Radu Marculescu

12,154 円

Architecture of Computing Systems -- ARCS 2016

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

6,076 円

Smart Systems Integration and Simulation

Nicola Bombieri, Massimo Poncino, Graziano Pravadelli

12,154 円

Security Standardisation Research

Lidong Chen, David McGrew, Chris Mitchell

6,076 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Embedded Software Verification and Debugging

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

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