Search the dblp DataBase

Publications of Author

1. Charles J. Fleckenstein, David Hemmendinger
   A Parallel "make" Utility Based on Linda's Tuple-Space. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer Science, 1989, pp:216-220 [Conf]
   
2. Robert D. Dixon, David Hemmendinger
   Analyzing synchronization problems by using event histories as languages. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer Science, 1986, pp:183-188 [Conf]
   
3. John Van Tassel, David Hemmendinger
   Specifying and Automatically Generating Ada Tasks in Prolog. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer Science, 1990, pp:121-127 [Conf]
   
4. Garth Baulch, David Hemmendinger, Cherrice Traver
   Analyzing and verifying locally clocked circuits with the concurrency workbench. [Citation Graph (0, 0)][DBLP]
   Great Lakes Symposium on VLSI, 1995, pp:144-147 [Conf]
   
5. David Hemmendinger
   A Compiler and Semantic Analyzer Based on Categorial Grammar. [Citation Graph (0, 0)][DBLP]
   ICLP/SLP, 1988, pp:1474-1489 [Conf]
   
6. David Hemmendinger
   Lazy Evaluation and Cancellation of Computations. [Citation Graph (0, 0)][DBLP]
   ICPP, 1985, pp:840-842 [Conf]
   
7. Charles J. Fleckenstein, Helen Gill, David Hemmendinger, Carolyn McCreary, John D. McGregor, Roy P. Pargas, Arthur M. Riehl, Virgil Wallentine
   Multiprocessing. [Citation Graph (0, 0)][DBLP]
   Advances in Computers, 1992, v:35, n:, pp:255-324 [Journal]
   
8. Charles J. Fleckenstein, David Hemmendinger
   Using a Global Name Space for Parallel Execution of UNIX Tools. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 1989, v:32, n:9, pp:1085-1090 [Journal]
   
9. David Hemmendinger
   The ACM and IEEE-CS guidelines for undergraduate CS education. [Citation Graph (0, 0)][DBLP]
   Commun. ACM, 2007, v:50, n:5, pp:46-53 [Journal]
   
10. David Hemmendinger
    A Correct Implementation of General Semaphores. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1988, v:22, n:3, pp:42-44 [Journal]
    
11. David Hemmendinger
    Comments on "A Correct and Unrestrictive Implementation of General Semaphores". [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1989, v:23, n:1, pp:7-8 [Journal]
    
12. David Hemmendinger
    Unfair process scheduling in Modula-2. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1988, v:23, n:3, pp:7-12 [Journal]
    
13. David Hemmendinger
    The "Hamming problem" in Prolog. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1988, v:23, n:4, pp:81-86 [Journal]
    
14. David Hemmendinger
    The `Hamming' in Prolog. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1988, v:23, n:6, pp:115-120 [Journal]
    
15. Robert B. Reese, Mitchell A. Thornton, Cherrice Traver, David Hemmendinger
    Early evaluation for performance enhancement in phased logic. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:4, pp:532-550 [Journal]
    
16. David Hemmendinger
    Specifying Ada Server Tasks with Executable Formal Grammars. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:7, pp:741-754 [Journal]
    
17. David Hemmendinger
    Computing history: interesting times. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2005, pp:366- [Conf]