Search for Topics All Reviews
	Browse All Reviews > Hardware (B) > Arithmetic And Logic Structures (B.2) > Performance Analysis And Design Aids (B.2.2) > Verification (B.2.2...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-2 of 2 Reviews about "Verification (B.2.2...)": Date Reviewed   Reflections on the Pentium Division Bug Blum M., Wasserman H.  IEEE Transactions on Computers 45(4): 385-393, 1996. Type: Article With the increasing use of computers in what are called “mission critical situations,” it is becoming more and more necessary to be sure that both arithmetic and code do not contain hidden errors. It is to the former class of problems ... Nov 1 1996   The verification of the protection mechanisms of high-level language machines Gligor V.  International Journal of Parallel Programming 12(4): 211-246, 1983. Type: Article This paper discusses a methodology for the (informal) verification of processor-supported protection mechanisms of high-level language architectures (e.g., INTEL iAPX 432). The methodology takes an abstract model representation of the real hardwa... Feb 1 1985
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc. Terms of Use | Privacy Policy