Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering
Matthias Kaiserswerth
IEEE/ACM Transactions on Networking
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev