%0 Journal Article %1 journals/tecs/SantosF13 %A Santos, Juan Carlos Martínez %A Fei, Yunsi %D 2013 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 1 %P 3:1-3:18 %T Leveraging speculative architectures for runtime program validation. %U http://dblp.uni-trier.de/db/journals/tecs/tecs13.html#SantosF13 %V 13

@article{journals/tecs/SantosF13, added-at = {2020-09-08T00:00:00.000+0200}, author = {Santos, Juan Carlos Martínez and Fei, Yunsi}, biburl = {https://www.bibsonomy.org/bibtex/200160a1a7a5db485127d55b91f5ff28c/dblp}, ee = {http://doi.acm.org/10.1145/2512456}, interhash = {447526e18d6ae66f4222705585337eb9}, intrahash = {00160a1a7a5db485127d55b91f5ff28c}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = 1, pages = {3:1-3:18}, timestamp = {2020-09-09T12:41:19.000+0200}, title = {Leveraging speculative architectures for runtime program validation.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs13.html#SantosF13}, volume = 13, year = 2013 }