Quality, Reliability, Security and Robustness in Heterogeneous Systems, Wang

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Автор: Jos? Cec?lio; Pedro Furtado
Название: Wireless Sensors in Heterogeneous Networked Systems
ISBN: 3319384732 ISBN-13(EAN): 9783319384733
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an examination of the middleware that can be used to configure and operate heterogeneous node platforms and sensor networks. provides a detailed examination of platform-agnostic middleware architecture, including important implementation details;

Автор: Steven Bell, Jing Pu, James Hegarty, Mark Horowitz
Название: Compiling Algorithms for Heterogeneous Systems
ISBN: 162705961X ISBN-13(EAN): 9781627059619
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 51750.00 T
Наличие на складе: Невозможна поставка.
Описание: Most emerging applications in imaging and machine learning must perform immense amounts of computation while holding to strict limits on energy and power. To meet these goals, architects are building increasingly specialized compute engines tailored for these specific tasks. The resulting computer systems are heterogeneous, containing multiple processing cores with wildly different execution models. Unfortunately, the cost of producing this specialized hardware—and the software to control it—is astronomical. Moreover, the task of porting algorithms to these heterogeneous machines typically requires that the algorithm be partitioned across the machine and rewritten for each specific architecture, which is time consuming and prone to error.Over the last several years, the authors have approached this problem using domain-specific languages (DSLs): high-level programming languages customized for specific domains, such as database manipulation, machine learning, or image processing. By giving up generality, these languages are able to provide high-level abstractions to the developer while producing high performance output. The purpose of this book is to spur the adoption and the creation of domain-specific languages, especially for the task of creating hardware designs.In the first chapter, a short historical journey explains the forces driving computer architecture today. Chapter 2 describes the various methods for producing designs for accelerators, outlining the push for more abstraction and the tools that enable designers to work at a higher conceptual level. From there, Chapter 3 provides a brief introduction to image processing algorithms and hardware design patterns for implementing them. Chapters 4 and 5 describe and compare Darkroom and Halide, two domain-specific languages created for image processing that produce high-performance designs for both FPGAs and CPUs from the same source code, enabling rapid design cycles and quick porting of algorithms. The final section describes how the DSL approach also simplifies the problem of interfacing between application code and the accelerator by generating the driver stack in addition to the accelerator configuration.This book should serve as a useful introduction to domain-specialized computing for computer architecture students and as a primer on domain-specific languages and image processing hardware for those with more experience in the field.

Автор: Trung Q. Duong; Nguyen-Son Vo; Van Ca Phan
Название: Quality, Reliability, Security and Robustness in Heterogeneous Systems
ISBN: 3030144127 ISBN-13(EAN): 9783030144128
Издательство: Springer
Рейтинг:
Цена: 39130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-conference proceedings of the 14th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2018, held in Ho Chi Minh City, Vietnam, in December 2018. The 13 revised full papers were carefully reviewed and selected from 28 submissions. The papers are organized thematically in tracks, starting with security and privacy, telecommunication systems and networks, networks and applications.

Автор: Jean-Claude Junqua; Gertjan van Noord
Название: Robustness in Language and Speech Technology
ISBN: 9048156432 ISBN-13(EAN): 9789048156436
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this book we address robustness issues at the speech recognition and natural language parsing levels, with a focus on feature extraction and noise robust recognition, adaptive systems, language modeling, parsing, and natural language understanding.

Автор: Y. Kharin
Название: Robustness in Statistical Pattern Recognition
ISBN: 9048147603 ISBN-13(EAN): 9789048147601
Издательство: Springer
Рейтинг:
Цена: 135050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: At the first stage, until the middle of the 1970s, pattern recogni- tion theory was replenished mainly from adjacent mathematical disciplines: mathe- matical statistics, functional analysis, discrete mathematics, and information theory.

Автор: Shaul Salomon
Название: Active Robust Optimization: Optimizing for Robustness of Changeable Products
ISBN: 3030150496 ISBN-13(EAN): 9783030150495
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a novel framework, known as Active Robust Optimization, which provides the tools for evaluating, comparing and optimizing changeable products. Since any product that can change its configuration during normal operation may be considered a “changeable product,” the framework is widely applicable. Further, the methodology enables designers to use adaptability to deal with uncertainties and so avoid over-conservative designs.Offering a comprehensive overview of the framework, including its unique features, such as its ability to optimally respond to uncertain situations, the book also defines a new class of optimization problem and examines the effects of changes in various parameters on their solution. Lastly, it discusses innovative approaches for solving the problem and demonstrates these ?with two examples from different fields in engineering design: optimization of an optical table and optimization of a gearbox.

Автор: Jens Burkhard Schmitt
Название: Heterogeneous Network Quality of Service Systems
ISBN: 1461355443 ISBN-13(EAN): 9781461355441
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Heterogeneous Network Quality of Service Systems will be especially useful for networking professionals and researchers, advanced level students, and other information technology professionals whose work relate to the Internet.

Автор: Simon Collart-Dutilleul; Thierry Lecomte; Alexande
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3030187438 ISBN-13(EAN): 9783030187439
Издательство: Springer
Рейтинг:
Цена: 54030.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. They cover a range of topics including railways system and infrastructure advance modelling;

Автор: Jos? Cec?lio; Pedro Furtado
Название: Wireless Sensors in Heterogeneous Networked Systems
ISBN: 3319092790 ISBN-13(EAN): 9783319092799
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents an examination of the middleware that can be used to configure and operate heterogeneous node platforms and sensor networks. provides a detailed examination of platform-agnostic middleware architecture, including important implementation details;

Автор: Yves Demazeau; Franco Zambonelli; Juan M. Corchado
Название: Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection
ISBN: 3319075500 ISBN-13(EAN): 9783319075501
Издательство: Springer
Рейтинг:
Цена: 77320.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2014, held in Salamanca, Spain, in June 2014.

Автор: Javier Bajo Perez; Juan M. Corchado Rodr?guez; Phi
Название: Trends in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection
ISBN: 331907475X ISBN-13(EAN): 9783319074757
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems.