IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2014 / 8 Vol. 33; Iss. 8
![](/img/cover-not-exists.png)
Verification of Code Motion Techniques Using Value Propagation
Banerjee, Kunal, Karfa, Chandan, Sarkar, Dipankar, Mandal, ChittaranjanVolume:
33
Language:
english
Journal:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
DOI:
10.1109/TCAD.2014.2314392
Date:
August, 2014
File:
PDF, 698 KB
english, 2014