Synthesizing Synchronous Systems by Static Scheduling in Space-Time
Synthesizing Synchronous Systems by Static Scheduling in Space-Time

Author: Björn Lisper

Publisher: Springer Science & Business Media

Published: 1989-05-10

Total Pages: 276

ISBN-13: 9783540511564

DOWNLOAD EBOOK

The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, assigning a space-time coordinate to each event, so that causality is not violated and the solution is "good". Previous work in the area, if it provided any formalism at all, has relied mainly on uniform recurrence equations, extensions thereof, or on purely graph-theoretic formulations. In this project algebra is used instead and the close connection with single-assignment languages is stressed. Thus it is possible to generalize previous work and to give simple characterizations of the type of algorithms that can be implemented with space-time mappings. The results presented can be applied to hardware construction and compiler techniques for parallel computers.

Mathematical Foundations Of Parallel Computing
Mathematical Foundations Of Parallel Computing

Author: V V Voevodin

Publisher: World Scientific

Published: 1992-03-24

Total Pages: 367

ISBN-13: 9814505897

DOWNLOAD EBOOK

Parallel implementation of algorithms involves many difficult problems. In particular among them are round-off analysis, the way to convert sequential programs and algorithms into the parallel mode, the choice of appropriate or optimal computer architect and so on. To solve these problems, it is necessary to know very well the structure of algorithms. This book deal with the mathematical mechanism that permits us to investigate structures of both sequential and parallel algorithms. This mechanism allows us to recognize and explain the relations between different methods of constructing parallel algorithms, the methods of analysing round-off errors, the methods of optimizing memory traffic, the methods of working out the fastest implementation for a given parallel computer and other methods attending the joint investigation of algorithms and computers.

MFDBS 89
MFDBS 89

Author: Janos Demetrovics

Publisher: Springer Science & Business Media

Published: 1989-05-30

Total Pages: 438

ISBN-13: 9783540512516

DOWNLOAD EBOOK

This volume is a collection of the most important contributions presented at the second MFDBS conference held in Visegrád, Hungary, June 26-30, 1989. The papers selected from more than one hundred submissions, originating from 23 countries in 4 continents, can be roughly divided into the following sections: theoretical fundamentals of relational databases, logical foundations and databases, data modelling, database design, deductive databases, transaction management and security, concurrency control and distributed databases. The volume reflects the current state of knowledge and is a guide to further development in database theory.

Logic at Botik '89
Logic at Botik '89

Author: Albert R. Meyer

Publisher: Springer Science & Business Media

Published: 1989-06-07

Total Pages: 310

ISBN-13: 9783540512370

DOWNLOAD EBOOK

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Foundations of Data Organization and Algorithms
Foundations of Data Organization and Algorithms

Author: Witold Litwin

Publisher: Springer Science & Business Media

Published: 1989-06-07

Total Pages: 552

ISBN-13: 9783540512950

DOWNLOAD EBOOK

The Third International Conference on Foundations of Data Organization and Algorithms has been organized by INRIA in Paris from June 21 to 23, 1989. Previous FODO Conferences were held in Warsaw, 1981, and in Kyoto, 1985. The goal of this year's conference is to present advances in techniques of permanent and temporary data organization in different fields. New applications such as image processing, graphics, geographic data processing, robotics, office automation, information systems, language translation, and expert systems have developed various data organizations and algorithms specific to the application requirements. The growing importance of these applications has created a need for general studies on data organization and algorithms as well as for specific studies on new database management systems and on filing services. The articles submitted for the conference were subject to the usual rigorous reviewing process and selected on that basis. They offer an excellent snapshot of the state of the art in the field and should prove invaluable for computer scientists faced by the problems of data organization which are raised by these new applications.

Database Machines
Database Machines

Author: Haran Boral

Publisher: Springer Science & Business Media

Published: 1989

Total Pages: 404

ISBN-13: 9783540513247

DOWNLOAD EBOOK

This volume contains 24 papers presented at the Sixth International Workshop on Database Machines. The papers cover a wide spectrum of topics including: system architectures, storage structures, associative memory architectures, memory resident systems, deduction and retrospectives on maturing projects. The nature of the papers is highly technical and presumes knowledge of database management systems and familiarity with database machines. The book is representative of the dual trend in the field towards (1) search for new functionability and (2) attention to detail, completeness and performance of prototype implementations.

Mathematics of Program Construction
Mathematics of Program Construction

Author: Jan L.A. van de Snepscheut

Publisher: Springer Science & Business Media

Published: 1989-06-07

Total Pages: 436

ISBN-13: 9783540513056

DOWNLOAD EBOOK

The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Department of Computing Science, Groningen University, The Netherlands, at the occasion of the University's 375th anniversary. The creative inspiration of the modern computer has led to the development of new mathematics, the mathematics of program construction. Initially concerned with the posterior verification of computer programs, the mathematics have now matured to the point where they are actively being used for the discovery of elegant solutions to new programming problems. Initially concerned specifically with imperative programming, the application of mathematical methodologies is now established as an essential part of all programming paradigms - functional, logic and object-oriented programming, modularity and type structure etc. Initially concerned with software only, the mathematics are also finding fruit in hardware design so that the traditional boundaries between the two disciplines have become blurred. The varieties of mathematics of program construction are wide-ranging. They include calculi for the specification of sequential and concurrent programs, program transformation and analysis methodologies, and formal inference systems for the construction and analysis of programs. The mathematics of specification, implementation and analysis have become indispensable tools for practical programming.

A Formal Model of Visualization in Computer Graphics Systems
A Formal Model of Visualization in Computer Graphics Systems

Author: Tamiya Onodera

Publisher: Springer Science & Business Media

Published: 1990-04-04

Total Pages: 114

ISBN-13: 9783540523956

DOWNLOAD EBOOK

The 18 research articles of this volume discuss the major themes that have emerged from mathematical and statistical research in the epidemiology of HIV. The opening paper reviews important recent contributions. Five sections follow: Statistical Methodology and Forecasting, Infectivity and the HIV, Heterogeneity and HIV Transmission Dynamics, Social Dynamics and AIDS, and The Immune System and The HIV. In each, leading experts in AIDS epidemiology present the recent results. Some address the role of variable infectivity, heterogeneous mixing, and long periods of infectiousness in the dynamics of HIV; others concentrate on parameter estimation and short-term forecasting. The last section looks at the interaction between the HIV and the immune system.

Algorithms for Parallel Polygon Rendering
Algorithms for Parallel Polygon Rendering

Author: Theoharis Theoharis

Publisher: Springer Science & Business Media

Published: 1989-07-12

Total Pages: 164

ISBN-13: 9783540513940

DOWNLOAD EBOOK

This richly illustrated volume draws from a variety of sources to present a reference work for this remarkable volcanic province. Detailed descriptions of 44 major potentially active (Holocene) volcanoes form the core of the book. A compendium of geographical and morphological data on location, type, synonyms, summit elevation, edifice height, and status for each center, is followed by a summary of the structural and volcanological evolution of the edi- fice, historic and present activity, petrological and geochemical data, and an assessment of volcanic hazard. Each entry is superbly illustrated with a false color Landsat Thematic Mapper image, maps and ground photographs. Chapters on Holocene minor centers, and long-lived silicic caldera complexes are also well illustrated and summarise the available information on these important structures. General characteristics of these Holocene centers are then synthesised with data from older episodes of volcanism in a final chapter discussing regional volcanic evolution. In addition, the volume also contains a database summarising morphological, relative age, and volcanological data for all identifiable volcanic editifices in this volcanic province.