The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "David Hemmendinger" ( http://dblp.L3S.de/Authors/David_Hemmendinger )

  Author page on DBLP  Author page in RDF  Community of David Hemmendinger in ASPL-2

Publication years (Num. hits)
1985-1995 (15) 2005-2019 (12)
Publication types (Num. hits)
article(20) inproceedings(7)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 16 keywords

Results
Found 28 publication records. Showing 27 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1David Hemmendinger A Novel Program for Philosophers to Study Computer Science. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Alan Grier, David Hemmendinger Reviews of Recent Publications [Two books reviewed]. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Burton Grad, David Hemmendinger Desktop Publishing: Laying the Foundation. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Images of popular computing in the Eastern Mediterranean: an exhibit. Search on Bibsonomy Inroads The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Two Early Interactive Computer Network Experiments. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Hemmendinger COMIC: An Analog Computer in the Colorant Industry. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Messaging in the Early SDC Time-Sharing System. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Hemmendinger The computer boys take over: computers, programmers, and the politics of technical expertise (ensmenger, n.l.; 2010)[book reviews]. Search on Bibsonomy IEEE Technol. Soc. Mag. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Hemmendinger A plea for modesty. Search on Bibsonomy Inroads The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David Hemmendinger The ACM and IEEE-CS guidelines for undergraduate CS education. Search on Bibsonomy Commun. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert B. Reese, Mitchell A. Thornton, Cherrice Traver, David Hemmendinger Early evaluation for performance enhancement in phased logic. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Computing history: interesting times. Search on Bibsonomy ITiCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF early computers, history of computing, computing history
1Garth Baulch, David Hemmendinger, Cherrice Traver Analyzing and verifying locally clocked circuits with the concurrency workbench. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication
1Charles J. Fleckenstein, Helen Gill, David Hemmendinger, Carolyn McCreary, John D. McGregor, Roy P. Pargas, Arthur M. Riehl, Virgil Wallentine Multiprocessing. Search on Bibsonomy Advances in Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Specifying Ada Server Tasks with Executable Formal Grammars. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Ada server tasks specification, executable formal grammars, concurrent programming problems, synchronization constructs, Prolog programs, formal specification, parallel programming, Ada, grammars
1John Van Tassel, David Hemmendinger Specifying and Automatically Generating Ada Tasks in Prolog. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Ada, Prolog
1David Hemmendinger Comments on "A Correct and Unrestrictive Implementation of General Semaphores". Search on Bibsonomy Operating Systems Review The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Charles J. Fleckenstein, David Hemmendinger Using a Global Name Space for Parallel Execution of UNIX Tools. Search on Bibsonomy Commun. ACM The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Initializing memory shared by several processors. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Charles J. Fleckenstein, David Hemmendinger A Parallel "make" Utility Based on Linda's Tuple-Space. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1David Hemmendinger A Correct Implementation of General Semaphores. Search on Bibsonomy Operating Systems Review The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Unfair process scheduling in Modula-2. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modula-2
1David Hemmendinger The "Hamming problem" in Prolog. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog
1David Hemmendinger The 'Hamming' in Prolog. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog
1David Hemmendinger A Compiler and Semantic Analyzer Based on Categorial Grammar. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Robert D. Dixon, David Hemmendinger Analyzing synchronization problems by using event histories as languages. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1David Hemmendinger Lazy Evaluation and Cancellation of Computations. Search on Bibsonomy ICPP The full citation details ... 1985 DBLP  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license