The network architecture of the Connection Machine CM-5 (extended abstract)
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
Abstraction Techniques for Validation Coverage Analysis and Test Generation
IEEE Transactions on Computers
On Design Validation Using Verification Technology
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.00 |