%0 Conference Paper %1 conf/patmos/WienerKV08 %A Wiener, Roni %A Kamhi, Gila %A Vardi, Moshe Y. %B PATMOS %D 2008 %E Svensson, Lars %E Monteiro, José %I Springer %K dblp %P 52-61 %T Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. %U http://dblp.uni-trier.de/db/conf/patmos/patmos2008.html#WienerKV08 %V 5349 %@ 978-3-540-95947-2

@inproceedings{conf/patmos/WienerKV08, added-at = {2017-05-26T00:00:00.000+0200}, author = {Wiener, Roni and Kamhi, Gila and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ffe6d2677d894bc9d31e0e5512511d89/dblp}, booktitle = {PATMOS}, crossref = {conf/patmos/2008}, editor = {Svensson, Lars and Monteiro, José}, ee = {https://doi.org/10.1007/978-3-540-95948-9_6}, interhash = {ebb83260232510461f4ccb9ca049cb30}, intrahash = {ffe6d2677d894bc9d31e0e5512511d89}, isbn = {978-3-540-95947-2}, keywords = {dblp}, pages = {52-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:37:01.000+0200}, title = {Intelligate: Scalable Dynamic Invariant Learning for Power Reduction.}, url = {http://dblp.uni-trier.de/db/conf/patmos/patmos2008.html#WienerKV08}, volume = 5349, year = 2008 }