Bowen Zhou, Bing Xiang, et al.
SSST 2008
Paper
Simulation of one abstract computing machine by another
Abstract
No abstract available.
Related
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Nanda Kambhatla
ACL 2004
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics