| Proxy-controlled ATM subnetwork DJ Greaves, RJ Bradbury US Patent 6,111,858, 2000 | 317 | 2000 |
| Kiwi: Synthesis of FPGA circuits from parallel programs S Singh, DJ Greaves 2008 16th International Symposium on Field-Programmable Custom Computing …, 2008 | 136 | 2008 |
| Communication primitives for ubiquitous systems or RPC considered harmful U Saif, DJ Greaves Proceedings 21st International Conference on Distributed Computing Systems …, 2001 | 56 | 2001 |
| Asynchronous transfer mode switch DR Milway, DJ Greaves, BJ Knight US Patent 6,122,279, 2000 | 49 | 2000 |
| Internet access to a home area network U Saif, D Gordon, D Greaves IEEE Internet computing 5 (1), 54-63, 2001 | 48 | 2001 |
| The Cambridge backbone ring DJ Greaves, D Lioupis, A Hopper IEEE INFOCOM'90, 8, 9, 10, 11, 12, 13, 14-8, 9, 10, 11, 12, 13, 14, 1990 | 47 | 1990 |
| TLM POWER3: Power estimation methodology for SystemC TLM 2.0 D Greaves, M Yasin Models, Methods, and Tools for Complex Chip Design: Selected Contributions …, 2013 | 45 | 2013 |
| Emu: Rapid prototyping of networking services N Sultana, S Galea, D Greaves, M Wójcik, J Shipton, R Clegg, L Mai, ... 2017 USENIX Annual Technical Conference (USENIX ATC 17), 459-471, 2017 | 42 | 2017 |
| Simulation method and compiler for hardware/software programming DJ Greaves US Patent 6,606,734, 2003 | 30 | 2003 |
| Model modification method for timing Interoperability for simulating hardware DJ Greaves, D Stewart US Patent 7,478,350, 2009 | 25 | 2009 |
| Designing application specific circuits with concurrent C# programs D Greaves, S Singh Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010 | 22 | 2010 |
| Using RTL-to-C++ translation for large SoC concurrent engineering: A case study W Stoye, D Greaves, N Richards, J Green IEEE Electronics Systems and Software 1 (1), 20-25, 2003 | 22 | 2003 |
| The Cambridge backbone network an overview and preliminary performance DJ Greaves, K Zielinski Computer networks and ISDN systems 25 (10), 1127-1133, 1993 | 20 | 1993 |
| Control software for home automation, design aspects and position paper D Greaves Proceedings 22nd International Conference on Distributed Computing Systems …, 2002 | 19 | 2002 |
| A Verilog to C compiler DJ Greaves Proceedings 11th International Workshop on Rapid System Prototyping. RSP …, 2000 | 18 | 2000 |
| FRAMER: a tagged-pointer capability system with memory safety applications MJ Nam, P Akritidis, DJ Greaves Proceedings of the 35th Annual Computer Security Applications Conference …, 2019 | 17 | 2019 |
| Protocol and interface for ATM LANs DJ Greaves, D McAuley, LJ French, E Hyden Journal of High Speed Networks 3 (2), 147-163, 1994 | 17 | 1994 |
| System on Chip Design and Modelling DJ Greaves University of Cambridge Computer Laboratory Lecture Notes, 130, 2011 | 16 | 2011 |
| Intra-vehicular verification and control: a two-pronged approach A Alvi, Z Nabi, DJ Greaves, R Mehmood International journal of vehicle information and communication systems 2 (3 …, 2011 | 15 | 2011 |
| ATM for Video and Audio on Demand D Greaves, M Taunton Audio Engineering Society Conference: UK 11th Conference: Audio for New …, 1996 | 13 | 1996 |
Umar SaifProfessor of Computer ScienceVerified email at csail.mit.edu
