Books in Computer systems organization general

61-68 of 68 results in All results

Distributed Algorithms

• 1st Edition
• March 1, 1996
• Nancy A. Lynch
• English
• Hardback 978-1-55860-348-6

  9 7 8 - 1 - 5 5 8 6 0 - 3 4 8 - 6
• eBook 978-0-08-050470-4

  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.Distributed 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 978-0-08-055391-7

  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 978-0-08-055183-8

  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.

Parallel Computing Works!

• 1st Edition
• May 1, 1994
• Geoffrey C. Fox + 2 more
• English
• eBook 978-0-08-051351-5

  9 7 8 - 0 - 0 8 - 0 5 1 3 5 1 - 5

A clear illustration of how parallel computers can be successfully appliedto large-scale scientific computations. This book demonstrates how avariety of applications in physics, biology, mathematics and other scienceswere implemented on real parallel computers to produce new scientificresults. It investigates issues of fine-grained parallelism relevant forfuture supercomputers with particular emphasis on hypercube architecture.The authors describe how they used an experimental approach to configuredifferent massively parallel machines, design and implement basic systemsoftware, and develop algorithms for frequently used mathematicalcomputations. They also devise performance models, measure the performancecharacteristics of several computers, and create a high-performancecomputing facility based exclusively on parallel computers. By addressingall issues involved in scientific problem solving, Parallel ComputingWorks! provides valuable insight into computational science for large-scaleparallel architectures. For those in the sciences, the findings reveal theusefulness of an important experimental tool. Anyone in supercomputing andrelated computational fields will gain a new perspective on the potentialcontributions of parallelism. Includes over 30 full-color illustrations.

Motion Control for Intelligent Automation

• 1st Edition
• April 22, 1993
• A. De Carli + 1 more
• English
• eBook 978-1-4832-9791-0

  9 7 8 - 1 - 4 8 3 2 - 9 7 9 1 - 0

Motion Control is a rapidly evolving topic, with a wide range of applications, especially in robotics. Speed and position control of a mechanical system has always been one of the main problems in automatic control, as the demand increases for advanced levels of accuracy and dynamics. The study of motion control aims to combine theoretical approaches with the realization of mechanical systems characterized by high levels of performance. The IFAC workshop focused on the evolution of: mechanical systems modelling; control strategies; intelligent instrumentation; dedicated microprocessor devices, and new fields of application.

Real-Time Programming 1992

• 1st Edition
• November 23, 1992
• J.A. De La Puente + 1 more
• English
• eBook 978-1-4832-9789-7

  9 7 8 - 1 - 4 8 3 2 - 9 7 8 9 - 7

The 47 papers in this volume provide a useful reference tool for the state-of-the-art research in real-time programming.

The Steiner Tree Problem

• 1st Edition
• Volume 53
• October 20, 1992
• F.K. Hwang + 2 more
• English
• eBook 978-0-08-086793-9

  9 7 8 - 0 - 0 8 - 0 8 6 7 9 3 - 9

The Steiner problem asks for a shortest network which spans a given set of points. Minimum spanning networks have been well-studied when all connections are required to be between the given points. The novelty of the Steiner tree problem is that new auxiliary points can be introduced between the original points so that a spanning network of all the points will be shorter than otherwise possible. These new points are called Steiner points - locating them has proved problematic and research has diverged along many different avenues.This volume is devoted to the assimilation of the rich field of intriguing analyses and the consolidation of the fragments. A section has been given to each of the three major areas of interest which have emerged. The first concerns the Euclidean Steiner Problem, historically the original Steiner tree problem proposed by Jarník and Kössler in 1934. The second deals with the Steiner Problem in Networks, which was propounded independently by Hakimi and Levin and has enjoyed the most prolific research amongst the three areas. The Rectilinear Steiner Problem, introduced by Hanan in 1965, is discussed in the third part. Additionally, a forth section has been included, with chapters discussing areas where the body of results is still emerging.The collaboration of three authors with different styles and outlooks affords individual insights within a cohesive whole.

The Representation Theory of Finite Groups

• 1st Edition
• Volume 2
• May 1, 1982
• W. Feit
• English
• eBook 978-0-08-096013-5

  9 7 8 - 0 - 0 8 - 0 9 6 0 1 3 - 5