This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on High Performance Computing in Science and Engineering, HPCSE 2017, held in Karolinka, Czech Republic, in May 2017. The 15 papers presented in this volume were carefully reviewed and selected from 20 submissions. The conference provides an international forum for exchanging ideas among researchers involved in scientific and parallel computing, including theory and applications, as well as applied and computational mathematics. The focus of HPCSE 2017 was on models, algorithms, and software tools which facilitate efficient and convenient utilization of modern parallel and distributed computing architectures, as well as on large-scale applications.
Maude is a language and system based on rewriting logic. In this comprehensive account, you´ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.
In this book, the authors first address the research issues by providing a motivating scenario, followed by the exploration of the principles and techniques of the challenging topics. Then they solve the raised research issues by developing a series of methodologies. More specifically, the authors study the query optimization and tackle the query performance prediction for knowledge retrieval. They also handle unstructured data processing, data clustering for knowledge extraction. To optimize the queries issued through interfaces against knowledge bases, the authors propose a cache-based optimization layer between consumers and the querying interface to facilitate the querying and solve the latency issue. The cache depends on a novel learning method that considers the querying patterns from individual´s historical queries without having knowledge of the backing systems of the knowledge base. To predict the query performance for appropriate query scheduling, the authors examine the queries´ structural and syntactical features and apply multiple widely adopted prediction models. Their feature modelling approach eschews the knowledge requirement on both the querying languages and system. To extract knowledge from unstructured Web sources, the authors examine two kinds of Web sources containing unstructured data: the source code from Web repositories and the posts in programming question-answering communities. They use natural language processing techniques to pre-process the source codes and obtain the natural language elements. Then they apply traditional knowledge extraction techniques to extract knowledge. For the data from programming question-answering communities, the authors make the attempt towards building programming knowledge base by starting with paraphrase identification problems and develop novel features to accurately identify duplicate posts. For domain specific knowledge extraction, the authors propose to use clustering technique to separate knowledge into different groups. They focus on developing a new clustering algorithm that uses manifold constraint in the optimization task and achieves fast and accurate performance. For each model and approach presented in this dissertation, the authors have conducted extensive experiments to evaluate it using either public dataset or synthetic data they generated.
This open access book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018. The 12 full papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software systems, and the Internet of Things has become a crucial aspect of the performance of computer systems. The papers deal with these issues, with a specific focus on societally critical systems such as health informatics systems, the Internet of Things, energy systems, the systems that support digital cities and the cigital economy, mobile networks, and the underlying physical and network infrastructures that support them.
Softwarearchitektur bildet einen wesentlichen Erfolgsfaktor für Softwareprojekte. Sie stellt im Sinne einer systematischen Konstruktion sicher, dass Qualitätsanforderungen wie beispielsweise Erweiterbarkeit, Flexibilität, Performance oder Time-to-Market erfüllt werden können. Der Softwarearchitekt hat die Kundenwünsche mit den technischen Möglichkeiten und Randbedingungen in Einklang zu bringen sowie für eine passende Struktur und das Zusammenspiel aller Systemkomponenten zu sorgen. Dieses Buch vermittelt das nötige Grundlagenwissen, um eine dem Problem angemessene Softwarearchitektur für Systeme zu entwerfen. Es behandelt die wichtigen Begriffe und Konzepte der Softwarearchitektur sowie deren Bezug zu anderen Disziplinen. Darauf aufbauend werden die grundlegenden Techniken und Methoden für den Entwurf, die Dokumentation und die Qualitätssicherung von Softwarearchitekturen beschrieben. Ausführlich behandelt werden zudem die Rolle, die Aufgaben, das Umfeld und die Arbeitsumgebungdes Softwarearchitekten, ebenso dessen Einbettung in die umfassende Organisations- und Projektstruktur. Auch auf Werkzeuge für Softwarearchitekten wird eingegangen. Die 3. Auflage wurde auf die Standards ISO/IEC 25010 bzw. ISO/IEC/IEEE 42010 aktualisiert, misst Domain Driven Design mehr Gewicht bei und behandelt zahlreiche neue Architekturmuster, wie z.B. Microservices. Das Buch orientiert sich am Lehrplan zum ´´Certified Professional for Software Architecture - Foundation Level´´ (CPSA-F) des International Software Architecture Qualification Board (iSAQB) - Version 4.2 (Juli 2017).
Adopt Azure IaaS and migrate your on-premise infrastructure partially or fully to Azure. This book provides practical solutions by following Microsoft´s design and best practice guidelines for building highly available, scalable, and secure solution stacks using Microsoft Azure IaaS. The author starts by giving an overview of Azure IaaS and its components: you´ll see the new aspects of Azure Resource Manager, storage in IaaS, and Azure networking. As such, you´ll cover design considerations for migration and implementation of infrastructure services, giving you practical skills to apply to your own projects. The next part of the book takes you through the different components of Azure IaaS that need to be included in a resilient architecture and how to set up a highly available infrastructure in Azure. The author focuses on the tools available for Azure IaaS automated provisioning and the different performance monitoring and fine-tuning options available for the platform. Finally, you´ll gain practical skills in Azure security and implementing Azure architectures. After reading Practical Microsoft Azure IaaS , you will have learned how to map the familiar on-premise architecture components to their cloud infrastructure counterparts. This book provides a focused and practical approach to designing solutions to be hosted in Azure IaaS. What You Will Learn Map the key Azure components to familiar concepts in infrastructure, such as virtualization, storage provisioning, switching, and firewalls Implement Azure IaaS deployment architectures Design IaaS environments in line with the Microsoft recommended best practices for scalability, resiliency, availability, performance, and security Manage the operational aspects of hosted environments, leverage automation, and fine tune for optimal performance Who This Book Is For Infrastructure and solution architects with skills in on-premise infrastructure design who want to up-skill in Azure IaaS.
Programming Massively Parallel Processors: A Hands-on Approach, Third Edition shows both student and professional alike the basic concepts of parallel programming and GPU architecture, exploring, in detail, various techniques for constructing parallel programs. Case studies demonstrate the development process, detailing computational thinking and ending with effective and efficient parallel programs. Topics of performance, floating-point format, parallel patterns, and dynamic parallelism are covered in-depth. For this new edition, the authors have updated their coverage of CUDA, including coverage of newer libraries, such as CuDNN, moved content that has become less important to appendices, added two new chapters on parallel patterns, and updated case studies to reflect current industry practices. Teaches computational thinking and problem-solving techniques that facilitate high-performance parallel computing Utilizes CUDA version 7.5, NVIDIA´s software development tool created specifically for massively parallel environments Contains new and updated case studies Includes coverage of newer libraries, such as CuDNN for Deep Learning
Everything You Need to Know and Do to Coach Your Agile Project Team to Success! As an agile coach, you can help project teams become outstanding at agile development, creating products that make them proud and helping organizations reap the powerful benefits of teams that deliver both innovation and excellence. More and more frequently, ScrumMasters and project managers are being asked to coach agile teams. However, the role of coach is a challenging one that often doesn´t exist in traditional application development. Migrating from ´´command and control´´ to agile coaching requires new skills and a whole new mindset. In Coaching Agile Teams, leading agile coach Lyssa Adkins helps you master both so you can guide your agile teams to extraordinary performance. This practical book is packed with ideas, best practices, and checklists you can start using immediately. All of it reflects Adkins´s own hard-won experience transitioning to agile coaching from traditional, large-scale project management, including the remarkable lessons she´s learned from the teams she´s worked with. You´ll gain deep insight into the role of the agile coach, discover what works and what doesn´t, and learn how to adapt powerful skills from the fields of professional coaching and mentoring. Coverage includes * Understanding what it takes to be a great agile coach * Mastering all of the agile coach´s roles: teacher, mentor, problem solver, conflict navigator, and performance coach * Moving from agile team member or project leader to coach * Creating an environment where self-organized, high-performance teams can emerge * Coordinating collaboration * Evolving your leadership style as your team grows and changes * Staying actively engaged without dominating your team and stunting its growth * Operating in failure, recovery, and success modes * Getting the most out of your own personal agile coaching journey Whether you´re an agile coach, leader, trainer, mentor, facilitator, ScrumMaster, project manager, product owner, or team member, this book will help you become skilled at helping others become truly great. What could possibly be more rewarding?