Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
D J Greaves Publications
[go: Go Back, main page]

2000-2004 Publications: Dr. D J Greaves.

D J Greaves, MA, PhD, MIEE.

Most publications are now being placed in the online Computer Laboratory Publications Database.

System Specficiation, Hardware and Software Synthesis

  • 2000. VTOC Verilog to C Compiler. This paper was presented at RSP 2000 in Paris:   abstract (ascii)

  • 2003. ` Using RTL-to-C++ translation for large SoC concurrent engineering: a case study.' W Stoye, N Richards, D Greaves and J Green. DesignCon 2003 Santa Clara Convention Center, CA, January 27-30, 2003. Also appeared as: Using RTL-to-C++ translation for concurrent engineering. William Stoye, David Greaves, Neil Richards, James Green. in IEE Electronic Systems and Software - Feb 2003. Link. Link2.

  • 2002. `Cycle semantics for almost arbitrary netlists.' DJ Greaves. Completed. Patents pending.

  • 2003. `High-Level Hardware Specifications' Keynote Talk. DJ Greaves. 3rd U.K. ACM SIGDA Workshop www.sigda.org.uk, PDF.

  • 2003. `Towards Autonomous Dependable Systems', presented at Cabernet Workshop November 2003. T Omitola and DJ Greaves.

  • 2003. `Agile Programming For Mobile Adaptive Systems.' T Omitola and DJ Greaves. Presented at the ANWIRE Workshop at FMOODS 2003, Paris.

  • 2004. `Automated Hardware Synthesis from Formal Specification using SAT solvers' DJ Greaves. RSP 2004, Geneva. Paper PDF, slides PPT.

  • 2004. `Automated Hardware Synthesis from Formal Specification using Symbolic Model Checking.' System and circuit design can be considered as planning problems, where resources are deployed in time and space to meet a given goal. At the lowest level, systems and circuits are finite state automata that must meet their design specification in all reachable operating states, but these constraints may be relaxed during a system start-up phase. In this paper we show how symbolic model checking can be used to synthesise hardware systems that conform to such specifications. We include an example each of gate-level synchonous logic, gate-level asynchronous logic and higher-level component module integration. We also demonstrate how to synthesise protocols that are guaranteed to recover from errors. Submitted to ????.

General Networking

  • 2002. `Performance Of A Home Lan Over Homepna 2.0 Stations' S Suh and DJ Greaves. 8th IEEE International Conference on Communication Systems (ICCS 2002), 25-28 Nov. 2002 Page(s): 661 - 668 vol.2.

  • 2002. `Application of a multi-carrier modulation to a nondeterministic MAC based home LAN and its effect on performance.' S Suh and DJ Greaves. 8th IEEE International Conference on Communication Systems (ICCS 2002), Nov 2002

Reliable Scripting and Embedded Systems

  • 2006. `Using Simple Pushlogic'. DJ Greaves, D Gordon. At WEBIST 06.

  • 2006. `A LOGICAL APPROACH TO HOME AUTOMATION.' A Alvi, DJ Greaves. 2nd IEE International Conference on Intelligent Environments, July, 2006, Athens (http://conferences.iee.org/ie06).

Home Networking

  • 2001. `Internet Access to Home Area Network' Umar Saif, Daniel Gordon, David Greaves IEEE Internet Computing 54-63: Vol. 5, No. 1, January/February 2001.

  • 2002. `Control Software for Home Automation'. DJ Greaves. Accepted for `International Workshop on Smart Appliances and Wearable Computing (IWSAWC 2002)', July 2nd, Vienna 2002. PDF.

  • 2001. `Context-aware Adaptation in UbiqtOS: A Java-based Embedded Operating System for Ubiquitous Computing'. "Umar Saif, David Greaves" 5-minute presentation + poster at ACM SOSP 2001. Banff, Canada. We present a bottom-up design of an extensible, Java-based embedded operating system that lends itself to secure, efficient, context-driven adaptation. A universal, eternal substrate is embedded in resources to enable effective participation in the system.

  • 1996. `ATM for Video and Audio on Demand'. Despite the massive amount of work we did on the Cambridge Interactive TV Trial, I only have one publication to show. This was presented to the Audio Engineering Society, in 1996 and they did not really believe the message in the paper. However, their 2000 conference was almost entirely dedicated to audio in packets. AES Paper (.pdf)   AES Paper Abstract (ascii).

  • 2001. "Communication Primitives for Ubiquitous Systems or RPC Considered Harmful". Umar Saif, David J. Greaves. Proceedings of 21st International Conference of Distributed Computing Systems (Workshop on Smart Appliances and Wearable Computing), 2001.
DJG HOME.