Skip to main content

Books in Computer systems organization general

Theory and Application of Digital Control
Proceedings of the IFAC Symposium, New Delhi, India, 5-7 January 1982
1st Edition
A. K. Mahalanabis
English
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
A Practical Guide Using UML and BPMN
1st Edition
Philippe Desfray + 1 more
English
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
J. Bowen
English
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, Interactive Edition
The Hardware/Software Interface
1st Edition
David A. Patterson + 1 more
English
Computer Organization and Design MIPS Edition
The Hardware/Software Interface
5th Edition
David A. Patterson + 1 more
English
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
John Vacca
English
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.
Fifth Generation Computer Systems
1st Edition
T. Moto-Oka
English
The Japan Information Processing Development Centre (JIPDEC) established a committee for Study and Research on Fifth-Generation Computers. Beginning in 1979, this Committee set out on a two-year investigation into the most desirable types of computer systems for application in the 1990`s (fifth-generation computers) and how the development projects aimed at the realization of these systems should be carried forward.This book contains the papers presented at the International Conference on Fifth Generation Computer Systems. Included among these papers is a preliminary report on the findings of the Committee.
Theory of Electric Polarization
Dielectrics in Static Fields
2nd Edition
Bozzano G Luisa
English
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.
SDL '95 with MSC in CASE
1st Edition
R. Braek + 1 more
English
Message Sequence Charts (MSC) have had an unanticipated success, both with SDL, on its own and in conjunction with other methods and tools. Major tool vendors now offer both SDL and MSC in their tool set. This timely volume reports on the recent developments in this expanding field. Several papers deal with language issues, tools and methods for effective use of MSC. Advances in "SDL technology" are discussed, and several papers deal with the early stages of product development and how SDL may be complemented by other methods, such as OMT, to improve problem understanding and make better SDL designs. New developments in the areas of tools for verification, validation and testing are also included, together with a large number of papers on applications.
Systems Engineering Using SDL-92
1st Edition
A. Olsen
O. Færgemand + 3 more
English
CCITT (now ITU-T) Specification and Description Language (SDL) and systems engineering (formal and informal) in SDL are considered in this publication. The latest version of the language, SDL-92 [ITU Z.100 SDL-92] is introduced. The book has been written for existing and potential users of SDL - technologists involved in the specification and engineering of systems. It offers easier learning, through examples and application, than the Z.100 Recommendation of March 1993, which gives precise technical definitions and concepts. The book has sufficient coverage of the language so that for normal use it should not be necessary to consult Z.100. For this reason, the grammars, both textual and graphical, are included, and the index makes it possible to find text on most of the language mechanisms.Chapter 1 provides an overview of specification and design of telecommunication systems. It considers the usage and scope of SDL. Chapter 2 gives an overview of the language, with an introduction of the major language elements. Chapter 3 focuses on the specification of behaviour and the information interchange between processes. Chapter 4 covers the structuring of systems in terms of instances, how these may be defined by types and how types may be organised in type/subtype hierarchies by inheritance. Parameterised types and packages of type definitions are also covered. Chapter 5 presents the part of the language that provides data types, with emphasis placed on how to use predefined data types. Chapter 6 presents the use of SDL for system engineering, with a discussion of general systems engineering principles followed by an introduction to methodologies which use SDL. The use of other languages in combination with SDL, documentation issues, naming and other lexical rules, errors and language support are considered, since they are more relevant to the use of language in engineering than when initially learning the language.