David May
University of California, Riverside(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Embedded Systems Design Techniques, Interconnection Networks and Systems, Distributed and Parallel Computing Systems, Formal Methods in Verification
Most-Cited Works
- A tutorial introduction to occam programming(1987)
- → OCCAM(1983)108 cited
- → Random Register Renaming to Foil DPA(2001)88 cited
- → The IMS T800 Transputer(1987)86 cited
- → Non-deterministic Processors(2001)79 cited
- The Transputer Implementation of Occam.(1984)
- → OCCAM-an overview(1984)34 cited
- Transputers and routers: components for concurrent machines(1990)
- The XMOS XS1 Architecture(2009)
- → The XMOS Architecture and XS1 Chips