Browsing University of Waterloo by Supervisor "Bonakdarpour, Borzoo"
Now showing items 1-2 of 2
-
Decentralized Runtime Verification of LTL Specifications in Distributed Systems
(University of Waterloo, 2016-09-26)Runtime verification is a lightweight automated formal method for specification-based run- time monitoring as well as testing of large real-world systems. While numerous techniques exist for runtime verification of sequential ... -
Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications
(University of Waterloo, 2018-01-02)Power and energy efficiency have become an increasingly important design metric for a wide spectrum of computing devices. Battery efficiency, which requires a mixture of energy and power efficiency, is exceedingly important ...