David May - RankMe

35 papers A* 1A 1B 2C 3Misc 3Journal 10Unranked 14

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