N. A. Harman

From MaRDI portal
Person:172360

Available identifiers

zbMath Open harman.n-aMaRDI QIDQ172360

List of research outcomes





PublicationDate of PublicationType
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors2009-03-10Paper
Algebraic models of behaviour and correctness of SMT and CMT processors2007-11-21Paper
https://portal.mardi4nfdi.de/entity/Q44717172004-07-30Paper
Algebraic models of correctness for abstract pipelines.2004-03-14Paper
Algebraic models of correctness for microprocessors2001-04-17Paper
https://portal.mardi4nfdi.de/entity/Q43734901998-01-21Paper
Algebraic models of microprocessors architecture and organisation1996-11-21Paper
https://portal.mardi4nfdi.de/entity/Q40281481993-03-28Paper

Research outcomes over time

This page was built for person: N. A. Harman

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:172360&oldid=6564376"
Powered by MediaWiki