› › Isa 91 Algorithms

Distributed Algorithms

Author : Sam Toueg

Publisher : Springer Science & Business Media

Page : 340 pages

File Size : 31,71 MB

Release : 1992-03-11

Category : Computers

ISBN : 9783540552369

Get eBook

Book Description

This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991. The workshop provided a forum for researchers and others interested in distributed algorithms, communication networks, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. The volume contains 23 papers selected by the Program Committee from about fifty extended abstracts on the basis of perceived originality and quality and on thematic appropriateness and topical balance. The workshop was organizedby the Computer Technology Institute of Patras University, Greece.



Data Structures and Efficient Algorithms

Author : Burkhard Monien

Publisher : Springer Science & Business Media

Page : 406 pages

File Size : 39,57 MB

Release : 1992-05-20

Category : Computers

ISBN : 9783540554882

Get eBook

Book Description

Myocarditis and idiopathic dilated cardiomyopathy are being increasingly recognized as important causes of heart disease and heart failure. Immunological mechanisms have long been suspected as playing a role in thesediseases but direct evidence has been lacking. Recently, animal models have be- come available, in which myocarditis can be induced either by infection with cardiotropic viruses or by autoimmuniza- tion with heart-specific antigens. This book presents and analyzes the latest information obtained from experimental models, relating it to the practical problems of diagnosis and treatment of myocarditis.



Algebraic and Logic Programming

Author : Hélène Kirchner

Publisher : Springer Science & Business Media

Page : 476 pages

File Size : 25,4 MB

Release : 1992-08-19

Category : Computers

ISBN : 9783540558736

Get eBook

Book Description

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues.



Algorithms and Computation

Author : Ding-Zhu Du

Publisher : Springer Science & Business Media

Page : 708 pages

File Size : 42,81 MB

Release : 1994-07-27

Category : Computers

ISBN : 9783540583257

Get eBook

Book Description

This volume is the proceedings of the fifth International Symposium on Algorithms and Computation, ISAAC '94, held in Beijing, China in August 1994. The 79 papers accepted for inclusion in the volume after a careful reviewing process were selected from a total of almost 200 submissions. Besides many internationally renowned experts, a number of excellent Chinese researchers present their results to the international scientific community for the first time here. The volume covers all relevant theoretical and many applicational aspects of algorithms and computation.



Orders, Algorithms and Applications

Author : Vincent Bouchitte

Publisher : Springer Science & Business Media

Page : 220 pages

File Size : 27,90 MB

Release : 1994-06-23

Category : Computers

ISBN : 9783540582748

Get eBook

Book Description

This volume is the proceedings of the first International Workshop on Orders, Algorithms, and Applications, held at Lyon, France in July 1994. Ordered sets and the more specifically algorithmic aspects of order theory are of increasing importance, for example in graph theory. They enjoy a recognized place in computer science as well as in mathematics, due to various new developments in the last few years. The nine technical papers accepted for this volume and the four invited papers presented offer a representative perspective on theoretical and applicational aspects of orders and related algorithms.



Algebraic Specification Techniques in Object Oriented Programming Environments

Author : Ruth Breu

Publisher : Springer Science & Business Media

Page : 248 pages

File Size : 41,10 MB

Release : 1991-12-04

Category : Computers

ISBN : 9783540549727

Get eBook

Book Description

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.



Algorithms and Computations

Author : John Staples

Publisher : Springer Science & Business Media

Page : 470 pages

File Size : 18,97 MB

Release : 1995-11-15

Category : Computers

ISBN : 9783540605737

Get eBook

Book Description

This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in December 1995. The 45 revised full papers presented together with the abstracts of three invited talks were selected from a total of 130 submissions. The papers address many current aspects of research and advanced applications of algorithms and computations; among the topics covered are graph theory and graph algorithms, computational geometry, computational logics, searching and sorting, approximation and optimization, algebraic manipulation, and coding.



Algorithms and Data Structures

Author : Selim G. Akl

Publisher : Springer Science & Business Media

Page : 536 pages

File Size : 42,7 MB

Release : 1995-08-02

Category : Computers

ISBN : 9783540602200

Get eBook

Book Description

This volume constitutes the proceedings of the Fourth International Workshop on Algorithms and Data Structures, WADS '95, held in Kingston, Canada in August 1995. The book presents 40 full refereed papers selected from a total of 121 submissions together with invited papers by Preparata and Bilardi, Sharir, Toussaint, and Vitanyi and Li. The book addresses various aspects of algorithms, data structures, computational geometry, scheduling, computational graph theory, and searching.



Algorithms and Computation

Author : Kam W. Ng

Publisher : Springer Science & Business Media

Page : 566 pages

File Size : 18,90 MB

Release : 1993-11-26

Category : Computers

ISBN : 9783540575689

Get eBook

Book Description

This volume presents the proceedings of the fourth annual International Symposium on Algorithms and Computation, held in Hong Kong in December 1993.Numerous selected papers present original research in such areas as design and analysis of algorithms, computational complexity, and theory of computation. Topics covered include: - automata, languages, and computability, - combinatorial, graph, geometric, and randomized algorithms, - networks and distributed algorithms, - VLSIand parallel algorithms, - theory of learning and robotics, - number theory and robotics. Three invited papers are also included.



Real-Time: Theory in Practice

Author : J.W.de Bakker

Publisher : Springer Science & Business Media

Page : 740 pages

File Size : 48,47 MB

Release : 1992-06-24

Category : Computers

ISBN : 9783540555643

Get eBook

Book Description

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.