TAPSOFT '95: Theory and Practice of Software Development

TAPSOFT '95: Theory and Practice of Software Development
Author: Peter D. Mosses
Publisher: Springer Science & Business Media
Total Pages: 836
Release: 1995-05-03
Genre: Computers
ISBN: 9783540592938

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.

Mathematical Foundations of Computer Science 1995

Mathematical Foundations of Computer Science 1995
Author: Juraj Wiedermann
Publisher: Springer Science & Business Media
Total Pages: 614
Release: 1995-08-16
Genre: Computers
ISBN: 9783540602460

This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995. The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.

Computer Aided Verification

Computer Aided Verification
Author: Pierre Wolper
Publisher: Springer Science & Business Media
Total Pages: 468
Release: 1995-06-21
Genre: Computers
ISBN: 9783540600459

This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.

Algorithms - ESA '95

Algorithms - ESA '95
Author: Paul Spirakis
Publisher: Springer Science & Business Media
Total Pages: 616
Release: 1995-09-13
Genre: Computers
ISBN: 9783540603139

This book consitutes the proceedings of the Third Annual European Symposium on Algorithms, ESA '95, held in Corfu, Greece in September 1995. The volume presents 42 full revised papers selected during a careful refereeing process from a total of 119 submissions; in addition, there is a prominent keynote address. This year, the scope has been further expanded to new areas of computational endeavour in science; the book covers many aspects of algorithms research and application ranging from combinatorial mathematics to hardware design.

Fundamentals of Computation Theory

Fundamentals of Computation Theory
Author: Horst Reichel
Publisher: Springer Science & Business Media
Total Pages: 454
Release: 1995-08-16
Genre: Computers
ISBN: 9783540602491

This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995. The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency, rewriting and high-level replacement systems, and semantics.

Logic and Computational Complexity

Logic and Computational Complexity
Author: Daniel Leivant
Publisher: Springer Science & Business Media
Total Pages: 534
Release: 1995-08-02
Genre: Computers
ISBN: 9783540601784

This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994. The synergy between logic and computational complexity has gained importance and vigor in recent years, cutting across many areas. The 25 revised full papers in this book contributed by internationally outstanding researchers document the state-of-the-art in this interdisciplinary field of growing interest; they are presented in sections on foundational issues, applicative and proof-theoretic complexity, complexity of proofs, computational complexity of functionals, complexity and model theory, and finite model theory.

Automata, Languages and Programming

Automata, Languages and Programming
Author: Fernando Orejas
Publisher: Springer
Total Pages: 1098
Release: 2003-05-15
Genre: Computers
ISBN: 3540482245

This book constitutes the refereed proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP 2001, held in Crete, Greece in July 2001. four invited papers were carefully reviewed and selected from a total of 208 submissions. complexity, algorithm analysis, approximation and optimization, complexity, concurrency, efficient data structures, graph algorithms, language theory, codes and automata, model checking and protocol analysis, networks and routing, reasoning and verification, scheduling, secure computation, specification and deduction, and structural complexity.

Hybrid Systems II

Hybrid Systems II
Author: Panos Antsaklis
Publisher: Springer Science & Business Media
Total Pages: 584
Release: 1995-10-09
Genre: Computers
ISBN: 9783540604723

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel. Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Author: Orna Grumberg
Publisher: Springer
Total Pages: 740
Release: 2007-07-05
Genre: Computers
ISBN: 3540712097

This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, Portugal. Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems.

Automata, Languages and Programming

Automata, Languages and Programming
Author: Pierpaolo Degano
Publisher: Springer Science & Business Media
Total Pages: 884
Release: 1997-06-18
Genre: Computers
ISBN: 9783540631651

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972. The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science.