Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Kaoutar El Maghraoui, Gokul Kandiraju, et al.
WOSP/SIPEW 2010
Sai Zeng, Angran Xiao, et al.
CAD Computer Aided Design
Fan Zhang, Junwei Cao, et al.
IEEE TETC