![]() | ![]() |
University of Bristol, UK
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
2008 | ||
---|---|---|
22 | EE | David May: Invited Talk 1- Past, Present, and Future Communicating Processors. NOCS 2008 |
2007 | ||
21 | David May: Communicating Process Architecture for Multicores. CPA 2007: 21-32 | |
2004 | ||
20 | EE | David May: CSP, occam and Transputers. 25 Years Communicating Sequential Processes 2004: 75-84 |
2003 | ||
19 | EE | Louis Moresi, David May, Justin Freeman, Bill F. Appelbe: Mantle Convection Modeling with Viscoelastic/Brittle Lithosphere: Numerical and Computational Methodology. International Conference on Computational Science 2003: 781-787 |
2002 | ||
18 | EE | James Irwin, David May, Henk L. Muller, Dan Page: Predictable Instruction Caching for Media Processors. ASAP 2002: 141-150 |
17 | EE | Henk L. Muller, Dan Page, James Irwin, David May: Caches with Compositional Performance. Embedded Processor Design Challenges 2002: 242-259 |
2001 | ||
16 | EE | David May, Henk L. Muller, Nigel P. Smart: Non-deterministic Processors. ACISP 2001: 115-129 |
15 | EE | David May, Henk L. Muller, Nigel P. Smart: Random Register Renaming to Foil DPA. CHES 2001: 28-38 |
2000 | ||
14 | EE | David May, Henk L. Muller, Shondip Sen: Hardware Migratable Channels (Research Note). Euro-Par 2000: 545-549 |
1999 | ||
13 | David May, Dan Page, James Irwin, Henk L. Muller: Microcaches. HiPC 1999: 21-27 | |
12 | EE | David May, Henk L. Muller: Using Channels for Multimedia Communication. IPPS/SPDP 1999: 93-98 |
1998 | ||
11 | EE | Neil Pollard, David May: Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets. ACM Multimedia 1998: 279-284 |
10 | EE | Henk L. Muller, David May: A Simple Protocol to Communicate Channels over Channels. Euro-Par 1998: 591-600 |
1993 | ||
9 | EE | David May: Components for Computing and Communications. SPAA 1993: 68 |
1992 | ||
8 | David May, Roger Shepherd, Peter Thompson: The T9000 Transputer. ICCD 1992: 209-212 | |
1991 | ||
7 | David May: The Next Generation Transputers and Beyond. EDMCC 1991: 7-22 | |
6 | David May: How to Design a Parallel Computer. ICCD 1991: 2 | |
1989 | ||
5 | David May, David Shepherd: Towards Totally Verified Systems. MPC 1989: 48-65 | |
1988 | ||
4 | David May, Roger Shepherd: Occam and the transputer. European Workshop on Applications and Theory in Petri Nets 1988: 329-353 | |
1986 | ||
3 | David May, Roger Shepherd, Catherine Keane: Communicating Process Architecture: Transputers and Occam. Future Parallel Computers 1986: 35-81 | |
1984 | ||
2 | David May, Roger Shepherd: The Transputer Implementation of Occam. FGCS 1984: 533-541 | |
1983 | ||
1 | David May: OCCAM. SIGPLAN Notices 18(4): 69-79 (1983) |
1 | Bill F. Appelbe | [19] |
2 | Justin Freeman | [19] |
3 | James Irwin | [13] [17] [18] |
4 | Catherine Keane | [3] |
5 | Louis Moresi | [19] |
6 | Henk L. Muller | [10] [12] [13] [14] [15] [16] [17] [18] |
7 | Dan Page | [13] [17] [18] |
8 | Neil Pollard | [11] |
9 | Shondip Sen | [14] |
10 | David Shepherd | [5] |
11 | Roger Shepherd | [2] [3] [4] [8] |
12 | Nigel P. Smart | [15] [16] |
13 | Peter Thompson | [8] |