John R. Cowles

33 papers B 2C 4Misc 2Journal 13Unranked 12

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Towards Automated Verification of Logarithmic Arithmetic. CoRR Mark G. Arnold, Thomas A. Bailey, John R. Cowles
2020	—	`conf`	Quadratic Extensions in ACL2. ACL2 Ruben Gamboa, John R. Cowles, Woodrow Gamboa
2019	—	`conf`	Optimizing Mitchell's Method for Approximate Logarithmic Addition via Base Selection with Application to Back-Propagation. NORCAS Mark G. Arnold, Ed Chester, John R. Cowles, Corey Johnson
2019	C	`conf`	Under- and Overflow Detection in the Residue Logarithmic Number System. ARITH Mark G. Arnold, Ioannis Kouretas, Vassilis Paliouras, John R. Cowles
2018	—	`conf`	The Fundamental Theorem of Algebra in ACL2. ACL2 Ruben Gamboa, John R. Cowles
2017	—	`conf`	The Cayley-Dickson Construction in ACL2. ACL2 John R. Cowles, Ruben Gamboa
2016	—	`conf`	Guarding the guards: Enhancing LNS performance for common applications. ASAP Mark G. Arnold, Ed Chester, John R. Cowles
2015	—	`conf`	Perfect Numbers in ACL2. ACL2 John R. Cowles, Ruben Gamboa
2014	—	`conf`	Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis. ACL2 John R. Cowles, Ruben Gamboa
2014	—	`conf`	Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent. ACL2 Ruben Gamboa, John R. Cowles
2012	B	`conf`	A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers. ITP Ruben Gamboa, John R. Cowles
2011	C	`conf`	Towards a Quaternion Complex Logarithmic Number System. IEEE Symposium on Computer Arithmetic Mark G. Arnold, John R. Cowles, Vassilis Paliouras, Ioannis Kouretas
2011	—	`conf`	Verifying Sierpinski and Riesel Numbers in ACL2 ACL2 John R. Cowles, Ruben Gamboa
2010	B	`conf`	Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure. ITP John R. Cowles, Ruben Gamboa
2007	J	`jnl`	Theory Extension in ACL2(r). J. Autom. Reason. Ruben Gamboa, John R. Cowles
2006	—	`conf`	Implementing a cost-aware evaluator for ACL2 expressions. ACL2 Ruben Gamboa, John R. Cowles
2006	—	`conf`	Unique factorization in ACL2: Euclidean domains. ACL2 John R. Cowles, Ruben Gamboa
2004	—	`conf`	A Mechanical Proof of the Cook-Levin Theorem. TPHOLs Ruben Gamboa, John R. Cowles
2003	J	`jnl`	Error Analysis of the Kmetz/Maenner Algorithm. J. VLSI Signal Process. Mark G. Arnold, Thomas A. Bailey, John R. Cowles
2003	J	`jnl`	Fast Fourier Transforms Using the Complex Logarithmic Number System. J. VLSI Signal Process. Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Colin D. Walter
1998	J	`jnl`	Arithmetic Co-Transformations in the Real and Complex Logarithmic Number Systems. IEEE Trans. Computers Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel
1998	Misc	`conf`	TELELAB: A virtual laboratory for scientific data distribution on the internet. CATA Rex E. Gantenbein, Thomas L. James, John R. Cowles, William H. Paloski
1997	C	`conf`	Arithmetic Co-transformations in the Real and Complex Logarithmic Number Systems. IEEE Symposium on Computer Arithmetic Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel
1992	J	`jnl`	Applying Features of IEEE 754 to Sign/Logarithm Arithmetic. IEEE Trans. Computers Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel
1992	J	`jnl`	Comments on "An Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System''. IEEE Trans. Computers Mark G. Arnold, Thomas A. Bailey, John R. Cowles
1992	J	`jnl`	Initializing RAM-based logarithmic processors. J. VLSI Signal Process. Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal
1990	J	`jnl`	Redundant Logarithmic Arithmetic. IEEE Trans. Computers Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal
1989	C	`conf`	Redundant logarithmic number systems. IEEE Symposium on Computer Arithmetic Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal
1988	Misc	`conf`	Improved accuracy for logarithmic addition in DSP applications. ICASSP Mark G. Arnold, John R. Cowles, Thomas A. Bailey
1987	J	`jnl`	A Convex Hull Inclusion Test. IEEE Trans. Pattern Anal. Mach. Intell. Thomas A. Bailey, John R. Cowles
1986	J	`jnl`	Small Sample Algorithms for the Identification of Polynomials. J. ACM John H. Rowland, John R. Cowles
1984	J	`jnl`	Cluster Definition by the Optimization of Simple Measures. IEEE Trans. Pattern Anal. Mach. Intell. Thomas A. Bailey, John R. Cowles
1981	J	`jnl`	The Henkin Quantifier and Real Closed Fields. Math. Log. Q. John R. Cowles