John R. Cowles - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2019

Optimizing Mitchell's Method for Approximate Logarithmic Addition via Base Selection with Application to Back-PropagationMark G. Arnold, Ed Chester, John R. Cowles, Corey Johnson. norchip 2019: 1-6 [doi]

Under- and Overflow Detection in the Residue Logarithmic Number SystemMark G. Arnold, Ioannis Kouretas, Vassilis Paliouras, John R. Cowles. arith 2019: 112-115 [doi]

2016

Guarding the guards: Enhancing LNS performance for common applicationsMark G. Arnold, Ed Chester, John R. Cowles. asap 2016: 123-130 [doi]

2012

A Cantor Trio: Denumerability, the Reals, and the Real Algebraic NumbersRuben Gamboa, John R. Cowles. itp 2012: 51-66 [doi]

2011

Towards a Quaternion Complex Logarithmic Number SystemMark G. Arnold, John R. Cowles, Vassilis Paliouras, Ioannis Kouretas. arith 2011: 33-42 [doi]

2010

Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue MeasureJohn R. Cowles, Ruben Gamboa. itp 2010: 25-34 [doi]

2007

Theory Extension in ACL2(r)Ruben Gamboa, John R. Cowles. JAR, 38(4):273-301, 2007. [doi]

2006

Unique factorization in ACL2: Euclidean domainsJohn R. Cowles, Ruben Gamboa. acl2 2006: 21-27 [doi]

Implementing a cost-aware evaluator for ACL2 expressionsRuben Gamboa, John R. Cowles. acl2 2006: 71-80 [doi]

2004

A Mechanical Proof of the Cook-Levin TheoremRuben Gamboa, John R. Cowles. tphol 2004: 99-116 [doi]

2003

Error Analysis of the Kmetz/Maenner AlgorithmMark G. Arnold, Thomas A. Bailey, John R. Cowles. vlsisp, 33(1-2):37-53, 2003. [doi]

Fast Fourier Transforms Using the Complex Logarithmic Number SystemMark G. Arnold, Thomas A. Bailey, John R. Cowles, Colin D. Walter. vlsisp, 33(3):325-335, 2003. [doi]

1998

Arithmetic Co-Transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. TC, 47(7):777-786, 1998.

TELELAB: A virtual laboratory for scientific data distribution on the internetRex E. Gantenbein, Thomas L. James, John R. Cowles, William H. Paloski. cata 1998: 89-92

1997

Arithmetic Co-transformations in the Real and Complex Logarithmic Number SystemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. arith 1997: 190-199 [doi]

1992

Initializing RAM-based logarithmic processorsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal. vlsisp, 4(2-3):243-252, 1992. [doi]

Applying Features of IEEE 754 to Sign/Logarithm ArithmeticMark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel. TC, 41(8):1040-1050, 1992.

1990

Redundant Logarithmic ArithmeticMark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal. TC, 39(8):1077-1086, 1990.

1989

Redundant logarithmic number systemsMark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal. arith 1989: 144-151 [doi]

1988

Improved accuracy for logarithmic addition in DSP applicationsMark G. Arnold, John R. Cowles, Thomas A. Bailey. icassp 1988: 1714-1717 [doi]

1987

A Convex Hull Inclusion TestThomas A. Bailey, John R. Cowles. pami, 9(2):312-316, 1987. [doi]

1986

Small Sample Algorithms for the Identification of PolynomialsJohn H. Rowland, John R. Cowles. JACM, 33(4):822-829, 1986.

1984

Cluster Definition by the Optimization of Simple MeasuresThomas A. Bailey, John R. Cowles. pami, 6(5):645-652, 1984. [doi]

1981

The Henkin Quantifier and Real Closed FieldsJohn R. Cowles. mlq, 27(31-35):549-555, 1981. [doi]

Sign in or sign up to see more results.

runs on WebDSL