System-Level Validation

High-Level Modeling and Directed Test Generation Techniques

Prabhat Mishra,Heon-Mo Koo,Mingsong Chen,Xiaoke Qin

Engineering (R0)

Comprar el eBook

15 % 引き販売価格　14,299 円12,154 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9781461413592
発売日　2017年11月20日
出版社：Springer New York

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

関連書籍

Data Mining: Concepts and Techniques

Jiawei Han, Micheline Kamber, Jian Pei

7,925 円

Elements of Programming

Paul McJones, Alexander Stepanov

5,506 円

Why Programs Fail

Andreas Zeller

6,762 円

Fault-Tolerant Systems

Israel Koren, C. Mani Krishna

8,100 円

Data-Intensive Text Processing with MapReduce

Jimmy Lin, Chris Dyer

5,839 円

Distributed Algorithms for Message-Passing Systems

Michel Raynal

7,900 円

Systematic Program Design

Yanhong Annie Liu

7,910 円

Structured Peer-to-Peer Systems

Dmitry Korzun, Andrei Gurtov

12,154 円

Multicore Programming Using the ParC Language

Yosi Ben-Asher

5,464 円

Heuristic Search

Stefan Edelkamp, Stefan Schroedl

9,511 円

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

14,185 円

Formal Development of a Network-Centric RTOS

Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev

13,369 円

Data-Intensive Computing

Ian Gorton, Deborah K. Gracio

15,139 円

Introduction to HPC with MPI for Data Science

Frank Nielsen

4,861 円

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

9,934 円

Structured Object-Oriented Formal Language and Method

Shaoying Liu, Zhenhua Duan

6,076 円

Synthesis of Embedded Software

Jean-Pierre Talpin, Sandeep Kumar Shukla

12,154 円

Cryptology and Network Security

Michael Reiter, David Naccache

5,834 円

Trusted Systems

Moti Yung, Jianbiao Zhang, Zhen Yang

6,076 円

Frequent Pattern Mining

Charu C. Aggarwal, Jiawei Han

15,800 円

Practical Signcryption

Alexander W. Dent, Yuliang Zheng, Moti Yung

12,154 円

Information and Communications Security

Lucas C. K. Hui, S. H. Qing, Elaine Shi, S. M. Yiu

6,076 円

Clustering and Information Retrieval

S. Shekhar, Hui Xiong, Weili Wu

18,231 円

Innovative Security Solutions for Information Technology and Communications

Ion Bica, David Naccache, Emil Simion

5,834 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Applied Cryptography and Network Security

Tal Malkin, Vladimir Kolesnikov, Michalis Polychronakis, Allison Lewko

6,076 円

Information and Communications Security

Sihan Qing, Eiji Okamoto, Kwangjo Kim, Dongmei Liu

6,076 円

Information Security and Cryptology

Dongdai Lin, XiaoFeng Wang, Moti Yung

6,076 円

Information Security

Yvo Desmedt

6,076 円

Information Security and Cryptology

Kefei Chen, Dongdai Lin, Moti Yung

6,076 円

Topics in Cryptology - CT-RSA 2016

Kazue Sako

6,076 円

Scaling up Machine Learning

Ron Bekkerman, Mikhail Bilenko, John Langford

9,274 円

Cryptography and Information Security in the Balkans

Lars R. Knudsen, Enes Pasalic

6,076 円

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

12,154 円

Selected Areas in Cryptography - SAC 2015

Orr Dunkelman, Liam Keliher

6,076 円

Trusted Systems

Moti Yung, Liehuang Zhu, Yanjiang Yang

6,076 円

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

21,000 円

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Orlando Moreira, Henk Corporaal

12,154 円

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

6,076 円

FPGAs and Parallel Architectures for Aerospace Applications

Fernanda Kastensmidt, Paolo Rech

12,154 円

Provable Security

Man-Ho Au, Atsuko Miyaji

6,076 円

Introduction to Embedded Systems

Manuel Jiménez, Rogelio Palomera, Isidoro Couvertier

7,292 円

Trends in Constraint Programming

Narendra Jussien, Barry A. O'Sullivan, Frédéric Benhamou

35,715 円

Scalable and Near-Optimal Design Space Exploration for Embedded Systems

Angeliki Kritikakou, Francky Catthoor, Costas Goutis

12,154 円

SystemC and SystemC-AMS in Practice

Amal Banerjee, Balmiki Sur

12,154 円

Securing Digital Video

Eric Diehl

10,331 円

Software Automatic Tuning

Ken Naono, Keita Teranishi, John Cavazos, Reiji Suda

18,231 円

Computer Security -- ESORICS 2015

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

6,076 円

Foundations of Hardware IP Protection

Lilian Bossuet, Lionel Torres

10,938 円

Embedded Systems Development

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

12,154 円

Semantic Web-based Intelligent Geospatial Web Services

Peng Yue

6,076 円

Languages and Compilers for Parallel Computing

Xipeng Shen, Frank Mueller, James Tuck

6,076 円

Separation Logic for High-level Synthesis

Felix Winterstein

12,154 円

Multiprocessor Systems on Chip

Torsten Kempf, Gerd Ascheid, Rainer Leupers

12,154 円

Energy-Efficient Communication Processors

Robert Fasthuber, Francky Catthoor, Praveen Raghavan, Frederik Naessens

18,231 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

10,938 円

Analysis and Design of Networks-on-Chip Under High Process Variation

Hesham F. A. Hamed, Rabab Ezz-Eldin, Magdy Ali El-Moursy

12,154 円

Computing with Memory for Energy-Efficient Robust Systems

Somnath Paul, Swarup Bhunia

13,369 円

Partitional Clustering Algorithms

M. Emre Celebi

12,154 円

High-Level Verification

Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta

12,154 円

Distributed Programming

A. Udaya Shankar

6,076 円

3D Stacked Chips

Ibrahim (Abe) M. Elfadel, Gerhard Fettweis

6,076 円

Fog Computing in the Internet of Things

Amir M. Rahmani, Pasi Liljeberg, Jürgo-Sören Preden, Axel Jantsch

13,369 円

Information Security

Javier Lopez, Chris J. Mitchell

6,076 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

Principles and Practice of Constraint Programming

J. Christopher Beck

6,076 円

Turbo Decoder Architecture for Beyond-4G Applications

Cheng-Chi Wong, Hsie-Chia Chang

12,154 円

New Data Structures and Algorithms for Logic Synthesis and Verification

Luca Gaetano Amaru

6,076 円

Cryptographic Engineering

Cetin Kaya Koc

30,386 円

Embedded System Design

Peter Marwedel

6,928 円

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

12,154 円

Multi-Net Optimization of VLSI Interconnect

Konstantin Moiseev, Avinoam Kolodny, Shmuel Wimer

10,938 円

Security Standardisation Research

Shin'ichiro Matsuo, Liqun Chen

5,834 円

Smart Sensors and Systems

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

12,154 円

Reliable Software for Unreliable Hardware

Semeen Rehman, Muhammad Shafique, Jörg Henkel

6,076 円

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015

Roger Lee

12,154 円

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators

Abbas Rahimi, Luca Benini, Rajesh K. Gupta

12,154 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

High-Performance Computing on the Intel® Xeon Phi™

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

6,076 円

Embedded Software Verification and Debugging

Djones Lettnin, Markus Winterholer

10,938 円

Design for Manufacturability with Advanced Lithography

Bei Yu, David Z. Pan

6,076 円

その他の著書

Dynamic Reconfiguration in Real-Time Systems

Weixun Wang, Prabhat Mishra, Sanjay Ranka

12,154 円

Hardware IP Security and Trust

Prabhat Mishra, Swarup Bhunia, Mark Tehranipoor

12,154 円

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

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

日本のストアです。

System-Level Validation

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Data Mining: Concepts and Techniques

Elements of Programming

Why Programs Fail

Fault-Tolerant Systems

Data-Intensive Text Processing with MapReduce

Distributed Algorithms for Message-Passing Systems

Systematic Program Design

Structured Peer-to-Peer Systems

Multicore Programming Using the ParC Language

Heuristic Search

The Functional Approach to Programming

Formal Development of a Network-Centric RTOS

Data-Intensive Computing

Introduction to HPC with MPI for Data Science

Readings in Artificial Intelligence and Software Engineering

Structured Object-Oriented Formal Language and Method

Synthesis of Embedded Software

Cryptology and Network Security

Trusted Systems

Frequent Pattern Mining

Practical Signcryption

Information and Communications Security

Clustering and Information Retrieval

Innovative Security Solutions for Information Technology and Communications

Advances in Cryptology – EUROCRYPT 2017

Applied Cryptography and Network Security

Information and Communications Security

Information Security and Cryptology

Information Security

Information Security and Cryptology

Topics in Cryptology - CT-RSA 2016

Scaling up Machine Learning

Cryptography and Information Security in the Balkans

Advances in Cryptology -- ASIACRYPT 2015

Selected Areas in Cryptography - SAC 2015

Trusted Systems

Handbook of Constraint Programming

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Applied Cryptography and Network Security

FPGAs and Parallel Architectures for Aerospace Applications

Provable Security

Introduction to Embedded Systems

Trends in Constraint Programming

Scalable and Near-Optimal Design Space Exploration for Embedded Systems

SystemC and SystemC-AMS in Practice

Securing Digital Video

Software Automatic Tuning

Computer Security -- ESORICS 2015

Foundations of Hardware IP Protection

Embedded Systems Development

Semantic Web-based Intelligent Geospatial Web Services

Languages and Compilers for Parallel Computing

Separation Logic for High-level Synthesis

Multiprocessor Systems on Chip

Energy-Efficient Communication Processors

Advances in Cryptology – EUROCRYPT 2017

Analysis and Design of Networks-on-Chip Under High Process Variation

Computing with Memory for Energy-Efficient Robust Systems

Partitional Clustering Algorithms

High-Level Verification

Distributed Programming

3D Stacked Chips

Fog Computing in the Internet of Things

Information Security

Model Checking Software

Principles and Practice of Constraint Programming

Turbo Decoder Architecture for Beyond-4G Applications

New Data Structures and Algorithms for Logic Synthesis and Verification

Cryptographic Engineering

Embedded System Design

Advances in Cryptology – EUROCRYPT 2017

Multi-Net Optimization of VLSI Interconnect