PARLE '91. Parallel Architectures and Languages Europe

PARLE '91. Parallel Architectures and Languages Europe
Author: Emile H.L. Aarts
Publisher: Springer Science & Business Media
Total Pages: 516
Release: 1991-05-28
Genre: Computers
ISBN: 9783540541523

The innovative progress in the development of parallel computing systems and their increasing availability have caused a rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual Parallel Architectures and Languages Europe (PARLE) conferences aim to present current research on all aspects of the theory, design and application of parallel computing systems and parallel processing.

EPIA'91

EPIA'91
Author: Pedro Barahona
Publisher: Springer Science & Business Media
Total Pages: 308
Release: 1991-09-23
Genre: Computers
ISBN: 9783540545354

The Portuguese Association for Artificial Intelligence has been organizing Portuguese Conferences on Artificial Intelligence, now held every second year, since 1985. This volume contains selected papers from the Fifth Conference on Artificial Intelligence. The conference has an international status: 62 contributions from 13 countries were received, of which 26 were from Portugal. To guarantee a high scientific standard, all the contributions were reviewed by at least three researchers,and only 20 papers were accepted and included in these proceedings. The papers are organized into sections on constraints, search, knowledge representation, temporal reasoning, planning, diagnosis and repair, and learning.

CONCUR '91

CONCUR '91
Author: Jos C.M. Baeten
Publisher: Springer Science & Business Media
Total Pages: 564
Release: 1991-08-14
Genre: Computers
ISBN: 9783540544302

CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science.

ESEC '91

ESEC '91
Author: Alfonso Fuggetta
Publisher: Springer Science & Business Media
Total Pages: 536
Release: 1991-10-09
Genre: Computers
ISBN: 9783540547426

The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with the aim of providing an international forum for researchers, developersand users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering researchin recent years, stimulated, for example, through major European research programmes. The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries. They cover a fairly broad range of themes such as formal methods and practical experiences with them, special techniques for real-time systems, software evolution and re-engineering, software engineering environments, and software metrics. Invited papers by well-known experts address further important areas: perspectives on configuration management, software factories, user interfacedesign, computer security, and technology transfer.

Rewriting Techniques and Applications

Rewriting Techniques and Applications
Author: Ronald V. Book
Publisher: Springer Science & Business Media
Total Pages: 900
Release: 1991-03-27
Genre: Computers
ISBN: 9783540539049

This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems.

VLSI for Neural Networks and Artificial Intelligence

VLSI for Neural Networks and Artificial Intelligence
Author: Jose G. Delgado-Frias
Publisher: Springer Science & Business Media
Total Pages: 318
Release: 2013-06-29
Genre: Computers
ISBN: 1489913319

Neural network and artificial intelligence algorithrns and computing have increased not only in complexity but also in the number of applications. This in turn has posed a tremendous need for a larger computational power that conventional scalar processors may not be able to deliver efficiently. These processors are oriented towards numeric and data manipulations. Due to the neurocomputing requirements (such as non-programming and learning) and the artificial intelligence requirements (such as symbolic manipulation and knowledge representation) a different set of constraints and demands are imposed on the computer architectures/organizations for these applications. Research and development of new computer architectures and VLSI circuits for neural networks and artificial intelligence have been increased in order to meet the new performance requirements. This book presents novel approaches and trends on VLSI implementations of machines for these applications. Papers have been drawn from a number of research communities; the subjects span analog and digital VLSI design, computer design, computer architectures, neurocomputing and artificial intelligence techniques. This book has been organized into four subject areas that cover the two major categories of this book; the areas are: analog circuits for neural networks, digital implementations of neural networks, neural networks on multiprocessor systems and applications, and VLSI machines for artificial intelligence. The topics that are covered in each area are briefly introduced below.

A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems

A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
Author: Masakazu Kojima
Publisher: Springer Science & Business Media
Total Pages: 124
Release: 1991-09-25
Genre: Language Arts & Disciplines
ISBN: 9783540545095

Following Karmarkar's 1984 linear programming algorithm, numerous interior-point algorithms have been proposed for various mathematical programming problems such as linear programming, convex quadratic programming and convex programming in general. This monograph presents a study of interior-point algorithms for the linear complementarity problem (LCP) which is known as a mathematical model for primal-dual pairs of linear programs and convex quadratic programs. A large family of potential reduction algorithms is presented in a unified way for the class of LCPs where the underlying matrix has nonnegative principal minors (P0-matrix). This class includes various important subclasses such as positive semi-definite matrices, P-matrices, P*-matrices introduced in this monograph, and column sufficient matrices. The family contains not only the usual potential reduction algorithms but also path following algorithms and a damped Newton method for the LCP. The main topics are global convergence, global linear convergence, and the polynomial-time convergence of potential reduction algorithms included in the family.

Parallel Symbolic Computation Pasco '94 - Proceedings Of The First International Symposium

Parallel Symbolic Computation Pasco '94 - Proceedings Of The First International Symposium
Author: Hoon Hong
Publisher: World Scientific
Total Pages: 450
Release: 1994-09-17
Genre:
ISBN: 9814550108

These proceedings are devoted to communicating significant developments in all areas pertinent to Parallel Symbolic Computation.The scope includes algorithms, languages, software systems and application in any area of parallel symbolic computation, where parallelism is interpreted broadly to include concurrent, distributive, cooperative schemes, and so forth.