Books in Computer science

Mechanisms for Reliable Distributed Real-Time Operating Systems

1st Edition
May 10, 2014
J. Duane Northcutt
W. Rheinboldt + 1 more
English
eBook
9 7 8 1 4 8 3 2 1 8 9 2 2

Mechanisms for Reliable Distributed Real-Time Operating Systems: The Alpha Kernel deals with the Alpha kernel, a set of mechanisms that support the construction of reliable, modular, decentralized operating systems for real-time control applications. An initial snapshot of the kernel design and implementation is provided. Comprised of seven chapters, this volume begins with a background on the Alpha operating system kernel and its implementation, followed by a description of the programming abstractions created for the Alpha kernel. The third chapter defines the client interface provided by the kernel in support of the given programming abstractions, while the fourth chapter focuses on the functional design of the kernel. The hardware on which the kernel was constructed, as well as the implications of this hardware on the design and implementation of the kernel, is also examined. The final chapter compares Alpha with other relevant operating systems such as Hydra, Cronus, Eden, Argus, Accent, and Locus. This book will appeal to computer scientists, systems designers, and undergraduate and graduate students of computer science.

Proceedings of the Ninth Power Systems Computation Conference

1st Edition
June 6, 2016
Cascais Portugal
English
eBook
9 7 8 1 4 8 3 1 0 1 0 5 7

Digital Logic Design

2nd Edition
May 12, 2014
B. Holdsworth
English
eBook
9 7 8 1 4 8 3 1 4 2 2 2 7

Digital Logic Design, Second Edition provides a basic understanding of digital logic design with emphasis on the two alternative methods of design available to the digital engineer. This book describes the digital design techniques, which have become increasingly important. Organized into 14 chapters, this edition begins with an overview of the essential laws of Boolean algebra, K-map plotting techniques, as well as the simplification of Boolean functions. This text then presents the properties and develops the characteristic equations of a number of various types of flip-flop. Other chapters consider the design of synchronous and asynchronous counters using either discrete flip-flops or shift registers. This book discusses as well the design and implementation of event driven logic circuits using the NAND sequential equation. The final chapter deals with simple coding techniques and the principles of error detection and correction. This book is a valuable resource for undergraduate students, digital engineers, and scientists.

VLSI Design

1st Edition
Volume 14
December 1, 2014
Norman G. Einspruch
English
eBook
9 7 8 1 4 8 3 2 1 7 8 0 2

VLSI Electronics Microstructure Science, Volume 14: VLSI Design presents a comprehensive exposition and assessment of the developments and trends in VLSI (Very Large Scale Integration) electronics. This volume covers topics that range from microscopic aspects of materials behavior and device performance to the comprehension of VLSI in systems applications. Each article is prepared by a recognized authority. The subjects discussed in this book include VLSI processor design methodology; the RISC (Reduced Instruction Set Computer); the VLSI testing program; silicon compilers for VLSI; and specialized silicon compiler and programmable chip for language recognition. Scientists, engineers, researchers, device designers, and systems architects will find the book very useful.

The Mathematical Basis of the UNIURF CAD System

1st Edition
May 20, 2014
Pierre Bézier
English
eBook
9 7 8 1 4 8 3 1 0 3 0 3 7

The Mathematical Basis of the UNISURF CAD System deals with the mathematics involved in the use of the UNISURF CAD System. The book is divided into five chapters. Chapters 1 and 2 deal with the basic principles, expression of a point, and hodographs of curves and patches. Chapters 3 and 4 deal with the volume and parametric transformations of curves and patches, and Chapter 5 covers the general and special cases of blending. The text is recommended for mathematicians and designers who would like to know more about the mathematical aspect of the UNISURF CAD system.

Clinical Applications of Microcomputers in Communication Disorders

1st Edition
May 10, 2014
James L. Fitch
Norman J. Lass
English
eBook
9 7 8 1 4 8 3 2 6 9 6 1 0

Clinical Applications of Microcomputers in Communication Disorders is a comprehensive reference for the utilization of microcomputers in the field of communication disorders. The human-machine interface is discussed, along with word processing and data processing. The use of the microcomputer in the diagnosis and treatment of speech-language pathology is also reviewed. Comprised of 13 chapters, this book begins with a historical perspective of the computer in society and its role in the field of communication disorders. The reader is then introduced to computer hardware and software, and computer languages are described with examples written in BASIC. Subsequent chapters focus on the challenge that society faces in learning to live with technology; word processing and data management; and specific applications of the computer in the fields of speech-language pathology and audiology. Programs that are either commercially available or are in the public domain are reviewed. The final chapter paints a picture of the clinic of the future and the role that will be played by the computer. This monograph will be a useful resource for clinicians and other practicing professionals in the fields of speech pathology and audiology, including those who have an interest in, or need to stay current with, developments in the clinical management of communication disorders.

Software Reliability

1st Edition
May 17, 2014
A. Bendell + 1 more
English
eBook
9 7 8 1 4 8 3 1 5 2 8 6 8

Software Reliability reviews some fundamental issues of software reliability as well as the techniques, models, and metrics used to predict the reliability of software. Topics covered include fault avoidance, fault removal, and fault tolerance, along with statistical methods for the objective assessment of predictive accuracy. Development cost models and life-cycle cost models are also discussed. This book is divided into eight sections and begins with a chapter on adaptive modeling used to predict software reliability, followed by a discussion on failure rate in software reliability growth models. The next chapter deals with methods for predicting and estimating software reliability, with emphasis on their strengths and weaknesses. The reader is methodically introduced to formal inspection in software development; the effects of product design, program structure, development methods, and the environments of product testing and use on product reliability; and types of software metrics in relation to reliability. The remaining chapters explore the ways in which software engineers have sought to achieve software reliability through testing; problems and standards in software reliability data collection; and applications of time series models to software reliability analysis. This monograph will be of interest to software engineers and designers.

Relational Databases

1st Edition
May 23, 2014
D A Bell
English
eBook
9 7 8 1 4 8 3 1 5 2 9 1 2

Relational Databases explores the major advances in relational databases and provides a balanced analysis of the state of the art in relational databases. Topics covered include capture and analysis of data placement requirements; distributed relational database systems; data dependency manipulation in database schemata; and relational database support for computer graphics and computer aided design. This book is divided into three sections and begins with an overview of the theory and practice of distributed systems, using the example of INGRES from Relational Technology as illustration. The following chapters focus on whether relational and relational-like systems actually meet business needs; IBM's Structured Query Language/Data System (SQL/DS); tools for database design and programming; and Secondary Access Methods and the problem of secondary index selection. A number of quantitative models for assessing the performance of physical databases are also described. This text concludes by assessing some of the most conspicuous trends in relational database research and development. This monograph will be of interest to database designers.

Cognitive Sciences

1st Edition
May 10, 2014
Maria Nowakowska
English
eBook
9 7 8 1 4 8 3 2 1 9 0 0 4

Cognitive Sciences: Basic Problems, New Perspectives, and Implications for Artificial Intelligence presents models and theories that describe and analyze some selected topics in the cognitive sciences and their implications for artificial intelligence (AI). These topics range from problems of observability and its restrictions or distortions of the subjective perception of time, to visual perception, memory, and communication. Extensive use is made of fuzzy set theory. Comprised of six chapters, this volume begins with an introduction to the distortion of time perception and the relationship between objective and subjective time. An explanatory concept used here is that of a pre-event (being a candidate for an event to be stored in memory) and the concept of a dynamic event-representation of an object (events on events) generated by the perceiver in the process of perceptual work. The discussion then turns to the notion of an event that underlies the theory of time; the semantics of multimedial languages of verbal and non-verbal communication; and problems of the mechanisms underlying the formation of judgments, as well as the problems of expression of these judgments in forms ranging from simple answers to binary questions and the generation of texts or discourses. The book also considers memory and perception before concluding with a description of stochastic models of expertise formation, opinion change, and learning. This monograph will appeal to specialists in the fields of cognitive sciences and AI.

An Introduction to Data Base Design

1st Edition
May 10, 2014
Betty Joan Salzberg
English
eBook
9 7 8 1 4 8 3 2 7 0 4 8 7

An Introduction to Data Base Design provides an understanding of how data base management systems (DBMS) work to be able to use any available commercial DBMS intelligently. This book presents the principle of independence of physical and local organization. Organized into seven chapters, this book begins with an overview of normal form theory. This text then describes the three types of DBMS. Other chapters consider the difficulties in processing queries where the names of the files are not mentioned. This book discusses as well how to group data hierarchically, how to use a preorder tree traversal to represent the data, and how to convert a network organization to a hierarchical one. The final chapter deals with four essential issues in data base theory, namely, recovery, security, integrity, and concurrency. This book is a valuable resource for computer science students in the junior or senior year, and people in industry who are doing technical work using data bases.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health