Showing results for "Verification of Sequential and Concurrent Programs German"

Learn how to write scalable and concurrent programs in Scala, a language that grows with you.Key Features\[\*\] Get a grip on the functional features of the Scala programming language\[\*\] Understand and develop optimal applications using object-oriented and functional Scala constructs\[\*\] Learn reactive principles with Scala and work with the Akka frameworkBook DescriptionScala is a general-purpose programming language th...

Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect runtime errors in software, has become a standard in the automotive domain. The most critical runtime error is one which only occurs sporadically and is therefore very difficult to detect and reproduce. The introduction of multicore hardware enables an execution of the software in real parallel. A reason f...

A definitive guide to implementing concurrency patterns in your applicationsKey FeaturesLearn functional programming patterns to write clear and high quality codeExplore parallel programming and multithreading techniques to make your code run fasterEfficiently use thread pools, actors patterns, and threading patterns to build reliable applicationsBook DescriptionSelecting the correct concurrency architecture has a significant...

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the speed of today’s design workflows. Whereas a design can be proven to be free of errors based on formal methods, the required time and memory resources of this can often not be predicted. This conflict is addressed by Polynomial Formal Verification (PFV): By selecting adequate data structures a...

Master key features of Go, including advanced concepts like concurrency and working with JSON, to create and optimize real-world services, network servers, and clientsKey FeaturesThis third edition of the bestselling guide to advanced Go programming has been overhauled and expanded to cover RESTful servers, the WebSocket protocol, and Go genericsUse real-world exercises to build high-performance network servers and powerful command line utilities

Future-proof your applications with best practices and design patterns in KotlinKey FeaturesUnderstand traditional and modern design patterns to improve the design of your applicationCombine the benefits of object-oriented, functional, reactive, and concurrent programmingChoose the best microservices architecture and frameworks for your web applicationBook DescriptionThis book shows you how easy it can be...

Leverage the functional programming and concurrency features of Rust and speed up your application developmentKey Features\[\*\] Get started with Rust to build scalable and high performance applications\[\*\] Enhance your application development skills using the power of Rust\[\*\] Discover the power of Rust when developing concurrent applications for large and scalable softwareBook DescriptionRust is the new, open source, fa...

This book constitutes the refereed proceedings of the 18th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2025, held in Paris, France, during November 5-7, 2025.The 13 full papers included in this book were carefully reviewed and selected from 29 submissions. They focus on state of the art research and challenges in verification, control, performance, and dependability evaluation for modern computer and communication systems.

Multicore microprocessors are now at the heart of nearly all desktop and laptop computers. While these chips offer exciting opportunities for the creation of newer and faster applications, they also challenge students and educators. How can the new generation of computer scientists growing up with multicore chips learn to program applications that exploit this latent processing power? This unique book is an attempt to introduce concurrent programming to first-year computer science students...

The Importance of the Dissertation in Practice (DiP): A Resource Guide for EdD Students, Their Committee Members and Advisors, and Departmental and University Leaders Involved with EdD Programs is the first book-length study that looks at the elements of high-quality Dissertations in Practice (DiPs). It serves as a resource for EdD students, their committee members, their advisors, and departmental or university leaders involved with EdD programs. The book can be used to improve s...

This book is a comprehensiveguide to current practical and theoreticalunderstanding of verification of autonomous systems, helping users find the tools and techniques they need to address this challenging problem. Autonomous systems are transitioning out of the lab and into the commercial and industrial space in ever increasing numbers. Verification provides the assurance case necessary for deployment of autonomous systems, but we lack guidance, certifications, and standards to help a busi...

Ten expert contributors present a blueprint for actions future government leaders will need to guide policy making to reduce nuclear dangers. The authors identify the key technical, political, and diplomatic challenges associated with verifying, monitoring, and enforcing a world free of nuclear weapons and provide potential solutions to those challenges.