Follow
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
3172000
Kiwi: Synthesis of FPGA circuits from parallel programs
S Singh, DJ Greaves
2008 16th International Symposium on Field-Programmable Custom Computing …, 2008
1362008
Communication primitives for ubiquitous systems or RPC considered harmful
U Saif, DJ Greaves
Proceedings 21st International Conference on Distributed Computing Systems …, 2001
562001
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
482001
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
471990
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
452013
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
422017
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
252009
Designing application specific circuits with concurrent C# programs
D Greaves, S Singh
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
222010
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
222003
The Cambridge backbone network an overview and preliminary performance
DJ Greaves, K Zielinski
Computer networks and ISDN systems 25 (10), 1127-1133, 1993
201993
Control software for home automation, design aspects and position paper
D Greaves
Proceedings 22nd International Conference on Distributed Computing Systems …, 2002
192002
A Verilog to C compiler
DJ Greaves
Proceedings 11th International Workshop on Rapid System Prototyping. RSP …, 2000
172000
Protocol and interface for ATM LANs
DJ Greaves, D McAuley, LJ French, E Hyden
Journal of High Speed Networks 3 (2), 147-163, 1994
171994
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
162019
System on Chip Design and Modelling
DJ Greaves
University of Cambridge Computer Laboratory Lecture Notes, 130, 2011
162011
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
152011
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