David May - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 39 from 39

2021

CSP, Occam, and InmosDavid May. In Cliff B. Jones, Jayadev Misra, editors, Theories of Programming: The Life and Works of Tony Hoare. pages 271-284, ACM / Morgan & Claypool, 2021. [doi]

2016

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded SystemsSteve Kerrison, David May, Kerstin Eder. mcsoc 2016: 125-132 [doi]

Voltage over-scaling in sequential circuits for approximate computingDavid May, Walter Stechele. dtis 2016: 1-6 [doi]

2015

Design of fine-grained sequential approximate circuits using probability-aware fault emulationDavid May, Walter Stechele. islped 2015: 73-78 [doi]

A Scalable Expressive Ensemble Learning Using Random Prism: A MapReduce ApproachFrederic T. Stahl, David May, Hugo Mills, Max Bramer, Mohamed Medhat Gaber. tlsdkcs, 20:90-107, 2015. [doi]

2014

Improving the significance of probabilistic circuit fault emulationsDavid May, Walter Stechele. iolts 2014: 128-133 [doi]

2013

A resource-efficient probabilistic fault simulatorDavid May, Walter Stechele. fpl 2013: 1-4 [doi]

2012

2011

A Design-for-Verification Framework for a Configurable Performance-Critical Communication InterfaceSuleiman Abu Kharmeh, Kerstin Eder, David May. formats 2011: 335-351 [doi]

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set ArchitecturesFangfang Yuan, Stephen Wright, Kerstin Eder, David May. icfem 2011: 585-600 [doi]

2008

Invited Talk 1- Past, Present, and Future Communicating ProcessorsDavid May. nocs 2008: [doi]

2007

Communicating Process Architecture for MulticoresDavid May. wotug 2007: 21-32

2006

A Resources Interpretation of Teachers' Epistemologies of ScienceSandra Honda, David May. icls 2006: [doi]

2004

CSP, occam and TransputersDavid May. BIRTHDAY 2005: 75-84 [doi]

2003

Mantle Convection Modeling with Viscoelastic/Brittle Lithosphere: Numerical and Computational MethodologyLouis Moresi, David May, Justin Freeman, Bill F. Appelbe. iccS 2003: 781-787 [doi]

2002

Predictable Instruction Caching for Media ProcessorsJames Irwin, David May, Henk L. Muller, Dan Page. asap 2002: 141-150 [doi]

Caches with Compositional PerformanceHenk L. Muller, Dan Page, James Irwin, David May. samos 2002: 242-259 [doi]

2001

Random Register Renaming to Foil DPADavid May, Henk L. Muller, Nigel P. Smart. ches 2001: 28-38 [doi]

Non-deterministic ProcessorsDavid May, Henk L. Muller, Nigel P. Smart. acisp 2001: 115-129 [doi]

2000

Hardware Migratable Channels (Research Note)David May, Henk L. Muller, Shondip Sen. europar 2000: 545-549 [doi]

1999

Using Channels for Multimedia CommunicationDavid May, Henk L. Muller. ipps 1999: 93-98 [doi]

MicrocachesDavid May, Dan Page, James Irwin, Henk L. Muller. hipc 1999: 21-27

1998

A Simple Protocol to Communicate Channels over ChannelsHenk L. Muller, David May. europar 1998: 591-600 [doi]

Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction SetsNeil Pollard, David May. mm 1998: 279-284 [doi]

1993

Components for Computing and CommunicationsDavid May. spaa 1993: 68 [doi]

1992

The T9000 TransputerDavid May, Roger Shepherd, Peter Thompson. iccd 1992: 209-212

1991

The Next Generation Transputers and BeyondDavid May. edmcc 1991: 7-22

How to Design a Parallel ComputerDavid May. iccd 1991: 2

1989

Towards Totally Verified SystemsDavid May, David Shepherd. mpc 1989: 48-65

1988

Occam and the transputerDavid May, Roger Shepherd. apn 1990: 329-353

1987

The IMS T800 TransputerMark Homewood, David May, David Shepherd, Roger Shepherd. micro, 7(5):10-26, 1987. [doi]

1986

Communicating Process Architecture: Transputers and OccamDavid May, Roger Shepherd, Catherine Keane. ac 1987: 35-81

1984

OCCAM-an overviewDavid May, Richard James Taylor. mam, 8(2):73-79, 1984. [doi]

The Transputer Implementation of OccamDavid May, Roger Shepherd. fgcs 1984: 533-541

1983

OCCAMDavid May. SIGPLAN, 18(4):69-79, 1983.

Sign in or sign up to see more results.

runs on WebDSL