Open Access Books - Technology - 2019

Permanent URI for this collection

https://repository.vlu.edu.vn/handle/123456789/5143

Browse

Browsing Open Access Books - Technology - 2019 by Subject "algorithm analysis and problem complexity"
  • Publication
    Pro TBB: C++ Parallel Programming with Threading Building Blocks
    ( 2019)
    Michael Voss, Rafael Asenjo, James Reinders
    This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB starts with the basics, explaining parallel algorithms and C++'s built-in standard template library for parallelism. You'll learn the key concepts of managing memory, working with data structures and how to handle typical issues with synchronization. Later chapters apply these ideas to complex systems to explain performance tradeoffs, mapping common parallel patterns, controlling threads and overhead, and extending TBB to program heterogeneous systems or system-on-chips. What You'll Learn Use Threading Building Blocks to produce code that is portable, simple, scalable, and more understandable. Review best practices for parallelizing computationally intensive tasks in your applications. Integrate TBB with other threading packages. Create scalable, high performance data-parallel programs. Work with generic programming to write efficient algorithms. Who This Book Is For. C++ programmers learning to run applications on multicore systems, as well as C or C++ programmers without much experience with templates. No previous experience with parallel programming or multicore processors is required.
  • Publication
    Tools and Algorithms for the Construction and Analysis of Systems
    ( 2019)
    Tomáš Vojnar, Lijun Zhan (editors)
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.