Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Hardware (B) > Arithmetic And Logic Structures (B.2) > Performance Analysis And Design Aids (B.2.2) > Verification (B.2.2...)  
  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
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2022 ThinkLoud, Inc.
Terms of Use
| Privacy Policy