%0 Journal Article %1 journals/tecs/KimSTDV12 %A Kim, Minyoung %A Stehr, Mark-Oliver %A Talcott, Carolyn L. %A Dutt, Nikil D. %A Venkatasubramanian, Nalini %D 2012 %J ACM Trans. Embed. Comput. Syst. %K %N 4 %P 73:1-73:23 %T xTune: A formal methodology for cross-layer tuning of mobile embedded systems. %U http://dblp.uni-trier.de/db/journals/tecs/tecs11.html#KimSTDV12 %V 11

@article{journals/tecs/KimSTDV12, added-at = {2023-12-13T06:08:25.000+0100}, author = {Kim, Minyoung and Stehr, Mark-Oliver and Talcott, Carolyn L. and Dutt, Nikil D. and Venkatasubramanian, Nalini}, biburl = {https://www.bibsonomy.org/bibtex/25331b5ad40beda98008a013c8f30d151/admin}, ee = {https://doi.org/10.1145/2362336.2362340}, interhash = {aad2fe56f96bc88f03fffcf8734e3589}, intrahash = {5331b5ad40beda98008a013c8f30d151}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {}, number = 4, pages = {73:1-73:23}, timestamp = {2023-12-13T06:08:25.000+0100}, title = {xTune: A formal methodology for cross-layer tuning of mobile embedded systems.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs11.html#KimSTDV12}, volume = 11, year = 2012 }