David May

Publication Activity (10 Years)

Years Active: 1983-2022
Publications (10 Years): 6

Top Topics

Computing Power

Embedded Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
Lost In Translation: Exposing Hidden Compiler Optimization Opportunities. Comput. J. 65 (3) (2022)
Andrés Amaya García, David May, Ed Nutting
Integrated Hardware Garbage Collection. ACM Trans. Embed. Comput. Syst. 20 (5) (2021)
Andrés Amaya García, David May, Ed Nutting
Garbage Collection for Edge Computing. SEC (2020)
Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder
Lost in translation: Exposing hidden compiler optimization opportunities. CoRR (2019)
Steve Kerrison, David May, Kerstin Eder
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. MCSoC (2016)
Steve Kerrison, David May, Kerstin Eder
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. CoRR (2016)
James W. Hanlon, Simon J. Hollis, David May
Scalable data abstractions for distributed parallel computations CoRR (2012)
James W. Hanlon, Simon J. Hollis, David May
Emulating a large memory sequential machine with a collection of small memory ones CoRR (2012)
David May
The XMOS Architecture and XS1 Chips. IEEE Micro 32 (6) (2012)
Suleiman Abu Kharmeh, Kerstin Eder, David May
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. FORMATS (2011)
Fangfang Yuan, Stephen Wright, Kerstin Eder, David May
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. ICFEM (2011)
David May
Invited Talk 1- Past, Present, and Future Communicating Processors. NOCS (2008)
David May
Communicating Process Architecture for Multicores. CPA (2007)
David May
CSP, occam and Transputers. 25 Years Communicating Sequential Processes (2004)
Henk L. Muller, Dan Page, James Irwin, David May
Caches with Compositional Performance. Embedded Processor Design Challenges (2002)
James Irwin, David May, Henk L. Muller, Dan Page
Predictable Instruction Caching for Media Processors. ASAP (2002)
David May, Henk L. Muller, Nigel P. Smart
Non-deterministic Processors. ACISP (2001)
David May, Henk L. Muller, Nigel P. Smart
Random Register Renaming to Foil DPA. CHES (2001)
David May, Henk L. Muller, Shondip Sen
Hardware Migratable Channels (Research Note). Euro-Par (2000)
David May, Henk L. Muller
Using Channels for Multimedia Communication. IPPS/SPDP (1999)
David May, Dan Page, James Irwin, Henk L. Muller
Microcaches. HiPC (1999)
Neil Pollard, David May
Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets. ACM Multimedia (1998)
Henk L. Muller, David May
A Simple Protocol to Communicate Channels over Channels. Euro-Par (1998)
David May
Components for Computing and Communications. SPAA (1993)
David May, Roger Shepherd, Peter Thompson
The T9000 Transputer. ICCD (1992)
David May
How to Design a Parallel Computer. ICCD (1991)
David May
The Next Generation Transputers and Beyond. EDMCC (1991)
David May, David Shepherd
Towards Totally Verified Systems. MPC (1989)
David May, Roger Shepherd
Occam and the transputer. European Workshop on Applications and Theory in Petri Nets (1988)
Mark Homewood, David May, David Shepherd, Roger Shepherd
The IMS T800 Transputer. IEEE Micro 7 (5) (1987)
David May, Roger Shepherd, Catherine Keane
Communicating Process Architecture: Transputers and Occam. Future Parallel Computers (1986)
David May, Richard James Taylor
OCCAM-an overview. Microprocess. Microsystems 8 (2) (1984)
David May, Roger Shepherd
The Transputer Implementation of Occam. FGCS (1984)
David May
OCCAM. ACM SIGPLAN Notices 18 (4) (1983)