David A. Edwards

Affiliations:
  • University of Delaware, Newark, USA


According to our database1, David A. Edwards authored at least 36 papers between 1981 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Effect of a Clinical Decision Support Alert Encouraging Prescribing of Naloxone for Patients at High Risk of Opioid Overdose.
Proceedings of the AMIA 2020, 2020

2017
Applications of fractional calculus in solving Abel-type integral equations: Surface-volume reaction problem.
Comput. Math. Appl., 2017

2013
An Application of Matrix Theory to the Evolution of Coupled Modes.
SIAM Rev., 2013

Self-Timed Section-Carry Based Carry Lookahead Adders and the Concept of Alias Logic.
J. Circuits Syst. Comput., 2013

2012
Redundant Logic Insertion and Latency Reduction in Self-Timed Adders.
VLSI Design, 2012

2011
Indicating combinational logic decomposition.
IET Comput. Digit. Tech., 2011

2010
M-of-N Code Decomposition for Indicating Combinational Logic.
Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Self-timed full adder designs based on hybrid input encoding.
Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2009

2008
Efficient Realization of Strongly Indicating Function Blocks.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2008

A New Design Technique for Weakly Indicating Function Blocks.
Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), 2008

2006
Convection Effects in Thin Reaction Zones: Applications to Biacore.
SIAM J. Appl. Math., 2006

Synthesising Heterogeneously Encoded Systems.
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

2005
The effect of receptor site nonuniformity on the measurement of rate constants.
Appl. Math. Lett., 2005

Efficient synthesis of speed-independent combinational logic circuits.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004
Traveling waves for anomalous diffusion in polymers.
Appl. Math. Lett., 2004

2003
Delay-Insensitive, Point-to-Point Interconnect Using M-of-N Codes.
Proceedings of the 9th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2003), 2003

2002
Desorption Overshoot in Polymer-Penetrant Systems: Asymptotic and Computational Results.
SIAM J. Appl. Math., 2002

Testing the validity of the effective rate constant approximation for surface reaction with transport.
Appl. Math. Lett., 2002

2000
An Alternative Example of the Method of Multiple Scales.
SIAM Rev., 2000

Biochemical Reactions on Helical Structures.
SIAM J. Appl. Math., 2000

AMULET3: A 100 MIPS Asynchronous Embedded Processor.
Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

AMULET3i - An Asynchronous System-on-Chip.
Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

1998
Asymptotic and Computational Analysis of Large Shear Deformations of a Thermoplastic Material.
SIAM J. Appl. Math., 1998

Skinning During Desorption of Polymers: An Asymptotic Analysis.
SIAM J. Appl. Math., 1998

1995
An Unusual Moving Boundary Condition Arising in Anomalous Diffusion Problems.
SIAM J. Appl. Math., 1995

Constant Front Speed in Weakly Diffusive Non-Fickian Systems.
SIAM J. Appl. Math., 1995

A hybrid asynchronous system design environment.
Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

1994
Utilising dynamic logic for low power consumption in asynchronous circuits.
Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

Tools for validating asynchronous digital circuits.
Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1989
Exploiting Read-Mostly Workloads in The FileNet File System.
Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

1988
Formal Specification and Verification of Hardware: A Comparative Case Study.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

1985
Centrenet - A High Performance Local Area Network.
Comput. J., 1985

1983
Detection of Mutual Inconsistency in Distributed Systems.
IEEE Trans. Software Eng., 1983

1981
LOCUS - A Network Transparent, High Reliability Distributed System.
Proceedings of the Eighth Symposium on Operating System Principles, 1981

Detection of Mutual Inconsitency in Distributed Systems.
Proceedings of the Fifth Berkeley Workshop on Distributed Data Management and Computer Networks, 1981


  Loading...