David May

University of Bristol, UK

other persons with the same name:

• David May

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)

Coauthor Index

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]

Colors in the list of coauthors