Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

New Hardware Design Methods 1998

> Home > Conferences and Workshops > New Hardware Design Methods

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/nada/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/1998
Bernhard Möller, John V. Tucker:
Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters. Lecture Notes in Computer Science 1546, Springer 1998, ISBN 3-540-65461-5

Mathematical Foundations

- view
  authority control:
- export record
  dblp key:
  - conf/nada/BlanckST98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/BlanckST98
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker:
Streams, Stream Transformers and Domain Representations. 27-68
- view
  authority control:
- export record
  dblp key:
  - conf/nada/Moller98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/Moller98
Bernhard Möller:
Idel Stream Algebra. 69-116
- view
  authority control:
- export record
  dblp key:
  - conf/nada/BergerES98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/BergerES98
Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg:
Normalisation by Evaluation. 117-137

Hardware and Dynamical Systems

- view
  authority control:
- export record
  dblp key:
  - conf/nada/FoxH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/FoxH98
Anthony C. J. Fox, Neal A. Harman:
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. 138-183
- view
  authority control:
- export record
  dblp key:
  - conf/nada/PooleHT98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/PooleHT98
M. J. Poole, Arun V. Holden, John V. Tucker:
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms. 184-235
- view
  authority control:
- export record
  dblp key:
  - conf/nada/Stephenson98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/Stephenson98
Karen Stephenson:
Towards an Algebraic Specification of the Java Virtual Machine. 236-277
- view
  authority control:
- export record
  dblp key:
  - conf/nada/BergstraP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/BergstraP98
Jan A. Bergstra, Alban Ponse:
Grid Protocol Specifications. 278-308
- view
  authority control:
- export record
  dblp key:
  - conf/nada/BreuerMK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/BreuerMK98
Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos:
The Computational Description of Analogue System Behaviour. 309-332

Verification and Deductive Design

- view
  authority control:
- export record
  dblp key:
  - conf/nada/Hanna98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/Hanna98
Keith Hanna:
Reasoning about Imperfect Digital Systems. 333-355
- view
  authority control:
- export record
  dblp key:
  - conf/nada/PhilippsS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/PhilippsS98
Jan Philipps, Peter Scholz:
Formal Verification and Hardware Design with Statecharts. 356-389
- view
  authority control:
- export record
  dblp key:
  - conf/nada/StolenF98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/StolenF98
Ketil Stølen, Max Fuchs:
An Exercise in Conditional Refinement. 390-420
- view
  authority control:
- export record
  dblp key:
  - conf/nada/Moller98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nada/Moller98a
Bernhard Möller:
Deductive Hardware Design: A Functional Approach. 421-468

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.