Verimag

bibtex

@inproceedings{LLP+15,
    title = { Reducing power with activity trigger analysis },
    author = {L{\'{a}}n{\'{\i}}k, Jan and Legriel, Julien and Piriou, Erwan and Viaud, Emmanuel and Rahim, Fahim and Maler, Oded and Rahim, Solaiman},
    year = {2015},
    booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
    crossref = {DBLP:conf/memocode/2015},
    pages = {169--178},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/memocode/LanikLPVRMR15}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 820154