| 2008 |
|---|
| 16 | EE | Satnam Singh,
David J. Greaves:
Synthesizing FPGA Circuits from Parallel Programs.
ARC 2008: 1 |
| 15 | EE | David J. Greaves,
Satnam Singh:
Kiwi: Synthesis of FPGA Circuits from Parallel Programs.
FCCM 2008: 3-12 |
| 14 | EE | David J. Greaves,
Satnam Singh:
Using C# Attributes to Describe Hardware Artefacts within Kiwi.
FDL 2008: 239-240 |
| 13 | EE | Atif Alvi,
David J. Greaves:
Checkable Domain Management with Ontology and Rules.
ICIW 2008: 142-149 |
| 2006 |
|---|
| 12 | | David J. Greaves:
Avoiding two-level systems: Using a textual environment to address cross-cutting concerns.
ICSOFT (1) 2006: 71-76 |
| 11 | | David J. Greaves,
Daniel Gordon:
Using Simple Pushlogic.
WEBIST (1) 2006: 101-108 |
| 2004 |
|---|
| 10 | EE | David J. Greaves:
Automated Hardware Synthesis from Formal Specification Using SAT Solvers.
IEEE International Workshop on Rapid System Prototyping 2004: 15-20 |
| 2002 |
|---|
| 9 | EE | David J. Greaves:
Control Software for Home Automation, Design Aspects and Position Paper.
ICDCS Workshops 2002: 757-764 |
| 2001 |
|---|
| 8 | EE | Umar Saif,
David J. Greaves:
Communication Primitives for Ubiquitous Systems or RPC Considered Harmful.
ICDCS Workshops 2001: 240-245 |
| 7 | EE | Umar Saif,
Daniel Gordon,
David J. Greaves:
Internet Access to a Home Area Network.
IEEE Internet Computing 5(1): 54-63 (2001) |
| 2000 |
|---|
| 6 | EE | David J. Greaves:
A Verilog to C Compiler.
IEEE International Workshop on Rapid System Prototyping 2000: 122-127 |
| 1996 |
|---|
| 5 | | Shaw-Cheng Chuang,
David J. Greaves:
Securing the Residential Asynchronous Transfer Mode Networks.
Security Protocols Workshop 1996: 177-196 |
| 1995 |
|---|
| 4 | | David J. Greaves:
The CSYN Verilog Compiler and Other Tools.
FPL 1995: 198-207 |
| 1993 |
|---|
| 3 | | David J. Greaves,
Krzysztof Zielinski:
The Cambridge Backbone Network An Overview and Preliminary Performance.
Computer Networks and ISDN Systems 25(10): 1127-1133 (1993) |
| 1992 |
|---|
| 2 | | David J. Greaves,
Derek McAuley:
Private ATM Networks.
Protocols for High-Speed Networks 1992: 171-181 |
| 1990 |
|---|
| 1 | | David J. Greaves,
Dimitris Lioupis,
Andy Hopper:
The Cambridge Backbone Ring.
INFOCOM 1990: 8-14 |
