David May

University of Bristol, UK

other persons with the same name:

• David May

	2012
26		Jürgen Becker, Stephanie Friederich, Jan Heisswolf, Ralf König, David May: Hardware prototyping of novel invasive multicore architectures. ASP-DAC 2012: 201-206
25		Frederic T. Stahl, Mohamed Medhat Gaber, Paul Aldridge, David May, Han Liu, Max Bramer, Philip S. Yu: Homogeneous and Heterogeneous Distributed Classification for Pocket Data Mining. T. Large-Scale Data- and Knowledge-Centered Systems 5: 183-205 (2012)
	2011
24		Suleiman Abu Kharmeh, Kerstin Eder, David May: A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. FORMATS 2011: 335-351
23		Fangfang Yuan, Stephen Wright, Kerstin Eder, David May: Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. ICFEM 2011: 585-600
	2008
22		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		David May: CSP, occam and Transputers. 25 Years Communicating Sequential Processes 2004: 75-84
	2003
19		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		James Irwin, David May, Henk L. Muller, Dan Page: Predictable Instruction Caching for Media Processors. ASAP 2002: 141-150
17		Henk L. Muller, Dan Page, James Irwin, David May: Caches with Compositional Performance. Embedded Processor Design Challenges 2002: 242-259
	2001
16		David May, Henk L. Muller, Nigel P. Smart: Non-deterministic Processors. ACISP 2001: 115-129
15		David May, Henk L. Muller, Nigel P. Smart: Random Register Renaming to Foil DPA. CHES 2001: 28-38
	2000
14		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		David May, Henk L. Muller: Using Channels for Multimedia Communication. IPPS/SPDP 1999: 93-98
	1998
11		Neil Pollard, David May: Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets. ACM Multimedia 1998: 279-284
10		Henk L. Muller, David May: A Simple Protocol to Communicate Channels over Channels. Euro-Par 1998: 591-600
	1993
9		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	Paul Aldridge	[25]
2	Bill F. Appelbe	[19]
3	Jürgen Becker	[26]
4	Max Bramer (Max A. Bramer)	[25]
5	Kerstin Eder	[23] [24]
6	Justin Freeman	[19]
7	Stephanie Friederich	[26]
8	Mohamed Medhat Gaber	[25]
9	Jan Heisswolf	[26]
10	James Irwin	[13] [17] [18]
11	Catherine Keane	[3]
12	Suleiman Abu Kharmeh	[24]
13	Ralf König	[26]
14	Han Liu	[25]
15	Louis Moresi	[19]
16	Henk L. Muller	[10] [12] [13] [14] [15] [16] [17] [18]
17	Dan Page (Daniel Page)	[13] [17] [18]
18	Neil Pollard	[11]
19	Shondip Sen	[14]
20	David Shepherd	[5]
21	Roger Shepherd	[2] [3] [4] [8]
22	Nigel P. Smart	[15] [16]
23	Frederic Stahl (Frederic T. Stahl)	[25]
24	Peter Thompson	[8]
25	Stephen Wright	[23]
26	Philip S. Yu	[25]
27	Fangfang Yuan	[23]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page