[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Closed-Loop Control for Power and Thermal Management in Multi-core Processors: Formal Methods and Industrial Practice

[IEEE Conference Publications Design Aut

✍ Li, Jiaxin; Zhang, Weihua; Chen, Haibo; Zang, Binyu 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 175 KB

[IEEE Conference Publications Design Aut

✍ Shafique, Muhammad; Vogel, Benjamin; Henkel, Jorg 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 916 KB

[IEEE Conference Publications Design Aut

✍ Carretero, Javier; Herrero, Enric; Monchiero, Matteo; Ramirez, Tanausu; Vera, Xa 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 860 KB

[IEEE Conference Publications Design Aut

✍ Cilardo, Alessandro; Gallo, Luca; Mazzeo, Antonino; Mazzocca, Nicola 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 175 KB

[IEEE Conference Publications Design Aut

✍ Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 137 KB

[IEEE Conference Publications Design Aut

✍ Kozyrakis, Christos 📂 Article 📅 2013 🏛 IEEE Conference Publications ⚖ 803 KB