Search the dblp DataBase

Publications of Author

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