1. (100%) ECUACION DE LOS TRES MOMENTOS - SIMON SAUL HERNANDEZ BASTIDAS
FORMATO EN EXEL PARA CALCULAR REACCIONES, MOMENTOS DE CORTE Y FLEXION. EN VIGAS ASIMETRICAS DE 4 APOYOS.
(application/vnd.ms-excel)

2. (100%) ECUACION DE LOS TRES MOMENTOS - SIMON SAUL HERNANDEZ BASTIDAS
FORMATO EN EXEL PARA CALCULAR REACCIONES, MOMENTOS DE CORTE Y FLEXION. EN VIGAS ASIMETRICAS DE 4 APOYOS.
(application/vnd.ms-excel)

3. (82%) *PBHD: An Efficient Graph Representation for Floating Point Circuit Verification - Yirng-an Chen; Randal E. Bryant
*BMDs, HDDs, and K*BMDs provide compact representations for functions which map Boolean vectors into ...
(application/postscript) - 04-ago-2009

4. (82%) Verification of Floating-Point Adders - Yirng-an Chen; Randal E. Bryant
The floating-point division bug in Intel's Pentium processor and the overflow flag erratum of t ...
(application/postscript) - 13-ago-2009

5. (82%) Arithmetic Circuit Verification Based on Word-Level Decision Diagrams - Yirng-an Chen; Edmund M. Clarke; Rob A. Rutenbar
contract number DABT63-96-C-0071.
(application/pdf) - 27-ago-2009

6. (82%) An Efficient Graph Representation for Arithmetic Circuit Verification - Yirng-an Chen; Randal E. Bryant; Al E. Bryant
In this paper, we propose a new data structure, called Multiplicative Power Hybrid Decision Diagrams ...
(application/postscript) - 18-sep-2009

7. (82%) *PBHD: An Efficient Graph Representation for Floating Point Circuit Verification - Yirng-An Chen; Randal E. Bryant
*BMDs, HDDs, and K*BMDs provide compact representations for functions which map Boolean vectors into ...
(application/postscript) - 01-oct-2009

8. (41%) An Exponential Lower Bound on the Size of a Binary Moment Diagram Representing Integer Division
this paper, we show an exponential lower bound on the number of vertices of a multiplicative binary moment diagram representing a quotient function or a remainder function.
(pdf) - 31-mar-2009