Browse All Reviews
Arithmetic And Logic Structures (B.2)
Performance Analysis And Design Aids (B.2.2)
> Verification (B.2.2...)
All Media Types
1-2 of 2 Reviews about "
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.