Algebraic Models of Simultaneous Multithreaded and Multi-core Processors

DOI10.1007/978-3-540-73859-6_20MaRDI QIDQ3612497zbMATH OpenOpenAlexFDO

Authors N. A. Harman

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_20

zbMATH Keywords

verificationmany-sorted algebracorrectnessmicroprocessorsthreaded

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Abstract data types; algebraic specification (68Q65)

Recommendations

• Algebraic models of behaviour and correctness of SMT and CMT processors
• Algebraic models of correctness for microprocessors
• Algebraic models of microprocessors architecture and organisation
• Algebraic models of correctness for abstract pipelines.
• scientific article; zbMATH DE number 1107561

Cited in

(4)

• Algebraic models of correctness for abstract pipelines.
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Modeling and analysis of the performance of parallel processes in the algebra dtsPBC
• Algebraic models of behaviour and correctness of SMT and CMT processors

This page was built for publication: Algebraic Models of Simultaneous Multithreaded and Multi-core Processors

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