Browsing Engineering (Faculty of) by Subject "java"
Now showing items 1-2 of 2
-
Categorization and Detection of Energy Bugs and Application Tail Energy Bugs in Smartphones
(University of Waterloo, 2016-09-16)Smartphones are the most ubiquitous and popular hand-held devices because of their rich set of features and wide variety of services. However, their daily use is hampered by their high energy consumption, which forces ... -
Light-weight verification of cryptographic API usage
(University of Waterloo, 2020-12-15)A pluggable type system is a light-weight approach for compile-time program verification, which provides more powerful types to both developers and compilers. Developers use pluggable types to boost program understanding, ...