David Hemmendinger

Orcid: 0000-0001-5144-1699

According to our database1, David Hemmendinger authored at least 34 papers between 1985 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Vintage Computer Federation Events.
IEEE Ann. Hist. Comput., 2022

From the Editors' Desk.
IEEE Ann. Hist. Comput., 2022

2021
Report on SIGCIS 2021: Online Edition.
IEEE Ann. Hist. Comput., 2021

Notes From the Editor.
IEEE Ann. Hist. Comput., 2021

From the Editor's Desk.
IEEE Ann. Hist. Comput., 2021

2020
Desktop Publishing, Part 3.
IEEE Ann. Hist. Comput., 2020

2019
A Novel Program for Philosophers to Study Computer Science.
IEEE Ann. Hist. Comput., 2019

Desktop Publishing, Part 2.
IEEE Ann. Hist. Comput., 2019

2018
Reviews of Recent Publications [Two books reviewed].
IEEE Ann. Hist. Comput., 2018

Desktop Publishing: Laying the Foundation.
IEEE Ann. Hist. Comput., 2018

2016
Images of popular computing in the Eastern Mediterranean: an exhibit.
Inroads, 2016

Two Early Interactive Computer Network Experiments.
IEEE Ann. Hist. Comput., 2016

2014
COMIC: An Analog Computer in the Colorant Industry.
IEEE Ann. Hist. Comput., 2014

Messaging in the Early SDC Time-Sharing System.
IEEE Ann. Hist. Comput., 2014

2013
The computer boys take over: computers, programmers, and the politics of technical expertise (ensmenger, n.l.; 2010)[book reviews].
IEEE Technol. Soc. Mag., 2013

2010
A plea for modesty.
Inroads, 2010

2007
The ACM and IEEE-CS guidelines for undergraduate CS education.
Commun. ACM, 2007

2005
Early evaluation for performance enhancement in phased logic.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Computing history: interesting times.
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

1995
Analyzing and verifying locally clocked circuits with the concurrency workbench.
Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

1992
Multiprocessing.
Adv. Comput., 1992

1990
Specifying Ada Server Tasks with Executable Formal Grammars.
IEEE Trans. Software Eng., 1990

Specifying and Automatically Generating Ada Tasks in Prolog.
Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1989
Comments on "A Correct and Unrestrictive Implementation of General Semaphores".
ACM SIGOPS Oper. Syst. Rev., 1989

Initializing memory shared by several processors.
Int. J. Parallel Program., 1989

Using a Global Name Space for Parallel Execution of UNIX Tools.
Commun. ACM, 1989

A Parallel "make" Utility Based on Linda's Tuple-Space.
Proceedings of the Computer Trends in the 1990s, 1989

1988
The 'Hamming' in Prolog.
ACM SIGPLAN Notices, 1988

The "Hamming problem" in Prolog.
ACM SIGPLAN Notices, 1988

Unfair process scheduling in Modula-2.
ACM SIGPLAN Notices, 1988

A Correct Implementation of General Semaphores.
ACM SIGOPS Oper. Syst. Rev., 1988

A Compiler and Semantic Analyzer Based on Categorial Grammar.
Proceedings of the Logic Programming, 1988

1986
Analyzing synchronization problems by using event histories as languages.
Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985
Lazy Evaluation and Cancellation of Computations.
Proceedings of the International Conference on Parallel Processing, 1985


  Loading...