✦ LIBER ✦

Using probabilistic model checking for dynamic power management

✍ Scribed by Gethin Norman; David Parker; Marta Kwiatkowska; Sandeep Shukla; Rajesh Gupta

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Polytime model checking for timed probab

✍ Danièle Beauquier; Anatol Slissenko 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 204 KB

Model checking for a probabilistic branc

✍ Christel Baier; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Probabilistic Power Management for Wirel

✍ Zongpeng Li; Baochun Li 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 573 KB

Space-Reduction Strategies for Model Che

✍ Robby; Matthew B. Dwyer; John Hatcliff; Radu Iosif 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 277 KB

Test sequence generation and model check

✍ Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 250 KB

Probabilistic modeling of a nonlinear dy

✍ Edson Cataldo; Christian Soize; Rubens Sampaio; Christophe Desceliers 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 488 KB