Mantissa-Preserving Operations and Robust Algorithm-Based Fault Tolerance for Matrix Computations
IEEE Transactions on Computers
Informing memory operations: providing memory performance feedback in modern processors
ISCA '96 Proceedings of the 23rd annual international symposium on Computer architecture
Informing memory operations: memory performance feedback mechanisms and their applications
ACM Transactions on Computer Systems (TOCS)
Concurrent Process Monitoring with No Reference Signatures
IEEE Transactions on Computers
A Procedure-Based Dynamic Software Update
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
A combined hardware and software architecture for secure computing
Proceedings of the 2nd conference on Computing frontiers
Formal Verification of Pipelined Microprocessors with Delayed Branches
ISQED '06 Proceedings of the 7th International Symposium on Quality Electronic Design
The p-sized partitioning algorithm for fast computation of factorials of numbers
The Journal of Supercomputing
Introduction to formal processor verification at logic level: a case study
WCAE '04 Proceedings of the 2004 workshop on Computer architecture education: held in conjunction with the 31st International Symposium on Computer Architecture
| Hi-index | 0.01 |