Publications by David May

This is a list of all publications (co-)authored by David May that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2012

• Suleiman Abu Kharmeh, Kerstin Eder, David May, Complexity of Hardware Design and Model-Checking: An Asymptotic Analysis of State-Machine Metrics. CSTR-12-002, University of Bristol. March 2012. PDF, 598 Kbytes.

2011

• Fangfang Yuan, Steve Wright, Kerstin Eder, David May, Managing Complexity Through Abstraction: A refinement-based approach to formalize Instruction Set Architectures. 13th International Conference on Formal Engineering Methods (ICFEM). ISBN 978-3-642-24558-9, pp. 585–600. October 2011. PDF, 473 Kbytes. External information
• Suleiman Abu Kharmeh, Kerstin Eder, David May, A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS. ISBN 978-3-642-24309-7, pp. 335–351. August 2011. PDF, 303 Kbytes.

2010

• Suleiman Abu Kharmeh, Kerstin Eder, David May, Formal Analysis of a Programmable Performance-Critical Processor Communication Interface. Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010). ISSN tbc, pp. 115–117. October 2010. PDF, 118 Kbytes. External information

2006

• David May, CSPIC - a Low-power Microcontroller. CSTR-06-011, University of Bristol, UK. August 2006. No electronic version available.
• Douglas Watt, David May, A Language and Processor for Unifying System-on-Chip Design. CSTR-06-010, University of Bristol, UK. April 2006. No electronic version available.

2002

• J. Irwin, D. May, H. L. Muller, D. Page, Predictable Instruction Caching for Media Processors. 13th International Conference on Application-specific Systems, Architectures and Processors (ASAP). M. Shulte, S. Bhattacharyya, N. Burgess, R. Schreiber, (eds.). ISBN 0-7695-1712-9, pp. 141–150. July 2002. PDF, 70 Kbytes.
• Henk Muller, Dan Page, James Irwin, David May, Caches with Compositional Performance. Chapter in Embedded Processor Design Challenges. Ed F Deprette, Jurgen Teich, Stamasis Vassiliadis, (eds.). ISBN 3-540-43322-8, pp. 242–259. February 2002. PDF, 225 Kbytes.

2001

• David May, Picochip Instruction Set Proposal. CSTR-06-012, . September 2001. No electronic version available.
• Daniel Towner, David May, The `Uniform Heterogeneous Multi-threaded' Processor Architecture. Communicating Process Architectures -- 2001. Alan Chalmers, Majid Mirmehdi, Henk Muller, (eds.). ISBN 1 58603 202, pp. 103–116. September 2001. PDF, 106 Kbytes.
• David May, Henk Muller, Copying, Moving and Borrowing semantics. Communicating Process Architectures -- 2001. Alan Chalmers, Majid Mirmehdi, Henk Muller, (eds.), pp. 51–62. September 2001. PDF, 40 Kbytes.
• David May, Henk L. Muller, Nigel P. Smart, Non-deterministic Processors. Information Security and Privacy. V. Varadharajan, Y. Mu, (eds.). ISBN 3-540-42300-1, pp. 115–129. July 2001. No electronic version available. External information
• D. May, H. L. Muller, N. P. Smart, Random Register Renaming to Foil DPA. Cryptographic Hardware and Embedded Systems - CHES 2001. C. K. Koc, D. Naccache, C. Paar, (eds.). ISBN 3-540-42521-7, pp. 28–38. May 2001. No electronic version available. External information

2000

• David May, James Irwin, Henk L Muller, Dan Page, Effective Caching for Multithreaded Processors. Communicating Process Architectures 2000. P. H. Welch, A. W. P. Bakkers, (eds.), pp. 145–154. September 2000. PDF, 75 Kbytes.
• Shondip Sen, Henk Muller, David May, Synchronisation in a Multithreaded Processor. Communicating Process Architectures 2000. P. H. Welch, A. W. P. Bakkers, (eds.). ISBN 1 58603 077 9, pp. 137–144. September 2000. PDF, 45 Kbytes.
• David May, Henk Muller, Shondip Sen, Hardware Migratable Channels. Euro-Par 2000 Parallel Processing. ISBN 3-540-67956-1, pp. 545–549. September 2000. PDF, 136 Kbytes.
• David May, Henk Muller, Cache Memory. Patent. WO045269. August 2000. No electronic version available. External information
• David May, Henk Muller, Shondip Sen, Hardware Migratable Channels. CSTR-00-005, Department of Computer Science, University of Bristol. March 2000. PDF, 70 Kbytes.

1999

• David May, Andy Sturges, Nathan Sidwell, System and method for addressing plurality of data values with a single address in a multi-value store on FIFO basis . Patent. US6009508. December 1999. No electronic version available. External information
• David May, Dan Page, James Irwin, Henk L Muller, Microcaches. 6th International Conference On High Performance Computing. ISBN 3-540-66907-8, pp. 21–27. December 1999. PDF, 61 Kbytes.
• David May, Andrew Jones, Microcomputer with interrupt packets. Patent. EP953913. November 1999. No electronic version available. External information
• David May, Andrew Jones, Microcomputer with bit packets for interrupts, control and memory access. Patent. EP953914. November 1999. No electronic version available. External information
• David May, Andrew Jones, Microcomputer with packet translation for event packets and memory access packets. Patent. EP953915. November 1999. No electronic version available. External information
• David May, Andrew Jones, Packet distribution in a microcomputer. Patent. EP959411. November 1999. No electronic version available. External information
• David May, Andrew Jones, Interrupt and control packets for a microcomputer. Patent. EP959412. November 1999. No electronic version available. External information
• David May, Andrew Jones, Microcomputer chips with interconnected address and data paths. Patent. EP953916. September 1999. No electronic version available. External information
• David May, Henk L Muller, Using Channels for Multimedia Communication. Proceedings of IPPS/SPDP'99. ISBN 0-7965-0143-5, pp. 93–98. April 1999. PDF, 80 Kbytes.
• David May, Andrew Sturges, A cache system. Patent. EP890149. January 1999. No electronic version available. External information

1998

• Henk Muller, David May, James Irwin, Dan Page, Novel Caches for Predictable Computing. CSTR-98-011, Department of Computer Science, University of Bristol. October 1998. PDF, 90 Kbytes.
• David May, Dan Page, James Irwin, Henk L Muller, Microcaches. CSTR-98-010, Department of Computer Science, University of Bristol. October 1998. PDF, 113 Kbytes.
• Henk L. Muller, David May, A Simple Protocol to Communicate Channels over Channels. EURO-PAR '98 Parallel Processing, LNCS 1470. ISBN 3-540-64952-2, pp. 591–600. September 1998. PDF, 68 Kbytes.
• David May, Glenn Farrell, Andrew Sturges, Bruno Fel, Catherine Barneby, A cache system. Patent. EP856798. August 1998. No electronic version available. External information
• David May, Andrew Sturges, A cache system for concurrent processes. Patent. EP856797. August 1998. No electronic version available. External information
• Neil Pollard, David May, Using Interval Arithmetic to Calculate Data Sizes for Compilation to Multimedia Instruction Sets. ACM Multimedia '98. ISBN 1-58113-036-8, pp. 279–284. August 1998. No electronic version available. External information
• Neil Pollard, David May, Using Interval Arithmetic to Calculate Data Sizes for Compilation to Multimedia Instruction Sets. CSTR-98-004, Department of Computer Science, University of Bristol. February 1998. PDF, 204 Kbytes.
• David May, Henk L. Muller, Using Channels for Multimedia Communication. CSTR-98-002, Department of Computer Science, University of Bristol. February 1998. PDF, 52 Kbytes.
• Henk L. Muller, David May, A Simple Protocol to Communicate Channels over Channels. CSTR-98-001, Department of Computer Science, University of Bristol. January 1998. PDF, 168 Kbytes.

1997

• David May, Brian Parsons, Peter Thompson, Christopher Walker, A communications device.. Patent. EP611014. October 1997. No electronic version available. External information
• David May, Brian Parsons, Peter Thompson, Christopher Walker, Message Routing. Patent. EP405990. September 1997. No electronic version available. External information
• David May, Peter Thompson, Brian Parsons, Christopher Walker, Message Routing. Patent. EP405989. January 1997. No electronic version available. External information
• David May, Henk L Muller, Icarus language definition. CSTR-97-007, Department of Computer Science, University of Bristol. January 1997. No electronic version available.

1996

• David May, Jonathan Edwards, David Waller, Microcomputer with high density RAM in separate isolation well on single chip. Patent. US5506437. April 1996. No electronic version available. External information
• David May, Jonathan Edwards, David Waller, Microcomputer with high density ram in separate isolation well on single chip. Patent. US5491359. February 1996. No electronic version available. External information
• David May, Brian Parsons, Peter Thompson, Christopher Walker, Apparatus providing addressable storage locations as virtual links and storing predefined destination information for any messages transmitted on virtual links at these locations. Patent. US5495619. February 1996. No electronic version available. External information