Algebraic models for advanced microprocessors
In this thesis, algebraic methods are used to model advanced microprocessor organisations. Correctness is defined by modelling computer systems at two levels of abstraction: the abstract circuit level, and the programmer's model level. The abstract circuit corresponds with a microprocessor orga...
Main Author: | Fox, A. C. J. |
---|---|
Published: |
Swansea University
1999
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.637000 |
Similar Items
-
Multiversal algebra
by: Lobo, Francisco
Published: (2013) -
An algebraic approach to syntax, semantics and compilation
by: Stephenson, K.
Published: (1996) -
An active-library based investigation into the performance optimisation of linear algebra and the finite element method
by: Russell, Francis Prem
Published: (2011) -
A data flow model of parallel processing
by: Hankin, C. L.
Published: (1979) -
Data independence in the model checking of security protocols
by: Broadfoot, Philippa J.
Published: (2001)