Books in Computer systems organization general

11-20 of 68 results in All results

Analysis, Design & Evaluation of Man-Machine Systems

• 1st Edition
• June 28, 2014
• G. Mancini + 2 more
• English
• eBook 978-1-4832-9809-2

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

Provides a valuable overview of human-machine interaction in technological systems, with particular emphasis on recent advances in theory, experimental and analytical research, and applications related to man-machine systems. Topics covered include: Automation and Operator - task analysis, decision support, task allocation, management decision support, supervisory control, artificial intelligence, training and teaching, expert knowledge; System Concept and Design - software ergonomics, fault diagnosis, safety, design concepts; Man-machine Interface - interface design, graphics and vision, user adaptive interfaces; Systems Operation - process industry, electric power, aircraft, surface transport, prostheses and manual control. Contains 53 papers and three discussion sessions.

Analysis, Design and Evaluation of Man-Machine Systems 1988

• 1st Edition
• June 28, 2014
• J. Ranta
• English
• eBook 978-1-4832-9904-4

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

This volume provides a state-of-the-art review of the development and future use of man-machine systems in all aspects of business and industry. The papers cover such topics as human-computer interaction, system design, and the impact of automation in general, and also by the use of case studies describe a wide range of applications in such areas as office automation, transportation, power plants, machinery and manufacturing processes and defence systems. Contains 73 papers.

Planning and Design of Information Systems

• 1st Edition
• June 28, 2014
• André Blokdijk
• English
• eBook 978-1-4832-9578-7

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

Planning and Design of Information Systems provides a theoretical base and a practical method of executing the planning of computerized information systems, and the planning and design of individual applications. The book is organized into five parts, covering the non-technical and nonimplementational part of information systems planning, design, and development. Part I gives the theoretical base for the subsequent parts of the book. It discusses modeling, techniques, notations, boundaries, quality issues and aspects, and decomposition techniques and problems. Part II discusses the needs, problems, and possible solutions for user participation. It describes user organizations, in respect of culture; maturity in the use of automation and computers; and gives a synthesis of participation, cultures, maturity, and information systems development techniques. Part III describes how to develop an Information Systems Architecture, an Information Systems Plan, and a Data Architecture. Part IV presents a structured, programmed approach to planning an application in a short period while maintaining high quality, and discusses project management of application development. Part V covers information analysis, data specification and conceptual data base design, and process and dialog design.

Parallel Processing from Applications to Systems

• 1st Edition
• June 28, 2014
• Dan I. Moldovan
• English
• eBook 978-1-4832-9751-4

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

This text provides one of the broadest presentations of parallelprocessing available, including the structure of parallelprocessors and parallel algorithms. The emphasis is on mappingalgorithms to highly parallel computers, with extensive coverage ofarray and multiprocessor architectures. Early chapters provideinsightful coverage on the analysis of parallel algorithms andprogram transformations, effectively integrating a variety ofmaterial previously scattered throughout the literature. Theory andpractice are well balanced across diverse topics in this concisepresentation. For exceptional clarity and comprehension, the authorpresents complex material in geometric graphs as well as algebraicnotation. Each chapter includes well-chosen examples, tablessummarizing related key concepts and definitions, and a broad rangeof worked exercises.

Scalable Shared-Memory Multiprocessing

• 1st Edition
• June 28, 2014
• Daniel E. Lenoski + 1 more
• English
• eBook 978-1-4832-9601-2

  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 978-1-4832-1904-2

  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 978-1-4832-9887-0

  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 978-1-4831-5377-3

  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 978-0-12-419984-2

  9 7 8 - 0 - 1 2 - 4 1 9 9 8 4 - 2
• eBook 978-0-12-419995-8

  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 978-1-4832-9152-9

  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-systems, and others who are considering their use.