We address the problem of efficient maintenance of the answer to a new type of query: Continuous Maximizing Range-Sum (Co-MaxRS) for moving objects trajectories. The traditional static/spatial MaxRS problem finds a location for placing the centroid of a given (axes-parallel) rectangle $R$ so that the sum of the weights of...
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...
Circuit-level Dynamic Timing Slack (DTS) has emerged as a compelling opportunity for eliminating inefficiency in modern low-power systems. This slack arises when all the signals have propagated through logic paths well in advance of the clock signal. When it is properly identified, the system can exploit this unused cycle time...
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...
The speed of the storage device has long lagged behind the computation speed of processors.As a result, the I/O performance of storage systems in a supercomputer fails to keep up with its computational power.
This gap continues to widen in modern supercomputers.
On future exascale supercomputers, this issue can worsen...
Machine learning is seeping into every fabric in various practical domains such as autonomous driving, wearable computing, and smart buildings. However, in the actual development and integration, especially when the learning-based components are frequently included as components of large complex systems where the physical instances can be included as interactable...
Machine learning-based techniques have shown great promises in perception, prediction, planning, and general decision-making for improving task performance of autonomous driving. Connectivity technology has also presented great potentials in improving the safety and efficiency of transportation systems by providing information beyond the perception and prediction capabilities of individual vehicles. However,...
The speed of the storage device has long lagged behind the computation speed of processors.As a result, the I/O performance of storage systems in a supercomputer fails to keep up with its computational power.
This gap continues to widen in modern supercomputers.
On future exascale supercomputers, this issue can worsen...
Memory management and address translation need significant optimizations in order to not behindrances in the near future. Currently, plenty of work has started to address issues within the
current abstraction of the hardware-software codesign of paging. I argue that a new abstraction
is needed in order to properly address this...
With growing system complexity and closer cyber-physical interaction, there are stronger needs for cyber-physical systems to adapt to the dynamic environment and improve their runtime performance. However, especially for safety-critical systems, the ability of such adaptation and improvement is often restricted by multiple factors, such as limited resources, stringent timing...