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-2022 ThinkLoud, Inc.
Terms of Use
|
Privacy Policy