You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments.
Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications.
The capability to design quality software and implement modern information systems is at the core of economic growth in the 21st century. This book aims to review and analyze software engineering technologies, focusing on the evolution of design and implementation platforms as well as on novel computer systems.
During the past fifteen years concurrency in programming languages such as Java rose and fell, and again became popular. At this moment developers advise us to avoid concurrency in programming. They are using a host of deprecated methods in the latest releases How are we to understand the love-hate relationship with what should be a widely used approach of tackling real-world problems? The aim of rchitectures, Languages and Techniques is to encourage the safe, efficient and effective use of parallel computing. It is generally agreed that concurrency is found in most real applications and that it should be natural to use concurrency in programming. However, there has grown up a myth that conc...
This volume includes very high quality papers in different areas of computer and information sciences. The main themes are (computer network) performance evaluation and artificial neural networks and their applications. The latest developments in these areas are presented by a number of distinguished researchers from all over the world. These proceedings of The 13th International Symposium on Computer and Information Sciences (ISCIS'98) contain outstanding papers specifically related to the areas of "Gelenbe" neural networks and their applications, performance of computer-communication networks, simulations and analytic methods in order to study the performance of telecommunication networks, scheduling and resource allocation in computer and multimedia systems, stochastic ordering applied to performance evaluation, and simulation of virtual humans.
This edited Book is dedicated to the theory and applications of Evolutionary Computation and Fuzzy Logic for Intelligent Control, Knowledge Acquisition and Information Retrieval. The book consists of 86 selected research papers from the 1999 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'99 The research papers presented in this book cover new techniques and applications in the following research areas: Evolutionary Computation, Fuzzy Logic and Expert Systems with their applications for Optimisation, Learning, Control, Scheduling and Multi-Criteria Analysis as well as Reliability Assessment, Information Retrieval and Knowledge Acquisition.
Technical articles on the 19th meeting of the World Occam and Transputer User Group (WoTUG). They cover a wide range of topics from hardware applications to software tools for of parallel processing support; not solely related to transputers. Part of the book focusses on the retargeting of the occam compiler to a range of other processors.