David May

University of Bristol, UK

other persons with the same name:

• David May 0002

	2012
j3		David May: The XMOS Architecture and XS1 Chips. IEEE Micro 32(6): 28-37 (2012)
j2		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)
c26		Jürgen Becker, Stephanie Friederich, Jan Heisswolf, Ralf König, David May: Hardware prototyping of novel invasive multicore architectures. ASP-DAC 2012: 201-206
c25		David May, Walter Stechele: An FPGA-based probability-aware fault simulator. ICSAMOS 2012: 302-309
c24		Frederic Stahl, David May, Max Bramer: Parallel Random Prism: A Computationally Efficient Ensemble Learner for Classification. SGAI Conf. 2012: 21-34
i2		James Hanlon, Simon J. Hollis, David May: Scalable data abstractions for distributed parallel computations. CoRR abs/1210.1157 (2012)
i1		James Hanlon, Simon J. Hollis, David May: Emulating a large memory sequential machine with a collection of small memory ones. CoRR abs/1210.1158 (2012)
	2011
c23		Suleiman Abu Kharmeh, Kerstin Eder, David May: A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. FORMATS 2011: 335-351
c22		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
c21		David May: Invited Talk 1- Past, Present, and Future Communicating Processors. NOCS 2008
	2007
c20		David May: Communicating Process Architecture for Multicores. CPA 2007: 21-32
	2004
c19		David May: CSP, occam and Transputers. 25 Years Communicating Sequential Processes 2004: 75-84
	2003
c18		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
c17		James Irwin, David May, Henk L. Muller, Dan Page: Predictable Instruction Caching for Media Processors. ASAP 2002: 141-150
c16		Henk L. Muller, Dan Page, James Irwin, David May: Caches with Compositional Performance. Embedded Processor Design Challenges 2002: 242-259
	2001
c15		David May, Henk L. Muller, Nigel P. Smart: Non-deterministic Processors. ACISP 2001: 115-129
c14		David May, Henk L. Muller, Nigel P. Smart: Random Register Renaming to Foil DPA. CHES 2001: 28-38
	2000
c13		David May, Henk L. Muller, Shondip Sen: Hardware Migratable Channels (Research Note). Euro-Par 2000: 545-549
	1999
c12		David May, Dan Page, James Irwin, Henk L. Muller: Microcaches. HiPC 1999: 21-27
c11		David May, Henk L. Muller: Using Channels for Multimedia Communication. IPPS/SPDP 1999: 93-98
	1998
c10		Henk L. Muller, David May: A Simple Protocol to Communicate Channels over Channels. Euro-Par 1998: 591-600
c9		Neil Pollard, David May: Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets. ACM Multimedia 1998: 279-284
	1993
c8		David May: Components for Computing and Communications. SPAA 1993: 68
	1992
c7		David May, Roger Shepherd, Peter Thompson: The T9000 Transputer. ICCD 1992: 209-212
	1991
c6		David May: The Next Generation Transputers and Beyond. EDMCC 1991: 7-22
c5		David May: How to Design a Parallel Computer. ICCD 1991: 2
	1989
c4		David May, David Shepherd: Towards Totally Verified Systems. MPC 1989: 48-65
	1988
c3		David May, Roger Shepherd: Occam and the transputer. European Workshop on Applications and Theory in Petri Nets 1988: 329-353
	1986
c2		David May, Roger Shepherd, Catherine Keane: Communicating Process Architecture: Transputers and Occam. Future Parallel Computers 1986: 35-81
	1984
c1		David May, Roger Shepherd: The Transputer Implementation of Occam. FGCS 1984: 533-541
	1983
j1		David May: OCCAM. SIGPLAN Notices 18(4): 69-79 (1983)

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 09:17:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page