Quality, Reliability, Security and Robustness in Heterogeneous Systems, Trung Q. Duong; Nguyen-Son Vo; Van Ca Phan

Автор: Athman Bouguettaya; Boualem Benatallah; Ahmed K. E
Название: Interconnecting Heterogeneous Information Systems
ISBN: 1461375460 ISBN-13(EAN): 9781461375463
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Interconnecting Heterogeneous Information Systems is suitable as a textbook for a graduate-level course on Interconnecting Heterogeneous Information Systems, as well as a secondary text for a graduate-level course on database or information systems, and as a reference for researchers and practitioners in industry.

Автор: 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.

Автор: Wang
Название: Quality, Reliability, Security and Robustness in Heterogeneous Systems
ISBN: 3319780778 ISBN-13(EAN): 9783319780771
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-conference proceedings of the 13th International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2017, held in Dalian, China, in December 2017.

Автор: Xiaowen Chu; Hongbo Jiang; Bo Li; Dan Wang; Wei Wa
Название: Quality, Reliability, Security and Robustness in Heterogeneous Systems
ISBN: 3030388182 ISBN-13(EAN): 9783030388188
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2019, held in Shenzhen, China, in November 2019.

Автор: Jong-Hyouk Lee; Sangheon Pack
Название: Quality, Reliability, Security and Robustness in Heterogeneous Networks
ISBN: 3319607162 ISBN-13(EAN): 9783319607160
Издательство: Springer
Рейтинг:
Цена: 61490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 12th EAI International Conference on Quality, Reliability, Security and Robustness in Heterogeneous Networks, QShine 2016, held in Seoul, South Korea, in July 2016.

Автор: G?rschwin Fey; Rolf Drechsler
Название: Robustness and Usability in Modern Design Flows
ISBN: 904817662X ISBN-13(EAN): 9789048176625
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The size of technically producible integrated circuits increases continuously, but the ability to design and verify these circuits does not keep up. Using a visionary approach, this book analyzes the current design methodology and verification methodology, a number of deficiencies are identified and solutions suggested.

Автор: 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;

Автор: Alfredo Cuzzocrea; Christian Kittl; Dimitris E. Si
Название: Availability, Reliability, and Security in Information Systems and HCI
ISBN: 364240510X ISBN-13(EAN): 9783642405105
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross-Domain Conference on Availability, Reliability and Security, CD-ARES 2013, held in Regensburg, Germany, in September 2013.

Автор: 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;

Автор: Novella Bartolini; Sotiris Nikoletseas; Prasun Sin
Название: Quality of Service in Heterogeneous Networks
ISBN: 3642106242 ISBN-13(EAN): 9783642106248
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents the proceedings of the 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness and of the Third International ICST Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications.

Автор: Steven Bell, Jing Pu, James Hegarty, Mark Horowitz
Название: Compiling Algorithms for Heterogeneous Systems
ISBN: 1681732637 ISBN-13(EAN): 9781681732633
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 72070.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.