Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
M. Serna recently proved that approximating linear programming is log-space complete for P. This note shows a direct reduction of the exact problem to Serna' approximate one. © 1992.
Pradip Bose
VTS 1998
Yao Qi, Raja Das, et al.
ISSTA 2009
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025