Database Machine Performance: Modeling Methodologies and Evaluation Strategies
Database Machine Performance: Modeling Methodologies and Evaluation Strategies

Author: Francesca Cesarini

Publisher: Springer Science & Business Media

Published: 1987-06-24

Total Pages: 264

ISBN-13: 9783540179429

DOWNLOAD EBOOK

This book is focused on the performance evaluation of database machines, i.e., special-purpose architectures specifically meant to improve the efficiency of database applications. The topic is of primary interest because of the need to compare these systems among themselves and with traditional database management systems. The book gathers the experience of several European research groups in modeling and analyzing the database machine architectures they have proposed. It deals both with the main methodological issues and with the detailed analysis of some relevant problems. It also includes an extensive annotated bibliography with more than one hundred references and several keys for the access to the literature.

Recent Trends in Data Type Specification
Recent Trends in Data Type Specification

Author: Donald Sannella

Publisher: Springer Science & Business Media

Published: 1988-10-26

Total Pages: 280

ISBN-13: 9783540503255

DOWNLOAD EBOOK

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.

Efficient Structures for Geometric Data Management
Efficient Structures for Geometric Data Management

Author: Oliver Günther

Publisher: Springer Science & Business Media

Published: 1988-11-09

Total Pages: 152

ISBN-13: 9783540504634

DOWNLOAD EBOOK

More MRCP Part 1 provides five further mock MRCP type examination papers for quick self-assessment. It contains another collection of multiple choice questions used in the Bloomsbury MRCP Part 1 course and supplements the previously published volume: Johnson/Pozniak, MRCP Part 1. Any candidate preparing for such examinations will find valuable guidelines as to the strengths and weaknesses of his knowledge.

Trends, Techniques, and Problems in Theoretical Computer Science
Trends, Techniques, and Problems in Theoretical Computer Science

Author: Alica Kelemenova

Publisher: Springer Science & Business Media

Published: 1987-10-21

Total Pages: 228

ISBN-13: 9783540185352

DOWNLOAD EBOOK

Aerodynamics and hydrodynamics are still the main domains that make greater use of flow visualization and classical optical techniques such as schlieren and interferometry than of more recent techniques such as holography speckle, laser light sheets, laser-induced tracers and laser-induced fluorescence. A number of studies are now under way on turbulent and vortex flows, within boundary layers or wakes, in the mixing layer of two flows. Other studies concern jets, two-phase flows and air-water interface. To review and discuss developments in flow visualization, four international symposia have been held. Following Tokyo, Bochum and Ann Arbor, the Fourth International Symposium on Flow Visualization (ISFV 4) was held in Paris in August 1986.

Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems

Author: Mathai Joseph

Publisher: Springer Science & Business Media

Published: 1988-09-14

Total Pages: 244

ISBN-13: 9783540503026

DOWNLOAD EBOOK

This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It contains 25 revised papers and related discussions that concentrate on the integration of Database Technology (deductive databases, extended relational technology, object-oriented systems) and Artificial Intelligence (in particular logic programming and knowledge representation). The emphasis of the book is on the integration of DB/AI technology required for knowledge Base Management Systems. The book isolates major conceptual contributions, systems extensions, and reseach directions that lead towards that goal. This book is a European counterpart to another volume in the Topics in Information Systems Series, 'On Knowledge Base Management Systems', resulting from a North American workshop and edited by M. Brodie and J. Mylopoulos, which concentrates on theoretical results and the more abstract levels of Knowledge Base Management.

Software Reliability Modelling and Identification
Software Reliability Modelling and Identification

Author: Sergio Bittanti

Publisher: Springer Science & Business Media

Published: 1988-12-21

Total Pages: 226

ISBN-13: 9783540506959

DOWNLOAD EBOOK

This volume contains five tutorial papers based on the lectures given at the intensive course on Software Reliability Modelling and Identification in Como (Italy) from September 2 to 4, 1987. The purpose of this volume is to present some important models used to forecast the reliability growth during the software testing process, and discuss the practical applicability of models in the management of software techniques for model identification from data (parameter estimation, complexity selection, validation, etc.). The basic reliability concepts are also introduced for those readers who are not familiar with the reliability ideas. Besides the basic models, a new family of models is introduced in the book. This family is flexible enough to describe a variety of different reliability trends. Particular attention is given to the problem of the provision of tools to assist the user in selecting an appropriate model in a particular situation.