2006 |
18 | EE | W. B. Toms,
David A. Edwards,
Andrew Bardsley:
Synthesising Heterogeneously Encoded Systems.
ASYNC 2006: 138-149 |
17 | EE | David A. Edwards:
Convection Effects in Thin Reaction Zones: Applications to Biacore.
SIAM Journal of Applied Mathematics 66(6): 1978-1997 (2006) |
2005 |
16 | EE | W. B. Toms,
David A. Edwards:
Efficient synthesis of speed-independent combinational logic circuits.
ASP-DAC 2005: 1022-1026 |
15 | EE | David A. Edwards,
Sumanth Swaminathan:
The effect of receptor site nonuniformity on the measurement of rate constants.
Appl. Math. Lett. 18(10): 1101-1107 (2005) |
2004 |
14 | EE | S. Swaminathan,
David A. Edwards:
Traveling waves for anomalous diffusion in polymers.
Appl. Math. Lett. 17(1): 7-12 (2004) |
2003 |
13 | EE | W. J. Bainbridge,
W. B. Toms,
David A. Edwards,
Stephen B. Furber:
Delay-Insensitive, Point-to-Point Interconnect Using M-of-N Codes.
ASYNC 2003: 132-140 |
2002 |
12 | EE | David A. Edwards,
Seth A. Jackson:
Testing the validity of the effective rate constant approximation for surface reaction with transport.
Appl. Math. Lett. 15(5): 547-552 (2002) |
11 | EE | David A. Edwards,
Richard A. Cairncross:
Desorption Overshoot in Polymer-Penetrant Systems: Asymptotic and Computational Results.
SIAM Journal of Applied Mathematics 63(1): 98-115 (2002) |
2000 |
10 | EE | Jim D. Garside,
W. J. Bainbridge,
Andrew Bardsley,
David M. Clark,
David A. Edwards,
Stephen B. Furber,
David W. Lloyd,
S. Mohammadi,
J. S. Pepper,
Steve Temple,
J. V. Woods,
Jianwei Liu,
O. Petli:
AMULET3i - An Asynchronous System-on-Chip.
ASYNC 2000: 162-175 |
9 | EE | Stephen B. Furber,
David A. Edwards,
Jim D. Garside:
AMULET3: A 100 MIPS Asynchronous Embedded Processor.
ICCD 2000: 329-334 |
1995 |
8 | EE | C. Farnsworth,
David A. Edwards,
Jianwei Liu,
S. S. Sikand:
A hybrid asynchronous system design environment.
ASYNC 1995: 91-98 |
7 | EE | David A. Edwards:
Constant Front Speed in Weakly Diffusive Non-Fickian Systems.
SIAM Journal of Applied Mathematics 55(4): 1039-1058 (1995) |
1989 |
6 | | David A. Edwards,
Martin S. McKendry:
Exploiting Read-Mostly Workloads in The FileNet File System.
SOSP 1989: 58-70 |
1988 |
5 | EE | Victoria Stavridou,
Howard Barringer,
David A. Edwards:
Formal Specification and Verification of Hardware: A Comparative Case Study.
DAC 1988: 197-204 |
1985 |
4 | | Roland N. Ibbett,
David A. Edwards,
T. P. Hopkins,
C. K. Cadogan,
D. A. Train:
Centrenet - A High Performance Local Area Network.
Comput. J. 28(3): 231-242 (1985) |
1983 |
3 | | Douglas Stott Parker Jr.,
Gerald J. Popek,
Gerard Rudisin,
Allen Stoughton,
Bruce J. Walker,
Evelyn Walton,
Johanna M. Chow,
David A. Edwards,
Stephen Kiser,
Charles S. Kline:
Detection of Mutual Inconsistency in Distributed Systems.
IEEE Trans. Software Eng. 9(3): 240-247 (1983) |
1981 |
2 | | Douglas Stott Parker Jr.,
Gerald J. Popek,
Gerard Rudisin,
Allen Stoughton,
Bruce J. Walker,
Evelyn Walton,
Johanna M. Chow,
David A. Edwards,
Stephen Kiser,
Charles S. Kline:
Detection of Mutual Inconsitency in Distributed Systems.
Berkeley Workshop 1981: 172-184 |
1 | | Gerald J. Popek,
Bruce J. Walker,
Johanna M. Chow,
David A. Edwards,
Gerard Rudisin,
Greg Thiel:
LOCUS - A Network Transparent, High Reliability Distributed System.
SOSP 1981: 169-177 |