David Walker

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2011
Clinical application of SPHARM-PDM to quantify temporomandibular joint osteoarthritis.
Comput. Medical Imaging Graph., 2011

2008
Reasoning about Control Flow in the Presence of Transient Faults.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Public Health Information Fusion for Situation Awareness.
Proceedings of the Biosurveillance and Biosecurity, International Workshop, 2008

2007
Management Information Base for the Session Initiation Protocol (SIP).
RFC, April, 2007

Dynamic computational workflows: Discovery, optimisation and scheduling.
Sci. Program., 2007

A Two-port GFSK Direct Modulator for Wideband Applications at 5.8 GHz.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

2005
Patch (1) Considered Harmful.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

2004
Management Information Base for Telephony Routing over IP (TRIP).
RFC, September, 2004

Dynamic Typing with Dependent Types.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Topic 7: Applications on High Performance Computers.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
Task allocation for wide area search munitions with variable path length.
Proceedings of the American Control Conference, 2003

2002
A "Low-Tech" Design Experiment Improving Student Work.
Proceedings of the International Conference on Computers in Education, 2002

2000
Typed Memory Management.
PhD thesis, 2000

1998
Theory and Algorithms for Parallel Computation.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997
Application of a mixed <i>H</i><sub>2</sub>/<i>H</i><sub>∞</sub> approach with a singular <i>H</i><sub>∞</sub>constraint.
Int. J. Syst. Sci., 1997

1995
Objects in the pi-Calculus
Inf. Comput., February, 1995


  Loading...