Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer multitasking --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Electronic data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. This book provides a unifying theory of communicating automata and their logical properties. It covers finite automata, asynchronous (cellular) automata and lossy channel systems.

Electronic data processing --- Computer multitasking. --- Distributed processing. --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Distributed computer systems in electronic data processing --- Distributed computing --- Distributed processing in electronic data processing --- Computer networks

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques. Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

Computational intelligence. --- Engineering—Data processing. --- Computational Intelligence. --- Data Engineering. --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- Computer programming --- Computer multitasking. --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Electronic data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Build solid software with modern and safe concurrency features. Concurrency is one of the hardest problems in computer science. For years, computer scientists and engineers have developed different strategies for dealing with concurrency. However, the original concurrency primitives are complicated and difficult to understand, and even harder to implement. Using the new async/await APIs in Swift, this book will explain how your code can abstract a lot of the complexity with a simpler interface so you never have to deal with concurrency primitives such as semaphores, locks, and threads yourself. This will allow you to write concurrent code that is easier to read, easier to write, and easier to maintain. These new APIs are deeply ingrained into Swift, offering compile-level features that will keep you from writing dangerous concurrent code. You'll start by exploring why concurrency is hard to implement in a traditional system. Explaining the definition of concurrency and what its primitives are will help you understand why they are hard to use correctly. These concepts will become clearer as you work through the sample projects. The book's focus then shifts exclusively to the new APIs, helping you understand how the integration of the system with the language itself makes it easier for you to write concurrent code without overstepping the bounds of the concurrency safe zone. By the end of the book, you'll have a solid foundation for working safely with concurrent code using the new async/await APIs. What You'll Learn Understand concurrency and its traditional problems Work with the new async/await API and all its features, from the basic usage and await keywords, to task groups and async sequences. Implement modern and safe concurrent code that you can start using right away Who This Book Is For Experienced iOS developers at a semi-senior or senior level. Knowledge on the Grand Central Dispatch is a bonus, but not required.

Application program interfaces (Computer software). --- Application software --- Computer multitasking. --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Electronic data processing --- Development of application software --- APIs (Computer software) --- Interfaces, Application program (Computer software) --- Development. --- Swift (Computer program language) --- Application program interfaces (Computer software)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separate lines of development. Firstly the expressive power of a concurrent language is studied, namely Constraint Handling Rules, that supports constraints as a primitive construct. The features of this language which make it Turing powerful are shown. Then a framework is proposed to solve constraint problems that is intended to be deployed on a concurrent system. For the development of this framework the concurrent language Jolie following the Service Oriented paradigm is used. Based on this experience, an extension to Service Oriented Languages is also proposed in order to overcome some of their limitations and to improve the development of concurrent applications.

Engineering & Applied Sciences --- Computer Science --- Constraint programming (Computer science) --- Computer multitasking. --- Computer multi-tasking --- Concurrent processing (Computer science) --- Multi-tasking, Computer --- Multitasking (Computer science) --- Computer science. --- Programming languages (Electronic computers). --- Mathematical logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Electronic data processing --- Computer programming --- Informatics --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial