John Cowles

发表

Representing Nuprl Proof Objects in ACL2: toward a proof checker for Nuprl

James L. Caldwell, John Cowles, 2002 .

John Cowles, Rex E. Gantenbein, Sung Yun Shin, 1991 .

John Cowles, Mark G. Arnold, Colin D. Walter, 2001, 2001 IEEE Workshop on Signal Processing Systems. SiPS 2001. Design and Implementation (Cat. No.01TH8578).

Evaluation of combined approaches to distributed software-based fault tolerance

John Cowles, Sung Y. Shin, Rex E. Gantenbein, 1991, [1991] Proceedings Pacific Rim International Symposium on Fault Tolerant Systems.

Improved accuracy for logarithmic addition in DSP applications

John Cowles, Mark G. Arnold, Thomas Bailey, 1988, ICASSP-88., International Conference on Acoustics, Speech, and Signal Processing.

Under- and Overflow Detection in the Residue Logarithmic Number System

Vassilis Paliouras, John Cowles, Ioannis Kouretas, 2019, 2019 IEEE 26th Symposium on Computer Arithmetic (ARITH).

Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications: On Vickrey's Theorem and the Use of ACL2 for Formal Reasoning in Economics (Extended Abstract)

John Cowles, Ruben Gamboa, 2014 .

A purely behavioral data structure for accurate high level timing simulation of synchronous designs

John Cowles, Mark G. Arnold, J. J. Cupal, 1994, International Verilog HDL Conference.

Flat Domains and Recursive Equations in ACL2

John Cowles, J. Cowles, 2002 .

Knuth's Generalization of Takeuchi's Tarai Function: Preliminary Report

John Cowles, Thomas Bailey, 2000 .

Axiomatic Events in ACL 2 ( r ) : A Story of defun , defun-std , and encapsulate

John Cowles, Ruben Gamboa, Ruben Gamboa, 2004 .

Consistently Adding Primitive Recursive Definitions in ACL2

John Cowles, 2002 .

Checking Nuprl Proofs in ACL 2 : A Progress Report

James L. Caldwell, John Cowles, 2002 .