Author: Ramayya Kumar
Publisher:
ISBN:
Category :
Languages : en
Pages : 323
Book Description
Preliminary Proceedings of the Second Conference on Theorem Provers in Circuit Design
Author: Ramayya Kumar
Publisher:
ISBN:
Category :
Languages : en
Pages : 323
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 323
Book Description
Preliminary proceedings of the Second Conference on Theorem Provers in Circuit Design: Theory, Practice & Experience
Author: Ramayya Kumar
Publisher:
ISBN:
Category :
Languages : de
Pages : 323
Book Description
Publisher:
ISBN:
Category :
Languages : de
Pages : 323
Book Description
Theorem Provers in Circuit Design
Author: Ramayya Kumar
Publisher: Springer Science & Business Media
ISBN: 9783540590477
Category : Computers
Languages : en
Pages : 324
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 9783540590477
Category : Computers
Languages : en
Pages : 324
Book Description
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.
Mathematics of Program Construction
Author: Bernhard Möller
Publisher: Springer Science & Business Media
ISBN: 9783540601173
Category : Computers
Languages : en
Pages : 488
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 9783540601173
Category : Computers
Languages : en
Pages : 488
Book Description
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.
CONCUR '98 Concurrency Theory
Author: Davide Sangiorgi
Publisher: Springer Science & Business Media
ISBN: 9783540648963
Category : Computers
Languages : en
Pages : 678
Book Description
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..
Publisher: Springer Science & Business Media
ISBN: 9783540648963
Category : Computers
Languages : en
Pages : 678
Book Description
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..
Workshop on Industrial-Strength Formal Specification Techniques
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 192
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 192
Book Description
Applications of Formal Methods
Author: Michael Gerard Hinchey
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 480
Book Description
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 480
Book Description
This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.
Twelfth International Conference on VLSI Design
Author: VLSI Society of India
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780769500133
Category : Computers
Languages : en
Pages : 682
Book Description
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,
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780769500133
Category : Computers
Languages : en
Pages : 682
Book Description
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,
Interactive Theorem Proving
Author: Marko Van Eekelen
Publisher: Springer Science & Business Media
ISBN: 3642228623
Category : Computers
Languages : en
Pages : 394
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 3642228623
Category : Computers
Languages : en
Pages : 394
Book Description
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.
Formal Methods in Circuit Design
Author: Victoria Stavridou
Publisher: Cambridge University Press
ISBN: 9780521443364
Category : Computers
Languages : en
Pages : 212
Book Description
Graduate level account of hardware verification and algebraic specification.
Publisher: Cambridge University Press
ISBN: 9780521443364
Category : Computers
Languages : en
Pages : 212
Book Description
Graduate level account of hardware verification and algebraic specification.