Books in Computer systems organization

Parallel Computing: Fundamentals, Applications and New Directions

1st Edition
Volume 12
July 22, 1998
E.H. D'Hollander + 3 more
English
eBook
9 7 8 0 0 8 0 5 5 2 0 9 5

This volume gives an overview of the state-of-the-art with respect to the development of all types of parallel computers and their application to a wide range of problem areas. The international conference on parallel computing ParCo97 (Parallel Computing 97) was held in Bonn, Germany from 19 to 22 September 1997. The first conference in this biannual series was held in 1983 in Berlin. Further conferences were held in Leiden (The Netherlands), London (UK), Grenoble (France) and Gent (Belgium). From the outset the aim with the ParCo (Parallel Computing) conferences was to promote the application of parallel computers to solve real life problems. In the case of ParCo97 a new milestone was reached in that more than half of the papers and posters presented were concerned with application aspects. This fact reflects the coming of age of parallel computing. Some 200 papers were submitted to the Program Committee by authors from all over the world. The final programme consisted of four invited papers, 71 contributed scientific/industria... papers and 45 posters. In addition a panel discussion on Parallel Computing and the Evolution of Cyberspace was held. During and after the conference all final contributions were refereed. Only those papers and posters accepted during this final screening process are included in this volume. The practical emphasis of the conference was accentuated by an industrial exhibition where companies demonstrated the newest developments in parallel processing equipment and software. Speakers from participating companies presented papers in industrial sessions in which new developments in parallel computing were reported.

Implementation Techniques

1st Edition
Volume 3
November 13, 1997
Cornelius T. Leondes
Cornelius T. Leondes
English
Hardback
9 7 8 0 1 2 4 4 3 8 6 3 7
eBook
9 7 8 0 0 8 0 5 5 1 8 2 1

This volume covers practical and effective implementation techniques, including recurrent methods, Boltzmann machines, constructive learning with methods for the reduction of complexity in neural network systems, modular systems, associative memory, neural network design based on the concept of the Inductive Logic Unit, and a comprehensive treatment of implementations in the area of data classification. Numerous examples enhance the text. Practitioners, researchers,and students in engineering and computer science will find Implementation Techniques a comprehensive and powerful reference.

SDL '97: Time for Testing

1st Edition
August 18, 1997
Ana Cavalli + 1 more
English
Hardback
9 7 8 0 4 4 4 8 2 8 1 6 3
eBook
9 7 8 0 0 8 0 5 4 1 5 3 2

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed.SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques. MSC has strong structuring concepts to specify message sequences for large systems and can be used to develop scenarios, which is extremely useful for test and design environments. The SDL Forum today really is the SDL and MSC Forum.

Brain Theory

1st Edition
August 6, 1996
A. Aertsen + 1 more
English
eBook
9 7 8 0 0 8 0 5 2 8 2 9 8

The present collection of papers focuses on the subject of vision. The papers bring together new insights and facts from various branches of experimental and theoretical neuroscience. The experimental facts presented in the volume stem from disparate fields, such as neuroanatomy, electrophysiology, optical imaging and psychophysics. The theoretical models in part are unsophisticated, yet still inspiring, while others skilfully apply advanced mathematical reasoning to results of experimental measurements. The book is the fifth in a series of volumes intending to define a theory of the brain by bringing together formal reasoning and experimental facts. The reader is thus being introduced to a new kind of brain science, where facts and theory are beginning to blend together.

Distributed Algorithms

1st Edition
March 1, 1996
Nancy A. Lynch
English
Hardback
9 7 8 1 5 5 8 6 0 3 4 8 6
eBook
9 7 8 0 0 8 0 5 0 4 7 0 4

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.Distribu... Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others.The material is organized according to the system model—first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference.The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms—to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

High Performance Computing: Technology, Methods and Applications

1st Edition
Volume 10
September 13, 1995
J.J. Dongarra + 3 more
English
eBook
9 7 8 0 0 8 0 5 5 3 9 1 7

High Performance Computing is an integrated computing environment for solving large-scale computational demanding problems in science, engineering and business. Newly emerging areas of HPC applications include medical sciences, transportation, financial operations and advanced human-computer interface such as virtual reality. High performance computing includes computer hardware, software, algorithms, programming tools and environments, plus visualization.The book addresses several of these key components of high performance technology and contains descriptions of the state-of-the-art computer architectures, programming and software tools and innovative applications of parallel computers. In addition, the book includes papers on heterogeneous network-based computing systems and scalability of parallel systems.The reader will find information and data relative to the two main thrusts of high performance computing: the absolute computational performance and that of providing the most cost effective and affordable computing for science, industry and business. The book is recommended for technical as well as management oriented individuals.

HRT-HOOD™: A Structured Design Method for Hard Real-Time Ada Systems

1st Edition
Volume 3
April 7, 1995
A. Burns + 1 more
English
eBook
9 7 8 0 0 8 0 5 5 1 8 3 8

The increasing use of computers for real-time control on board spacecrafts has brought with it a greater emphasis on the development methodology used for such systems. By their nature, spacecraft control computers have to operate unattended for long periods and because of the programmatics of space, systems are subject to a long development cycle. As a result, there are two distinct concerns, the first being that the development approach guarantees functional and timing correctness, the second being that problems, particularly those associated with timing, are considered as early as possible in the spacecraft development life cycle.The European Space Agency has, for a number of years, encouraged the development of software using HOOD. It was thus a natural next step to investigate the incorporation of time within the existing HOOD framework. This has proven to be very beneficial and this book describes the approach developed by the authors for handling Hard Real-Time applications. It describes both the background scheduling theory, provides practical examples of its application to real life problems, and demonstrates how it is used in the various phases of the development of Hard Real-Time systems.

Understanding and Designing Computer Networks

1st Edition
March 17, 1995
Graham King
English
eBook
9 7 8 0 0 8 0 9 2 8 6 2 3

Understanding and Designing Computer Networks considers the ubiquitous nature of data networks, with particular reference to internetworking and the efficient management of all aspects of networked integrated data systems. In addition it looks at the next phase of networking developments; efficiency and security are covered in the sections dealing with data compression and data encryption; and future examples of network operations, such as network parallelism, are introduced.A comprehensive case study is used throughout the text to apply and illustrate new techniques and concepts as they are introduced. Presented in a format which is specifically tailored to modular courses, this comprehensive text should be essential reading for undergraduates in the fields of computer science, electronics or telecommunications.

Algorithms and Parallel VLSI Architectures III

1st Edition
March 16, 1995
M. Moonen + 1 more
English
eBook
9 7 8 0 0 8 0 5 2 6 9 7 3

A comprehensive overview of the current evolution of research in algorithms, architectures and compilation for parallel systems is provided by this publication.The contributions focus specifically on domains where embedded systems are required, either oriented to application-specific or to programmable realisations. These are crucial in domains such as audio, telecom, instrumentation, speech, robotics, medical and automotive processing, image and video processing, TV, multimedia, radar and sonar.The book will be of particular interest to the academic community because of the detailed descriptions of research results presented. In addition, many contributions feature the "real-life" applications that are responsible for driving research and the impact of their specific characteristics on the methodologies is assessed.The publication will also be of considerable value to senior design engineers and CAD managers in the industrial arena, who wish either to anticipate the evolution of commercially available design tools or to utilize the presented concepts in their own R&D programmes.

Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems

1st Edition
January 1, 1995
Dan Craigen + 1 more
English
eBook
9 7 8 1 4 3 7 7 2 8 1 7 0

Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are representative of industrial-grade projects and span a variety of application domains. The study had three main objectives: · To better inform deliberations within industry and government on standards and regulations; · To provide an authoritative record on the practical experience of formal methods to date; and À To suggest areas where future research and technology development are needed. This study was undertaken by three experts in formal methods and software engineering: Dan Craigen of ORA Canada, Susan Gerhart of Applied Formal Methods, and Ted Ralston of Ralston Research Associates. Robin Bloomfield of Adelard was involved with the Darlington Nuclear Generating Station Shutdown System case. Support for this study was provided by organizations in Canada and the United States. The Atomic Energy Control Board of Canada (AECB) provided support for Dan Craigen and for the technical editing provided by Karen Summerskill. The U.S. Naval Research Laboratories (NRL), Washington, DC, provided support for all three authors. The U.S. National Institute of Standards and Technology (NIST) provided support for Ted Ralston.

Related subjects

Computer communication networks

Computer system implementation

Computer systems organization general

Performance of systems

Processor architectures

Standardization and verification

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health