Travelled to:5 × USA
Collaborated with:∅ I.Hawryszkiewycz R.C.Daley
Talks about:structur (1) programm (1) communic (1) approach (1) virtual (1) process (1) languag (1) exchang (1) correct (1) concurr (1)
Person: Jack B. Dennis
DBLP: Dennis:Jack_B=
Contributed to:
2009
1976
19721970
1968Wrote 6 papers:
- PPoPP-2009-Dennis #how #manycore #programmable
- How to build programmable multi-core chips (JBD), pp. 283–284.
- DIPL-1976-Dennis #concurrent #design
- A language design for structured concurrency (JBD), pp. 231–242.
- SIGFIDET-1972-HawryszkiewyczD #approach #correctness #database #proving
- An Approach to Proving the Correctness of Data Base Operations (IH, JBD), pp. 323–348.
- SIGFIDET-1970-Dennis #on the
- On the Exchange of Information (JBD), pp. 41–67.
- SOSP-1967-DaleyD68 #memory management #multi #process
- Virtual Memory, Processes, and Sharing in MULTICS (RCD, JBD), pp. 306–312.
- SOSP-1967-Dennis68
- A position paper on computing and communications (JBD), pp. 370–377.