The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David J. Greaves: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002