Mission-critical systems are those imperative systems whose failures can result in catastrophic consequences. Traditional techniques, such as manual investigation and testing, cannot ensure the absence of errors and security vulnerabilities within these systems. This dissertation leverages formal methods to comprehensively examine several mission-critical systems and their essential components. For each...
While the entire silicon industry has been blooming under Moore’s Law for decades, conventional digital implementation is approaching the “stall” of Moore’s Law due to many physical design limitations. Technology innovation now is going to take a different direction. Given the increasing demand for emerging applications' computational capacity, it is...
Power and energy are becoming the limiting factors for computer designs and systems, and energy efficient functional units are getting more popular in such systems. Some of the design methodologies that are getting more common include voltage overscaling and employing imprecise instructions. These functional units need to be characterized correctly...
Abstract The work presented in this dissertation addresses three broad areas of video signal processing: video transmission, motion estimation and error concealment. In the first category, focused on the source-side, we present two machine learning models for efficient content-aware resource allocation and packet prioritization for video transmission over shared/constrained, lossy...