Download or read book STACS 91 written by Christian Choffrut and published by Springer Science & Business Media. This book was released on 1991-02-08 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt: Annotation The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association FranAaise de CybernA(c)tique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft fA1/4r Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.

Download or read book STACS 94 written by Patrice Enjalbert and published by Springer Science & Business Media. This book was released on 1994-02-09 with total page 802 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the proceedings of the 11th annual Symposium on Theoretical Aspects of Computer Science (STACS '94), held in Caen, France, February 24-26, 1994. Besides three prominent invited papers, the proceedings contains 60 accepted contributions chosen by the international program committee during a highly competitive reviewing process from a total of 234 submissions for 38 countries. The volume competently represents most areas of theoretical computer science with a certain emphasis on (parallel) algorithms and complexity.

Download or read book STACS 93 written by Patrice Enjalbert and published by Springer Science & Business Media. This book was released on 1993-02-19 with total page 744 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.

Download or read book Parallel Database Systems written by Pierre America and published by Springer Science & Business Media. This book was released on 1991-06-26 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The invited contributions by internationally recognized experts give a thorough survey of several aspects of parallel database systems. The second part of the volume gives an in-depth overview of the PRISMA system. This system is based on a parallel machine, where the individual processors each have their own local memory and communicate with each other over a packet-switched network. On this machine a parallel object-oriented programming language, POOL-X, has been implemented, which provides dedicated support for database systems as well as general facilities for parallel programming. The POOL-X system then serves as a platform for a complete relational main-memory database management system, which uses the parallelism of the machine to speed up significantly the execution of database queries. The presentation of the PRISMA system, together with the invited papers, gives a broad overview of the state of the art in parallel database systems.

Download or read book STACS 92 written by Alain Finkel and published by Springer Science & Business Media. This book was released on 1992-02-04 with total page 644 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata and languages, structural complexity, computational geometry and learning theory, complexity and communication, distributed systems, complexity, algorithms, cryptography, VLSI, words and rewriting, and systems.

Download or read book Algebraic System Specification and Development written by Michel Bidoit and published by Springer Science & Business Media. This book was released on 1991-06-26 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt: Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.

Download or read book CONCUR 91 written by Jos C.M. Baeten and published by Springer Science & Business Media. This book was released on 1991-08-14 with total page 564 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book Algorithms and Computations written by John Staples and published by Springer Science & Business Media. This book was released on 1995-11-15 with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book STACS 98 written by Michel Morvan and published by Springer Science & Business Media. This book was released on 1998-02-18 with total page 652 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the strictly refereed proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS 98, held in Paris, France, in February 1998. The volume presents three invited surveys together with 52 revised full papers selected from a total of 155 submissions. The papers are organized in topical sections on algorithms and data structures, logic, complexity, and automata and formal languages.

Download or read book Methods of Programming written by Manfred Broy and published by Springer Science & Business Media. This book was released on 1991-10-23 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

Download or read book Formal Description Techniques VII written by D. Hogrefe and published by Springer. This book was released on 2016-01-09 with total page 512 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Download or read book Applied Algebra Algebraic Algorithms and Error Correcting Codes written by Shojiro Sakata and published by Springer Science & Business Media. This book was released on 1991-07-10 with total page 410 pages. Available in PDF, EPUB and Kindle. Book excerpt: The AAECC conferences focus on the algebraic aspects of modern computer science, which include the most up-to-date and advanced topics. The topic of error-correcting codes is one where theory and implementation are unified into a subject both of mathematical beauty and of practical importance. Algebraic algorithms are not only interesting theoretically but also important in computer and communication engineering and many other fields. This volume contains the proceedings of the 8th AAECC conference, held in Tokyo in August 1990. Researchers from Europe, America, Japan and other regions of the world presented papers at the conference. The papers present new results of recent theoretical and application-oriented research on applied algebra, algebraic algorithms and error-correcting codes.

Download or read book Automata Languages and Programming written by Andrzej Lingas and published by Springer Science & Business Media. This book was released on 1993-06-23 with total page 716 pages. Available in PDF, EPUB and Kindle. Book excerpt: The International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions.

Download or read book Words Languages and Combinatorics Three written by Masami It? and published by World Scientific. This book was released on 2003 with total page 503 pages. Available in PDF, EPUB and Kindle. Book excerpt: The research results published in this book range from pure mathematical theory (semigroup theory, discrete mathematics, etc.) to theoretical computer science, in particular formal languages and automata. The papers address issues in the algebraic and combinatorial theories of semigroups, words and languages, the structure theory of automata, the classification theory of formal languages and codes, and applications of these theories to various areas, like quantum and molecular computing, coding theory, and cryptography.

Download or read book Words Languages And Combinatorics Iii Proceedings Of The International Colloquium written by Teruo Imaoka and published by World Scientific. This book was released on 2003-07-14 with total page 503 pages. Available in PDF, EPUB and Kindle. Book excerpt: The research results published in this book range from pure mathematical theory (semigroup theory, discrete mathematics, etc.) to theoretical computer science, in particular formal languages and automata. The papers address issues in the algebraic and combinatorial theories of semigroups, words and languages, the structure theory of automata, the classification theory of formal languages and codes, and applications of these theories to various areas, like quantum and molecular computing, coding theory, and cryptography.

Download or read book Computational Geometry Methods Algorithms and Applications written by Hanspeter Bieri and published by Springer Science & Business Media. This book was released on 1991-11-13 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: Radiocarbon After Four Decades: An Interdisciplinary Perspective commemorates the 40th anniversary of radiocarbon dating. The volume presents discussions of every aspect of this dating technique, as well as chronicles of its development and views of future advancements and applications. All of the 64 authors played major roles in establishment, development or application of this revolutionary scientific tool. The 35 chapters provide a solid foundation in the essential topics of radiocarbon dating: Historical Perspectives; The Natural Carbon Cycle; Instrumentation and Sample Preparation; Hydrology; Old World Archaeology; New World Archaeology; Earth Sciences; and Biomedical Applications.

Download or read book Logic Program Synthesis and Transformation written by Timothy P. Clement and published by Springer Science & Business Media. This book was released on 2013-04-17 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. The techniques involved in synthesis and transformation are extremely important as they allow the systematic construction of correct and efficient programs and have the potential to enhance current methods of software production. Transformation strategies are also being widely used in the field of logic program development. LOPSTR 91 was the first workshop to deal exclusively with both logic program synthesis and transformation and, as such, filled an obvious gap in the existing range of logic programming workshops. In attempting to cover the subject as comprehensively as possible, the workshop brought together researchers with an interest in all aspects of logic (including Horn Clause and first order logic) and all approaches to program synthesis and transformation. Logic Program Synthesis and Transformation provides a complete record of the workshop, with all the papers reproduced either in full or as extended abstracts. They cover a wide range of aspects, both practical and theoretical, including the use of mode input-output in program transformation, program specification and synthesis in constructive formal systems and a case study in formal program development in modular Prolog. This volume provides a comprehensive overview of current research and will be invaluable to researchers and postgraduate students who wish to enhance their understanding of logic programming techniques.