Dr. D J Greaves.
D J Greaves, MA, PhD, MIEE.
Senior Lecturer,
Systems Research Group ,
Computer Architecture Group,
University of Cambridge Computer Laboratory.
| Consult Google regarding: |
|
Left to right: H Robinson, YJ Nam, S Kell, D Greaves, A Hopper, I Baltopoulos,
A Alvi, T Omitola.
DJ Greaves is a lecturer in Computing Science and a Fellow of
Corpus Christi College .
Short (auto-)biography: Jan 03
Photo with a tie.
|
March 07: Getting these four papers finished: drafts.
February 07: Delivering CompArch lectures to part II.
January 07: Organised Computer Laboratory Supporters' Club Briefing:
Pattern Recogniton, Information Retrieval and Machine Learning.
December 06: Became wed to Aldyth. The picture above, taken after the event, is
myself (with glass), Andy Hopper FRS CBE (lifelong mentor) and six of my current postgraduates.
November 06: Computer Laboratory Wednesday Seminar :'Safety
Checks in a domain of collaborating applications' PPT SLIDES.
November 06: 'System Level Design'
presented at the SRG Thursday Talk PPT SLIDES.
October 06: Presentation to Lockheed Martin:'Code Reflection for Reliable Fieldbus Systems.'
Older news link...
|
Reading Group
Our reading group meets every tuesday during term in SC01 at 3:20 pm.
Current Activities Blog: 1Q07
Extending the Orangepath H2 compiler to generate logic with
super pipelineing and out-of-order
execution as required by random access times to cached DRAM banks, and a
couple of related papers.
Extending the Pushlogic bundle meta-info to support assume/guarantee
reasoning capability rather than trying to model check the whole of a domain.
Viewing dynamic binding in IDE/UML systems.
Preparing a tutorial for FDL 07.
Older Research Areas,
Conference Program Committees,
Recent Publications,
Draft Publications,
Minor Research Notes,
Phd Students,
Undergraduate Teaching,
Miscellaneous Projects,
System Design Methodology.