David J Greaves
David J Greaves
University of Cambridge, Computer Laboratory
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
Proxy-controlled ATM subnetwork
DJ Greaves, RJ Bradbury
US Patent 6,111,858, 2000
2972000
Kiwi: Synthesis of FPGA circuits from parallel programs
S Singh, DJ Greaves
2008 16th International Symposium on Field-Programmable Custom Computing …, 2008
1082008
Communication primitives for ubiquitous systems or RPC considered harmful
U Saif, DJ Greaves
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
522001
Asynchronous transfer mode switch
DR Milway, DJ Greaves, BJ Knight
US Patent 6,122,279, 2000
492000
Internet access to a home area network
U Saif, D Gordon, D Greaves
IEEE Internet computing 5 (1), 54-63, 2001
462001
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
441990
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
342014
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
302017
Simulation method and compiler for hardware/software programming
DJ Greaves
US Patent 6,606,734, 2003
302003
Model modification method for timing Interoperability for simulating hardware
DJ Greaves, D Stewart
US Patent 7,478,350, 2009
222009
Designing application specific circuits with concurrent C# programs
D Greaves, S Singh
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
202010
The Cambridge backbone network
D Greaves, A Hopper
Proc. EFOC/LAN'88, 399-402, 1988
181988
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
162011
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
152003
Protocol and interface for ATM LANs
DJ Greaves, D McAuley, LJ French, E Hyden
Journal of High Speed Networks 3 (2), 147-163, 1994
151994
A verilog to C compiler
DJ Greaves
Proceedings 11th International Workshop on Rapid System Prototyping. RSP …, 2000
142000
Control software for home automation, design aspects and position paper
D Greaves
Proceedings 22nd International Conference on Distributed Computing Systems …, 2002
132002
Accelerating ATM: on-line compression of ATM streams
DJG I Papaefstathiou
Proceedings of International Performance, Computing and Communications …, 1999
131999
Warren: a low-cost ATM home area network
DJ Greaves, RJ Bradbury
IEEE network 12 (1), 44-56, 1998
131998
ATM for Video and Audio on Demand
D Greaves, M Taunton
Audio Engineering Society Conference: UK 11th Conference: Audio for New …, 1996
131996
The system can't perform the operation now. Try again later.
Articles 1–20