Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. Click here for details. ©2007 Advaith Siddharthan
 
David Greaves
 

Research

(Analysis last run in January 2008)

2005--2007: 'FWA systems'; 'simple pushlogic'; 'large soc concurrent engineering'; 'switchable-polarisation antenna'; 'polarisation dependence'; 'textual environments'; 'two-level systems'; 'real world case study'; 'cross-cutting concerns';

2000--2004: 'fast start-up equaliser'; 'stabilised precoder'; 'fixed wireless access systems'; 'wideband channel characteristics for'; 'ubiquitous systems'; 'home area network'; 'autonomous dependable systems'; 'ubiquitous computing'; 'mobile adaptive systems'; 'home automation'; 'hardware/software programming'; 'polarised antennas'; 'home lan over homepna'; 'SAT solvers'; 'hardware specifications'; 'VTOC verilog'; 'design aspects'; 'keynote address'; 'formal specification'; 'communication primitives'; 'position paper'; 'agile programming'; 'internet access'; 'pragmatic precoder'; 'simulation methods'; 'context-aware adaptation'; 'automated hardware synthesis';

1995--1999: 'fast start-up equaliser'; 'stabilised precoder'; 'radio ATM'; 'antenna diversity for broadband';

1990--1994: 'ATM backbone ring';

Related People
  • Ian J Wassell [ DTG ]:
    • 'FWA systems'; 'adaptive modulation schemes'; 'antenna selection'; 'fast start-up equaliser'; 'polarisation dependence'; 'pragmatic precoder'; 'simulation study'; 'stabilised precoder'; 'wideband channel characteristics for'; 'wireless communication';
  • Alan Mycroft [ TSG ][ CPRG ][ CAG ]:
    • 'mobile agents'; 'stream processing hardware'; 'window logic simulation';
  • Simon Moore [ Security ][ CAG ]:
    • 'channel communication'; 'hardware stream processing'; 'simulation methodsology';
  • Peter Sewell [ TSG ]:
    • 'applications to home area networking'; 'formal treatments of {c}'; 'mobile agents';
  • Eiko Yoneki [ SRG ]:
    • 'adaptive approach'; 'communication abstractions';
  • Mike Gordon [ TSG ][ ARG ]:
    • 'automatic formal synthesis'; 'hardware description languages';
  • Andy Hopper [ DTG ]:
    • 'fast start-up equaliser'; 'mobile networking';