MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ruben Gamboa" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Square Roots in ACL2: A Study in Sonata Form
by Ruben Gamboa — 1996
…Square Roots in ACL2: A Study in Sonata Form Ruben A. Gamboa Computer Sciences Department…
Cited by 3 (2 self) – Add To MetaCart

Implementing a cost-aware evaluator for ACL2 expressions
by Ruben Gamboa — 2006 — in ACL2 ’06: Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
…ABSTRACT Implementing a Cost-Aware Evaluator for ACL2 Expressions Ruben Gamboa Department…
Cited by 1 (0 self) – Add To MetaCart

Defthms About Zip and Tie: Reasoning About Powerlists in ACL2
by Ruben A. Gamboa — 1997 — Univ. of Texas Comp. Sci. Tech. Rep
…Defthms About Zip and Tie: Reasoning About Powerlists in ACL2 Ruben A. Gamboa Computer Sciences…
Cited by 7 (3 self) – Add To MetaCart

Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem
by Jun Sawada, Ruben Gamboa — 2002 — In Formal Methods in Computer Aided Design (FMCAD'02
…Mechanical Verification of a Square Root Algorithm using Taylor’s Theorem Jun Sawada 1 and Ruben…
Cited by 5 (1 self) – Add To MetaCart

Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
by Ruben A. Gamboa — 1998 — IN THIRD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR PARALLEL PROGRAMMING: THEORY AND APPLICATIONS
…Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2 Ruben A. Gamboa…
Cited by 4 (2 self) – Add To MetaCart

The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
by Ruben A. Gamboa — 2002 — METHODS SYST. DES., SPECIAL ISSUE ON UNITY
… in The Netherlands. The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2 RUBEN A. GAMBOA* ruben…
Cited by 1 (0 self) – Add To MetaCart

Extending Dynamic Constraint Detection with Polymorphic Analysis
by Nadya Kuzmina, Ruben Gamboa
… to properties of object-oriented, as opposed to procedural, systems. Nadya Kuzmina, Ruben Gamboa University…
Cited by 3 (0 self) – Add To MetaCart

Polymorphism in ACL2
by Ruben Gamboa, Mark Patterson
…Polymorphism in ACL2 Ruben Gamboa Mark Patterson Computer Science Department University of Wyoming…
Add To MetaCart

Writing Literate Proofs with XML Tools
by Ruben Gamboa Computer, Ruben Gamboa — 2003
…Writing Literate Proofs with XML Tools Ruben Gamboa Computer Science Department University…
Add To MetaCart

Taylor's Formula with Remainder
by Ruben A. Gamboa, Brittany Middleton — 2002 — In Proceedings of the Third International Workshop of the ACL2 Theorem Prover and its Applications
…Taylor's Formula with Remainder Ruben A. Gamboa Computer Science Department University of Wyoming…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB