Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking

✍ Scribed by Sesic, A.; Dautovic, S.; Malbasa, V.

• Book ID: 117907985
• Publisher: IEEE
• Year: 2008
• Tongue: English
• Weight: 165 KB
• Volume: 27
• Category: Article
• ISSN: 0278-0070
• DOI: 10.1109/tcad.2007.911342