Search the dblp DataBase

Publications of Author

1. David May, Roger Shepherd, Catherine Keane
   Communicating Process Architecture: Transputers and Occam. [Citation Graph (0, 0)][DBLP]
   Future Parallel Computers, 1986, pp:35-81 [Conf]
   
2. David May, Henk L. Muller, Nigel P. Smart
   Non-deterministic Processors. [Citation Graph (0, 0)][DBLP]
   ACISP, 2001, pp:115-129 [Conf]
   
3. David May, Roger Shepherd
   Occam and the transputer. [Citation Graph (0, 0)][DBLP]
   European Workshop on Applications and Theory in Petri Nets, 1988, pp:329-353 [Conf]
   
4. James Irwin, David May, Henk L. Muller, Dan Page
   Predictable Instruction Caching for Media Processors. [Citation Graph (0, 0)][DBLP]
   ASAP, 2002, pp:141-150 [Conf]
   
5. David May
   CSP, occam and Transputers. [Citation Graph (0, 0)][DBLP]
   25 Years Communicating Sequential Processes, 2004, pp:75-84 [Conf]
   
6. David May, Henk L. Muller, Nigel P. Smart
   Random Register Renaming to Foil DPA. [Citation Graph (0, 0)][DBLP]
   CHES, 2001, pp:28-38 [Conf]
   
7. David May
   The Next Generation Transputers and Beyond. [Citation Graph (0, 0)][DBLP]
   EDMCC, 1991, pp:7-22 [Conf]
   
8. David May, Henk L. Muller, Shondip Sen
   Hardware Migratable Channels (Research Note). [Citation Graph (0, 0)][DBLP]
   Euro-Par, 2000, pp:545-549 [Conf]
   
9. Henk L. Muller, David May
   A Simple Protocol to Communicate Channels over Channels. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1998, pp:591-600 [Conf]
   
10. David May, Roger Shepherd
    The Transputer Implementation of Occam. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:533-541 [Conf]
    
11. David May, Dan Page, James Irwin, Henk L. Muller
    Microcaches. [Citation Graph (0, 0)][DBLP]
    HiPC, 1999, pp:21-27 [Conf]
    
12. Louis Moresi, David May, Justin Freeman, Bill F. Appelbe
    Mantle Convection Modeling with Viscoelastic/Brittle Lithosphere: Numerical and Computational Methodology. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science, 2003, pp:781-787 [Conf]
    
13. David May
    How to Design a Parallel Computer. [Citation Graph (0, 0)][DBLP]
    ICCD, 1991, pp:2- [Conf]
    
14. David May, Roger Shepherd, Peter Thompson
    The T9000 Transputer. [Citation Graph (0, 0)][DBLP]
    ICCD, 1992, pp:209-212 [Conf]
    
15. David May, Henk L. Muller
    Using Channels for Multimedia Communication. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP, 1999, pp:93-98 [Conf]
    
16. Neil Pollard, David May
    Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 1998, pp:279-284 [Conf]
    
17. David May, David Shepherd
    Towards Totally Verified Systems. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:48-65 [Conf]
    
18. Henk L. Muller, Dan Page, James Irwin, David May
    Caches with Compositional Performance. [Citation Graph (0, 0)][DBLP]
    Embedded Processor Design Challenges, 2002, pp:242-259 [Conf]
    
19. David May
    Components for Computing and Communications. [Citation Graph (0, 0)][DBLP]
    SPAA, 1993, pp:68- [Conf]
    
20. David May
    OCCAM. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1983, v:18, n:4, pp:69-79 [Journal]
    
21. 
    Invited Talk 1- Past, Present, and Future Communicating Processors. [Citation Graph (, )][DBLP]
    
    
22. 
    Communicating Process Architecture for Multicores. [Citation Graph (, )][DBLP]