Skip to main content
Elsevier

Books in Computer systems organization

Showcasing hardware architecture, operating systems, and network infrastructure, this portfolio provides in-depth coverage of the fundamental building blocks of computing. Featuring cutting-edge research and practical insights, these titles support innovators, engineers, and students in designing efficient, scalable, and secure systems. Addressing emerging trends such as cloud computing, parallel processing, and hardware security, the collection fosters advancements that underpin modern digital infrastructure.

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

    • 1st Edition
    • Dan Craigen + 1 more
    • English
    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.

  • Broadband Communications, II

    • 1st Edition
    • Volume 24
    • S. Tohme + 1 more
    • English
    The state-of-the-art of broadband communications - and its evolution - in both the public and private networks, is presented in this book. Particular consideration is given to the issues of switching, resource management, network control, communication services, testing, quality of service, traffic characteristics, traffic control and protocols. Invited papers further explore the fields of multimedia communication and traffic control, plus the introduction of ATM.

  • RISC System/6000 PowerPC System Architecture

    • 1st Edition
    • International Business Machines, Inc.
    • English
    Offers support for a wide range of products for the RISC System/6000product line and AIX operating system, including Uni-processor (UP) andSymmetric Multiple Processor (SMP) systems. Provides important informationfor building many system features such as memory controllers with cachesand bus-to-bus bridges. RISC System/ 6000 PowerPC System Architecturedefines an architecture that allows each operating system--in particular,the AIX operating system--to run unchanged on all systems that comply withthis architecture. It provides a consistent software interface across abroad range of system implementations and offers all hardware/softwaredep... necessary for a successful system identification,confi... and performance tuning process.An important reference for all programmers and product developmentengineers who are developing software and hardware products for theRISC/System 6000 PowerPC systems. Also useful for system programmersinvolved in operating system design, system integrators building productsand parts for the system family, and anyone interested in porting otheroperating systems to the RISC System/6000 family.

  • Parallel Computing Works!

    • 1st Edition
    • Geoffrey C. Fox + 2 more
    • English
    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 mathematicalcomputat... They also devise performance models, measure the performancecharacter... of several computers, and create a high-performancecomp... 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 potentialcontributio... of parallelism. Includes over 30 full-color illustrations.

  • Parallelism in Production Systems

    • 1st Edition
    • Anoop Gupta
    • English

  • The Steiner Tree Problem

    • 1st Edition
    • Volume 53
    • F.K. Hwang + 2 more
    • English
    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.

  • High-Speed Analog-to-Digital Conversion

    • 1st Edition
    • Michael J. Demler
    • English
    This book covers the theory and applications of high-speed analog-to-digital conversion. An analog-to-digital converter takes real-world inputs (such as visual images, temperature readings, and rates of speed) and transforms them into digital form for processing by computer. This book discusses the design and uses of such circuits, with particular emphasis on improving the speed of the conversion process and the accuracy of its output--how well the output is a corresponding digital representation of the output*b1input signal. As computers become increasingly interfaced to the outside world, "ADC" techniques will become ever more important.

  • Parallel and Distributed Processing

    • 1st Edition
    • K. Boyanov
    • English
    The aim of this volume is to present discussion of the main problems in the theory of parallel and distributed architectures. It covers a wide range of basic topics, most of the papers being theoretical, though some cover application areas with the possibility of direct implementation.

  • Computer-Supported Cooperative Work

    A Book of Readings
    • 1st Edition
    • Irene Greif
    • English
    Computer-supported cooperative work is a field devoted to understanding group work processes and developing tools to enhance collaborative efforts. This book provides a comprehensive view of this dynamic area through a collection of articles from its diverse contributing fields, with introduction and analysis by the editor.Part 1 provides a concise history of the field, defining its early goals and seminal projects. In Part 2, current projects and their underlying technologies, including hypertext and database technologies for information sharing, are presented and evaluated. Finally, Part 3 outlines the theories and empirical studies guiding system design based on understanding human dynamics as well as system dynamics. Each section includes reprints, attractively re-typeset, of important papers from the seminal conferences and publications laying the foundations for the field.

  • The Representation Theory of Finite Groups

    • 1st Edition
    • Volume 2
    • W. Feit
    • English

Related subjects