Author : Ramayya Kumar
Publisher : Springer Science & Business Media
Page : 324 pages
File Size : 32,53 MB
Release : 1995-03-06
Category : Computers
ISBN : 9783540590477
This two-volume set contains papers presented at the International Conference on Computational Engineering Science (ICES '95) held in Mauna Lani, Hawaii from 30 July to 3 August, 1995. The contributions capture the state of the science in computational modeling and simulation in a variety of engineering disciplines: civil, mechanical, aerospace, materials and electronics engineering.
Author : Davide Sangiorgi
Publisher : Springer Science & Business Media
Page : 678 pages
File Size : 32,70 MB
Release : 1998-08-19
Category : Computers
ISBN : 9783540648963
This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998. The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc..
Author : Bernhard Möller
Publisher : Springer Science & Business Media
Page : 488 pages
File Size : 34,72 MB
Release : 1995-07-10
Category : Computers
ISBN : 9783540601173
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995. Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.
Author :
Publisher :
Page : 192 pages
File Size : 46,20 MB
Release : 1995
Category : Computers
ISBN :
Author : Michael Gerard Hinchey
Publisher :
Page : 480 pages
File Size : 45,98 MB
Release : 1995
Category : Computers
ISBN :
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Author : VLSI Society of India
Publisher : Institute of Electrical & Electronics Engineers(IEEE)
Page : 682 pages
File Size : 16,95 MB
Release : 1999
Category : Computers
ISBN : 9780769500133
The proceedings of the January 1999 conference consist of 103 papers, 11 talks, and six tutorials. The papers are grouped under the headings of TCAD to ECAD, low power, testing, co-design and synthesis, analog design, multi-valued logic, verification, digital signal processor (DSP), logic synthesis,
Author : Marko Van Eekelen
Publisher : Springer Science & Business Media
Page : 394 pages
File Size : 10,10 MB
Release : 2011-08-02
Category : Computers
ISBN : 3642228623
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
Author : Victoria Stavridou
Publisher : Cambridge University Press
Page : 212 pages
File Size : 32,54 MB
Release : 1993-07-22
Category : Computers
ISBN : 9780521443364
Graduate level account of hardware verification and algebraic specification.
Author : Gail W Pieper
Publisher : World Scientific
Page : 1678 pages
File Size : 41,39 MB
Release : 2000-01-21
Category : Computers
ISBN : 9814494534
Automated reasoning programs are successfully tackling challenging problems in mathematics and logic, program verification, and circuit design. This two-volume book includes all the published papers of Dr Larry Wos, one of the world's pioneers in automated reasoning. It provides a wealth of information for students, teachers, researchers, and even historians of computer science about this rapidly growing field.The book has the following special features:(1) It presents the strategies introduced by Wos which have made automated reasoning a practical tool for solving challenging puzzles and deep problems in mathematics and logic;(2) It provides a history of the field — from its earliest stages as mechanical theorem proving to its broad base now as automated reasoning;(3) It illustrates some of the remarkable successes automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design;(4) It includes a CD-ROM, with a searchable index of all the papers, enabling readers to peruse the papers easily for ideas.
Author :
Publisher :
Page : 2954 pages
File Size : 37,43 MB
Release : 1998
Category : Bibliography, National
ISBN :
