Computer architecture. Complexity and correctness

MaRDI QIDQ4494691zbMATH OpenFDO

Authors Silvia Melitta Müller, Wolfgang J. Paul

Publication date 8 August 2000

zbMATH Keywords

computer hardwareRISC processor

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 986184
• scientific article; zbMATH DE number 54059
• scientific article; zbMATH DE number 194025
• scientific article; zbMATH DE number 611825
• scientific article; zbMATH DE number 53772
• Computer architecture
• scientific article; zbMATH DE number 517387
• scientific article; zbMATH DE number 1109423
• Computer architecture. Structure, organization and implementation

Cited in

(8)

• A parametric error analysis of Goldschmidt's division algorithm
• Solving the generalized mask constraint for test generation of binary floating point add operation.
• Correct approximation of IEEE 754 floating-point arithmetic for program verification
• Pervasive Theory of Memory
• scientific article; zbMATH DE number 1897178 (Why is no real title available?)
• Formal verification of the VAMP floating point unit
• Formalization of fixed-point arithmetic in HOL
• Balancing the load. Leveraging a semantics stack for systems verification

This page was built for publication: Computer architecture. Complexity and correctness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494691)