Books in Computer systems organization general

Scalable Shared-Memory Multiprocessing

1st Edition
June 28, 2014
Daniel E. Lenoski + 1 more
English
eBook
9 7 8 1 4 8 3 2 9 6 0 1 2

Dr. Lenoski and Dr. Weber have experience with leading-edge research and practical issues involved in implementing large-scale parallel systems. They were key contributors to the architecture and design of the DASH multiprocessor. Currently, they are involved with commercializing scalable shared-memory technology.

Computer System Organization

1st Edition
June 25, 2014
Elliott I. Organick
Robert L. Ashenhurst
English
eBook
9 7 8 1 4 8 3 2 1 9 0 4 2

Computer System Organization: The B5700/B6700 Series focuses on the organization of the B5700/B6700 Series developed by Burroughs Corp. More specifically, it examines how computer systems can (or should) be organized to support, and hence make more efficient, the running of computer programs that evolve with characteristically similar information structures. Comprised of nine chapters, this book begins with a background on the development of the B5700/B6700 operating systems, paying particular attention to their hardware/software architecture. The discussion then turns to the block-structured processes involved in the B6700 job, which consists of a time-invariant algorithm and a time-varying data structure which is the record of execution of that algorithm. Subsequent chapters deal with the basic data structures for B6700 algorithms; task attributes and the creation and coordination of tasks; stack structure and stack ownership; and software interrupts. Storage control strategies as well as the pros and cons of B6700 are also considered, along with some hardware details of procedure entry and return and tasking. This monograph is intended for computer center directors, other computer professionals, and serious students in computer science who have an interest in the subject of computer organization.

Analysis, Design and Evaluation of Man-Machine Systems 1989

1st Edition
May 23, 2014
B. Hu
English
eBook
9 7 8 1 4 8 3 2 9 8 8 7 0

The twenty-seven papers cover recent advances in both empirical and theoretical aspects of man-machine interaction with special emphasis on the subjects of man-automation and man-computer interaction. They provide information on a subject which has grown rapidly in importance during recent years.

Theory and Application of Digital Control

1st Edition
May 20, 2014
A. K. Mahalanabis
English
eBook
9 7 8 1 4 8 3 1 5 3 7 7 3

Theory and Application of Digital Control contains the proceedings of the IFAC Symposium held at New Delhi, India on January 5-7, 1982. This book particularly presents the texts of the five plenary talks and the 110 papers of the symposium. This book organizes the papers into 109 chapters, with nearly one-third of the papers focus on digital control, particularly, software and hardware of control using microcomputers; computer-aided design; and adaptive control and modeling for digital control. Another set of papers deal with several applications of digital control techniques in solving interesting problems of socio economic systems, electrical power systems, bio systems, and artificial satellites. The reader will benefit hugely from the topics in this book that span several important theoretical and applied areas of the fast-changing topic of digital control.

Modeling Enterprise Architecture with TOGAF

1st Edition
May 7, 2014
Philippe Desfray + 1 more
English
Paperback
9 7 8 0 1 2 4 1 9 9 8 4 2
eBook
9 7 8 0 1 2 4 1 9 9 9 5 8

Modeling Enterprise Architecture with TOGAF explains everything you need to know to effectively model enterprise architecture with The Open Group Architecture Framework (TOGAF), the leading EA standard. This solution-focused reference presents key techniques and illustrative examples to help you model enterprise architecture. This book describes the TOGAF standard and its structure, from the architecture transformation method to governance, and presents enterprise architecture modeling practices with plenty of examples of TOGAF deliverables in the context of a case study. Although widespread and growing quickly, enterprise architecture is delicate to manage across all its dimensions. Focusing on the architecture transformation method, TOGAF provides a wide framework, which covers the repository, governance, and a set of recognized best practices. The examples featured in this book were realized using the open source Modelio tool, which includes extensions for TOGAF.

Towards Verified Systems

1st Edition
Volume 2
October 22, 2013
J. Bowen
English
eBook
9 7 8 1 4 8 3 2 9 1 5 2 9

As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-syst... and others who are considering their use.

Computer Organization and Design MIPS Edition

5th Edition
September 26, 2013
David A. Patterson + 1 more
English
eBook
9 7 8 0 1 2 4 0 7 8 8 6 4

Computer Organization and Design, Fifth Edition, is the latest update to the classic introduction to computer organization. The text now contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. The book uses a MIPS processor core to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O.Because an understanding of modern hardware is essential to achieving good performance and energy efficiency, this edition adds a new concrete example, Going Faster, used throughout the text to demonstrate extremely effective optimization techniques. There is also a new discussion of the Eight Great Ideas of computer architecture. Parallelism is examined in depth with examples and content highlighting parallel hardware and software topics. The book features the Intel Core i7, ARM Cortex-A8 and NVIDIA Fermi GPU as real-world examples, along with a full set of updated and improved exercises.This new edition is an ideal resource for professional digital system designers, programmers, application developers, and system software developers. It will also be of interest to undergraduate students in Computer Science, Computer Engineering and Electrical Engineering courses in Computer Organization, Computer Design, ranging from Sophomore required courses to Senior Electives.

Network and System Security

2nd Edition
August 26, 2013
John Vacca
English
Paperback
9 7 8 0 1 2 4 1 6 6 8 9 9
eBook
9 7 8 0 1 2 4 1 6 6 9 5 0

Network and System Security provides focused coverage of network and system security technologies. It explores practical solutions to a wide range of network and systems security issues. Chapters are authored by leading experts in the field and address the immediate and long-term challenges in the authors’ respective areas of expertise. Coverage includes building a secure organization, cryptography, system intrusion, UNIX and Linux security, Internet security, intranet security, LAN security; wireless network security, cellular network security, RFID security, and more.

Programming Massively Parallel Processors

2nd Edition
December 14, 2012
David B. Kirk + 1 more
English
eBook
9 7 8 0 1 2 3 9 1 4 1 8 7

Programming Massively Parallel Processors: A Hands-on Approach, Second Edition, teaches students how to program massively parallel processors. It offers a detailed discussion of various techniques for constructing parallel programs. Case studies are used to demonstrate the development process, which begins with computational thinking and ends with effective and efficient parallel programs. This guide shows both student and professional alike the basic concepts of parallel programming and GPU architecture. Topics of performance, floating-point format, parallel patterns, and dynamic parallelism are covered in depth. This revised edition contains more parallel programming examples, commonly-used libraries such as Thrust, and explanations of the latest tools. It also provides new coverage of CUDA 5.0, improved performance, enhanced development tools, increased hardware support, and more; increased coverage of related technology, OpenCL and new material on algorithm patterns, GPU clusters, host programming, and data parallelism; and two new case studies (on MRI reconstruction and molecular visualization) that explore the latest applications of CUDA and GPUs for scientific research and high-performance computing. This book should be a valuable resource for advanced students, software engineers, programmers, and hardware engineers.

Theory of Electric Polarization

2nd Edition
December 2, 2012
Bozzano G Luisa
English
eBook
9 7 8 0 4 4 4 6 0 0 0 6 6

Theory of Electric Polarization: Dielectrics in Static Fields: Second Edition concerns the theory of the static behavior of dielectrics. The book reviews electric moment, electric dipoles, some concepts of, and problems of electrostatics. One problem concerns the phenomena of a conducting sphere in a homogeneous external field which was resolved using Laplace's equation. The text also discusses the work required to assemble a charge distribution, the energy of a dialectric or an induced dipole in an external field, and the electrostatic interaction of two particles. The book explores the reaction field of a polarizable or non-polarizable point dipole, the reaction field in an ellipsoidal cavity, the reaction field of an eccentric dipole in a spherical cavity, and the contribution of the permanent dipoles to the cohesion energy of a liquid. The text tackles the Onsager equation, the Debye equation, a correction to the Clausius-Mossotti equation, and the Kirkwood correlation factor. The book explains normal and anomalous saturation, electrostriction, as well as the non-linear effect due to the anisotropy of polarizability and hyperpolarizabilitie... The text can prove beneficial for researchers, investigators or scientists whose work involve organic chemistry, analytical chemistry, physical chemistry, and inorganic chemistry.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health