Author: B. Courcelle
Publisher: CUP Archive
ISBN: 9780521267502
Category : Algebra
Languages : en
Pages : 344

Get Book Here

Book Description

Author: Jean-Claude Raoult
Publisher: Springer Science & Business Media
ISBN: 9783540552512
Category : Computers
Languages : en
Pages : 376

Get Book Here

Book Description
This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.

Author: Symeon Bozapalidis
Publisher: Springer Science & Business Media
ISBN: 354075413X
Category : Computers
Languages : en
Pages : 298

Get Book Here

Book Description
This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greece, in May 2007. The 10 revised full papers presented together with 9 invited papers were carefully reviewed and selected from 29 submissions. The papers cover topics such as algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, infinite computation, acceptors and transducers for strings, trees, graphs, arrays, etc., and decision problems.

Author: Zoltan Esik
Publisher: Springer Science & Business Media
ISBN: 9783540571636
Category : Computers
Languages : en
Pages : 488

Get Book Here

Book Description
This volume contains the proceedings of the Ninth Conference on Fundamentalsof Computation Theory (FCT 93) held in Szeged, Hungary, in August 1993. The conference was devoted to a broad range of topics including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata and formal languages - Computational geometry, algorithmic aspects of algebra and algebraic geometry, cryptography - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts) - Algorithms (efficient, probabilistic, parallel, sequential, distributed) - Counting and combinatorics in connection with mathematical computer science The volume contains the texts of 8 invitedlectures and 32 short communications selected by the international program committee from a large number of submitted papers.

Author: Ewing Lusk
Publisher: Springer Science & Business Media
ISBN: 9783540193432
Category : Mathematics
Languages : en
Pages : 778

Get Book Here

Book Description
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.

Author: Alica Kelemenova
Publisher: Springer Science & Business Media
ISBN: 9783540185352
Category : Computers
Languages : en
Pages : 228

Get Book Here

Book Description
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.

Author: Hartmut Ehrig
Publisher: Springer Science & Business Media
ISBN: 9783540187714
Category : Computers
Languages : en
Pages : 626

Get Book Here

Book Description
The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer animation, complexity theory, developmental biology, music composition, representation of physical solids, and many others. This volume is based on the contributions presented at the third international workshop on graph-grammars and their applications, held in Warrenton, Virginia, USA in December 1986. Aiming at the best possible representation of the field not all of the papers presented at the meeting appear in this volume and some of the papers from this volume were not presented at the workshop. The volume consists of two parts: Part I presents tutorial introductions to a number of basic graph and map rewriting mechanisms. Part II contains technical contributions. This collection of papers provides the reader with an up-to-date overview of current trends in graph-grammars.

Author: Wolfgang Händler
Publisher: Springer Science & Business Media
ISBN: 9783540168119
Category : Computers
Languages : en
Pages : 436

Get Book Here

Book Description
Proceedings -- Parallel Computing.

Author: Max Dauchet
Publisher: Springer Science & Business Media
ISBN: 9783540190219
Category : Computers
Languages : en
Pages : 320

Get Book Here

Book Description
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes series). CAAP '88 is a conference in the area of program development and programming concepts but, following the tradition, is devoted to theoretical aspects, and especially to Trees, a basic structure of computer science. A wider range of topics in theoretical computer science is also covered. The papers are on word, tree or graph languages, with algorithmic or complexity studies, on abstract data types (another classical topic of CAAP) and/or term rewriting systems and on non-standard logics, and parallelism and concurrency.

Author: Rüdiger Dierstein
Publisher: Springer Science & Business Media
ISBN: 9783540189237
Category : Computers
Languages : en
Pages : 196

Get Book Here

Book Description
It was the aim of the conference to present issues in parallel computing to a community of potential engineering/scientific users. An overview of the state-of-the-art in several important research areas is given by leading scientists in their field. The classification question is taken up at various points, ranging from parametric characterizations, communication structure, and memory distribution to control and execution schemes. Central issues in multiprocessing hardware and operation, such as scalability, techniques of overcoming memory latency and synchronization overhead, as well as fault tolerance of communication networks are discussed. The problem of designing and debugging parallel programs in a user-friendly environment is addressed and a number of program transformations for enhancing vectorization and parallelization in a variety of program situations are described. Two different algorithmic techniques for the solution of certain classes of partial differential equations are discussed. The properties of domain-decomposition algorithms and their mapping onto a CRAY-XMP-type architecture are investigated and an overview is given of the merit of various approaches to exploiting the acceleration potential of multigrid methods. Finally, an abstract performance modeling technique for the behavior of applications on parallel and vector architectures is described.