Search CORE

20 research outputs found

Report on the International Workshop on Formal Methods in VLSI Design, Miami, January 9-11, 1991

Author: David Hemmendinger
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

A correct implementation of general semaphores

Author: David Hemmendinger
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Computing history

Author: David Hemmendinger
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Unfair process scheduling in Modula-2

Author: David Hemmendinger
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

The ACM and IEEE-CS guidelines for undergraduate CS education

Author: David Hemmendinger
Pollack S.V.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Comments on “a correct and unrestrictive implementation of general semaphores”

Author: Bic L.
David Hemmendinger
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Encyclopedia of computer science

Author: Hemmendinger David
Ralston Anthony
Reilly Edwin D
Publication venue: 'Royal College of Obstetricians & Gynaecologists (RCOG)'
Publication date: 01/01/2003
Field of study

CERN Document Server

The “Hamming problem” in Prolog

Author: David Hemmendinger
Dijkstra E. W.
Henderson P.
Kahn G.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

The `Hamming' in Prolog

Author: David Hemmendinger
Dijkstra E. W.
Henderson P.
Kahn G.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Unification based FP interpreters

Author: Chris Fickert
Conlon Tom
Gregory Steve
Hemmendinger David
Thomas Sudkamp
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

core

core