ACM SIGARCH Computer Architecture News
Towards a shared-memory massively parallel multiprocessor
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
Computer Architecture and Parallel Processing
Computer Architecture and Parallel Processing
IEEE Design & Test
Reduction and Quantifier Elimination Techniques for Program Validation
Formal Methods in System Design
Hi-index | 0.00 |