David J Greaves
David J Greaves
University of Cambridge, Computer Laboratory
Verified email at cl.cam.ac.uk - Homepage
Cited by
Cited by
Proxy-controlled ATM subnetwork
DJ Greaves, RJ Bradbury
US Patent 6,111,858, 2000
Kiwi: Synthesis of FPGA circuits from parallel programs
S Singh, DJ Greaves
2008 16th International Symposium on Field-Programmable Custom Computing …, 2008
Communication primitives for ubiquitous systems or RPC considered harmful
U Saif, DJ Greaves
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
Asynchronous transfer mode switch
DR Milway, DJ Greaves, BJ Knight
US Patent 6,122,279, 2000
Internet access to a home area network
U Saif, D Gordon, D Greaves
IEEE Internet computing 5 (1), 54-63, 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
TLM POWER3: Power estimation methodology for SystemC TLM 2.0
D Greaves, M Yasin
Models, Methods, and Tools for Complex Chip Design, 53-68, 2014
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
Simulation method and compiler for hardware/software programming
DJ Greaves
US Patent 6,606,734, 2003
Model modification method for timing Interoperability for simulating hardware
DJ Greaves, D Stewart
US Patent 7,478,350, 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
The Cambridge backbone network
D Greaves, A Hopper
Proc. EFOC/LAN'88, 399-402, 1988
Using RTL-to-C++ translation for large SoC concurrent engineering: A case study
W Stoye, D Greaves, N Richards, J Green
Electronics Systems and Software 1 (1), 20-25, 2003
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
Control software for home automation, design aspects and position paper
D Greaves
Proceedings 22nd International Conference on Distributed Computing Systems …, 2002
A Verilog to C compiler
DJ Greaves
Proceedings 11th International Workshop on Rapid System Prototyping. RSP …, 2000
Protocol and interface for ATM LANs
DJ Greaves, D McAuley, LJ French, E Hyden
Journal of High Speed Networks 3 (2), 147-163, 1994
System on Chip Design and Modelling
DJ Greaves
University of Cambridge Computer Laboratory Lecture Notes, 130, 2011
Accelerating ATM: on-line compression of ATM streams
DJG I Papaefstathiou
Proceedings of International Performance, Computing and Communications …, 1999
Warren: a low-cost ATM home area network
DJ Greaves, RJ Bradbury
IEEE network 12 (1), 44-56, 1998
The system can't perform the operation now. Try again later.
Articles 1–20