David A. Edwards

发表

Detection of Mutual Inconsitency in Distributed Systems

Alley Stoughton, Douglas Stott Parker, Gerald J. Popek, 1981, Berkeley Workshop.

Applications of fractional calculus in solving Abel-type integral equations: Surface-volume reaction problem

David A. Edwards, D. A. Edwards, Ryan M. Evans, 2015, Comput. Math. Appl..

Refractive Flow and Treatment Systems: Conceptual, Analytical, and Numerical Modeling

David A. Edwards, Vincent B. Dick, James W. Little, 2001 .

Self-timed full adder designs based on hybrid input encoding

P. Balasubramanian, David A. Edwards, Charlie Brej, 2009, 2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems.

An Alternative Example of the Method of Multiple Scales

David A. Edwards, D. A. Edwards, 2000, SIAM Rev..

Efficient Realization of Strongly Indicating Function Blocks

P. Balasubramanian, David A. Edwards, 2008, 2008 IEEE Computer Society Annual Symposium on VLSI.

A New Design Technique for Weakly Indicating Function Blocks

P. Balasubramanian, David A. Edwards, 2008, 2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems.

Exploiting read-mostly workloads in the FileNet file system

David A. Edwards, Martin S. McKendry, 1989, SOSP '89.

Constant Front Speed in Weakly Diffusive Non-Fickian Systems

David A. Edwards, D. A. Edwards, 1995, SIAM J. Appl. Math..

Self-Timed Section-Carry Based Carry Lookahead Adders and the Concept of Alias Logic

P. Balasubramanian, William B. Toms, David A. Edwards, 2013, J. Circuits Syst. Comput..

Utilising dynamic logic for low power consumption in asynchronous circuits

David A. Edwards, Craig Farnsworth, Shiv S. Sikand, 1994, Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems.

Redundant Logic Insertion and Latency Reduction in Self-Timed Adders

P. Balasubramanian, William B. Toms, David A. Edwards, 2012, VLSI Design.

Detection of Mutual Inconsistency in Distributed Systems

Alley Stoughton, Douglas Stott Parker, Gerald J. Popek, 1983, IEEE Transactions on Software Engineering.

Delay-insensitive, point-to-point interconnect using m-of-n codes

William B. Toms, William John Bainbridge, David A. Edwards, 2003, Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings..

AMULET3i-an asynchronous system-on-chip

Siamak Mohammadi, Jim D. Garside, David M. Clark, 2000, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586).

A hybrid asynchronous system design environment

Jianwei Liu, David A. Edwards, Craig Farnsworth, 1995, Proceedings Second Working Conference on Asynchronous Design Methodologies.

Skinning During Desorption of Polymers: An Asymptotic Analysis

David A. Edwards, D. A. Edwards, 1998, SIAM J. Appl. Math..

Tools for validating asynchronous digital circuits

David A. Edwards, Craig Farnsworth, Shiv S. Sikand, 1994, Proceedings of 1994 IEEE Symposium on Advanced Research in Asynchronous Circuits and Systems.

AMULET3: a 100 MIPS asynchronous embedded processor

Jim D. Garside, David A. Edwards, Stephen B. Furber, 2000, Proceedings 2000 International Conference on Computer Design.

Indicating combinational logic decomposition

William B. Toms, David A. Edwards, 2011, IET Comput. Digit. Tech..

The effect of receptor site nonuniformity on the measurement of rate constants

David A. Edwards, D. A. Edwards, Sumanth Swaminathan, 2005, Appl. Math. Lett..

Efficient synthesis of speed-independent combinational logic circuits

William B. Toms, David A. Edwards, 2005, ASP-DAC.

A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths

William B. Toms, David A. Edwards, D. A. Edwards, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

Testing the validity of the effective rate constant approximation for surface reaction with transport

David A. Edwards, D. A. Edwards, Seth A. Jackson, 2002, Appl. Math. Lett..

Centrenet - A High Performance Local Area Network

Roland N. Ibbett, David A. Edwards, T. P. Hopkins, 1985, Comput. J..

Synthesising heterogeneously encoded systems

William B. Toms, David A. Edwards, Andrew Bardsley, 2006, 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'06).

An Unusual Moving Boundary Condition Arising in Anomalous Diffusion Problems

David A. Edwards, D. A. Edwards, D. S. Cohen, 1995, SIAM J. Appl. Math..

Asymptotic and Computational Analysis of Large Shear Deformations of a Thermoplastic Material

David A. Edwards, Donald A. French, 1998, SIAM J. Appl. Math..

Traveling waves for anomalous diffusion in polymers

David A. Edwards, D. A. Edwards, S. Swaminathan, 2004, Appl. Math. Lett..

M-of-N Code Decomposition for Indicating Combinational Logic

William B. Toms, David A. Edwards, D. A. Edwards, 2010, 2010 IEEE Symposium on Asynchronous Circuits and Systems.

Desorption Overshoot in Polymer-Penetrant Systems: Asymptotic and Computational Results

David A. Edwards, D. A. Edwards, Richard A. Cairncross, 2002, SIAM J. Appl. Math..

An Application of Matrix Theory to the Evolution of Coupled Modes

Colin J. McKinstrie, Joseph D. Fehribach, David A. Edwards, 2013, SIAM Rev..

Biochemical Reactions on Helical Structures

David A. Edwards, D. A. Edwards, 2000, SIAM J. Appl. Math..

LOCUS a network transparent, high reliability distributed system

Greg Thiel, Gerald J. Popek, Gerard Rudisin, 1981, SOSP.

Formal specification and verification of hardware: a comparative case study

Howard Barringer, Victoria Stavridou, David A. Edwards, 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..