scientific article; zbMATH DE number 1107561

MaRDI QIDQ4373490zbMATH OpenFDO

Authors N. A. Harman, John V. Tucker

Publication date 21 January 1998

zbMATH Keywords

algebraic methodsGordon's Computer

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• Algebraic models of microprocessors architecture and organisation
• Algebraic models of correctness for abstract pipelines.
• Algebraic models of correctness for microprocessors
• Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
• Formal modeling and verification of microprocessors

Cited in

(12)

• Reconstructing the heart
• Algebraic models of correctness for abstract pipelines.
• Algebraic models of microprocessors architecture and organisation
• Algebraic models of behaviour and correctness of SMT and CMT processors
• Algebraic model for the behaviour of a D-flip-flops-based memory component
• An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
• Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
• scientific article; zbMATH DE number 2079670 (Why is no real title available?)
• scientific article; zbMATH DE number 1487636 (Why is no real title available?)
• scientific article; zbMATH DE number 2102713 (Why is no real title available?)
• Algebra and Coalgebra in Computer Science
• Algebraic models of correctness for microprocessors

This page was built for publication:

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