Model-Based Software Performance Analysis

Vittorio Cortellessa,Antinisca Di Marco,Paola Inverardi

Computer Science (R0)

Het eBook kopen

15 % 引き販売価格　7,149 円6,076 円

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

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

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

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

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

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

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783642136214
発売日　2013年7月26日
出版社：Springer Berlin Heidelberg

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

関連書籍

Algorithms Interview Questions You'll Most Likely Be Asked

Vibrant Publishers

2,203 円

Business Process Management

Mathias Weske

9,116 円

Systems Engineering with SysML/UML

Tim Weilkiens

6,128 円

Patterns for Parallel Software Design

Jorge Luis Ortega-Arjona

9,616 円

Data-Intensive Text Processing with MapReduce

Jimmy Lin, Chris Dyer

5,839 円

Software Engineering & Object Oriented Modeling

Jitendra Patel

1,703 円

または Kobo Plus なら無料

Cleanroom Software Engineering

Stacy J. Prowell, Carmen J. Trammell, Richard C. Linger, Jesse H. Poore

4,101 円

Formal Development of a Network-Centric RTOS

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

13,369 円

Real-Time Systems Design and Analysis

Phillip A. Laplante, Seppo J. Ovaska

21,916 円

Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria

14,124 円

Web Services Foundations

Athman Bouguettaya, Quan Z. Sheng, Florian Daniel

18,231 円

Model-Driven and Software Product Line Engineering

Jean-Claude Royer, Hugo Arboleda

22,757 円

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 円

Heuristic Search

Stefan Edelkamp, Stefan Schroedl

9,511 円

Data-Intensive Computing

Ian Gorton, Deborah K. Gracio

15,139 円

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

6,076 円

Verification and Validation in Systems Engineering

Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

15,800 円

Synthesis of Embedded Software

Jean-Pierre Talpin, Sandeep Kumar Shukla

12,154 円

Embedded Systems Development

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

12,154 円

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

Dominique Borrione

18,231 円

Real-Time Systems

Hermann Kopetz

9,723 円

Advances in Real-Time Systems

Samarjit Chakraborty, Jörg Eberspächer

12,154 円

Engineering Informatics

Benny Raphael, Ian F. C. Smith

17,046 円

Cyber-Physical System Design from an Architecture Analysis Viewpoint

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

12,154 円

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

6,076 円

Integration of Reusable Systems

Stuart H. Rubin, Thouraya Bouabana-Tebibel

12,154 円

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

6,076 円

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

12,154 円

SDL 2015: Model-Driven Engineering for Smart Cities

Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker

5,834 円

Static Analysis of Software

Jean-Louis Boulanger

26,137 円

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

12,154 円

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

6,076 円

Industrial Use of Formal Methods

Jean-Louis Boulanger

23,077 円

Tools and Methods of Program Analysis

Vladimir Itsykson, Andre Scedrov, Victor Zakharov

6,076 円

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

6,076 円

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

6,076 円

5G for Future Wireless Networks

Keping Long, Victor C.M. Leung, Haijun Zhang, Zhiyong Feng, Yonghui Li, Zhongshan Zhang

12,154 円

Structured Development for Real-Time Systems, Vol. III

Paul T. Ward, Stephen J. Mellor

4,511 円

Energy Efficient Data Centers

Sonja Klingert, Marta Chinnici, Milagros Rey Porto

4,862 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Geo-Spatial Knowledge and Intelligence

Hanning Yuan, Jing Geng, Fuling Bian

6,076 円

Information Technologies and Mathematical Modelling. Queueing Theory and Applications

Alexander Dudin, Alexander Kirpichnikov, Anatoly Nazarov

6,076 円

Large-Scale Data Analytics

Aris Gkoulalas-Divanis, Abderrahim Labbi

6,076 円

Quantitative Evaluation of Systems

Nathalie Bertrand, Luca Bortolussi

6,076 円

Hardware and Software: Verification and Testing

Nir Piterman

5,834 円

Communications and Networking

Qianbin Chen, Weixiao Meng, Liqiang Zhao

6,076 円

System Specification and Design Languages

Adam Morawiec, Tom J. Kaźmierski

18,231 円

Guide to Modeling and Simulation of Systems of Systems

Bernard P. Zeigler, Jean-Christophe Soulié, Raphaël Duboz, Hessam S. Sarjoughian

9,723 円

Cryptographic Engineering

Cetin Kaya Koc

30,386 円

High Performance Computing for Computational Science -- VECPAR 2014

Kengo Nakajima, Osni Marques, Michel Daydé

6,076 円

Modeling and Verification of Real-time Systems

Nicolas Navet, Stephan Merz

35,715 円

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

6,076 円

Formal Methods: Foundations and Applications

Simone Cavalheiro, José Fiadeiro

7,900 円

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Orlando Moreira, Henk Corporaal

12,154 円

Communication Technologies for Vehicles

Damien Roque, Hervé Bonneville, Marion Berbineau, Alain Pirovano, Alexey Vinel, Jaizki Mendizabal, Hasnaâ Aniss, Christophe Guerber, Bertrand Ducourthial

6,076 円

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

6,076 円

Scheduling for Parallel Processing

Maciej Drozdowski

12,154 円

Geo-Informatics in Resource Management and Sustainable Ecosystem

Fuling Bian, Yichun Xie

12,154 円

Trends in Constraint Programming

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

35,715 円

Information Technologies and Mathematical Modelling - Queueing Theory and Applications

Alexander Dudin, Anatoly Nazarov, Rafael Yakupov

6,076 円

Network Security

Scott C.-H. Huang, David MacCallum, Ding-Zhu Du

12,154 円

Foundational and Practical Aspects of Resource Analysis

Marko van Eekelen, Ugo Dal Lago

6,076 円

High Performance Computing for Computational Science – VECPAR 2016

Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques

6,076 円

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

6,076 円

Requirements Engineering and Management for Software Development Projects

Murali Chemuturi

6,076 円

Principles and Practice of Constraint Programming

J. Christopher Beck

6,076 円

Quantitative Evaluation of Systems

Gul Agha, Benny Van Houdt

6,076 円

Embedded Software Verification and Debugging

Djones Lettnin, Markus Winterholer

10,938 円

Combinatorial Testing in Cloud Computing

Guanqiu Qi, Wei-Tek Tsai

6,076 円

ESL Models and their Application

Brian Bailey, Grant Martin

12,154 円

Supercomputing for Molecular Dynamics Simulations

Hans-Joachim Bungartz, Martin Horsch, Alexander Heinecke, Wolfgang Eckhardt

6,076 円

Parallel Scientific Computing

Roman Trobec, Gregor Kosec

6,076 円

Scaling up Machine Learning

Ron Bekkerman, Mikhail Bilenko, John Langford

9,274 円

Distributed Computer and Communication Networks

Vladimir Vishnevsky, Dmitry Kozyrev

6,076 円

Scalable and Near-Optimal Design Space Exploration for Embedded Systems

Angeliki Kritikakou, Francky Catthoor, Costas Goutis

12,154 円

Communications and Networking

Qianbin Chen, Weixiao Meng, Liqiang Zhao

6,076 円

Reliable Software Technologies – Ada-Europe 2016

Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna

6,076 円

Models, Methods, and Tools for Complex Chip Design

Jan Haase

18,231 円

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

6,076 円

その他の著書

Computer Performance Engineering

Philipp Reinecke, Antinisca Di Marco

6,076 円

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

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

日本のストアです。

Model-Based Software Performance Analysis

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Algorithms Interview Questions You'll Most Likely Be Asked

Business Process Management

Systems Engineering with SysML/UML

Patterns for Parallel Software Design

Data-Intensive Text Processing with MapReduce

Software Engineering & Object Oriented Modeling

Cleanroom Software Engineering

Formal Development of a Network-Centric RTOS

Real-Time Systems Design and Analysis

Formal Methods for Industrial Critical Systems

Web Services Foundations

Model-Driven and Software Product Line Engineering

Introduction to HPC with MPI for Data Science

Readings in Artificial Intelligence and Software Engineering

Heuristic Search

Data-Intensive Computing

Formal Aspects of Component Software

Verification and Validation in Systems Engineering

Synthesis of Embedded Software

Embedded Systems Development

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

Real-Time Systems

Advances in Real-Time Systems

Engineering Informatics

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Formal Aspects of Component Software

Integration of Reusable Systems

Formal Aspects of Component Software

Meta-Programming and Model-Driven Meta-Program Development

SDL 2015: Model-Driven Engineering for Smart Cities

Static Analysis of Software

Patterns, Programming and Everything

Formal Techniques for Safety-Critical Systems

Industrial Use of Formal Methods

Tools and Methods of Program Analysis

Software Engineering and Formal Methods

Model Checking Software

5G for Future Wireless Networks

Structured Development for Real-Time Systems, Vol. III

Energy Efficient Data Centers

Formal Methods and Software Engineering

Geo-Spatial Knowledge and Intelligence

Information Technologies and Mathematical Modelling. Queueing Theory and Applications

Large-Scale Data Analytics

Quantitative Evaluation of Systems

Hardware and Software: Verification and Testing

Communications and Networking

System Specification and Design Languages

Guide to Modeling and Simulation of Systems of Systems

Cryptographic Engineering

High Performance Computing for Computational Science -- VECPAR 2014

Modeling and Verification of Real-time Systems

Quantitative Evaluation of Systems

Formal Methods: Foundations and Applications

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Communication Technologies for Vehicles

Fundamental Approaches to Software Engineering

Scheduling for Parallel Processing

Geo-Informatics in Resource Management and Sustainable Ecosystem

Trends in Constraint Programming

Information Technologies and Mathematical Modelling - Queueing Theory and Applications

Network Security

Foundational and Practical Aspects of Resource Analysis

High Performance Computing for Computational Science – VECPAR 2016

A Process Algebraic Approach to Software Architecture Design

Requirements Engineering and Management for Software Development Projects

Principles and Practice of Constraint Programming

Quantitative Evaluation of Systems

Embedded Software Verification and Debugging

Combinatorial Testing in Cloud Computing

ESL Models and their Application

Supercomputing for Molecular Dynamics Simulations