> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Sonstige Veröffentlichung; E-Artikel; Elektronischer Konferenzbericht Titel: Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems Beteiligte: Iqtedar, Shafaq [Verfasser:in]; Hasan, Osman [Verfasser:in]; Shafique, Muhammad [Verfasser:in]; Henkel, Jörg [Verfasser:in] Erschienen: IEEE Computer Society, 2015-01-01 Sprache: Englisch DOI: https://doi.org/10.1109/WETICE.2015.39 ISBN: 978-1-4673-7692-1 Schlagwörter: DATA processing & computer science Entstehung: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.