Search
Now showing items 41-50 of 203
Targeted Client Synthesis for Detecting Concurrency Bugs
(2018-01-01)
Detecting concurrency bugs can be challenging due to the intricacies associated with their manifestation. These intricacies correspond to identifying the methods that need to be invoked concurrently, the inputs passed to ...
Consistency of Spectral Algorithms for Hypergraphs under Planted Partition Model
(2018-01-01)
Hypergraph partitioning lies at the heart of a number of problems in machine learning as well as other engineering disciplines. While partitioning uniform hypergraphs is often required in computer vision problems that ...
Power Issues in SoCs : Power Aware DFT Architecture and Power Estimation
(2018-01-10)
Test power, data volume, and test time have been long-standing problems for sequential scan based testing of system-on-chip (SoC) design. The modern SoCs fabricated at lower technology nodes are complex in nature, the ...
Morse-Smale Complexes : Computation and Applications
(2018-01-30)
In recent decades, scientific data has become available in increasing sizes and
precision. Therefore techniques to analyze and summarize the ever increasing
datasets are of vital importance. A common form of scientific ...
On Learning k-Parities and the Complexity of k-Vector-SUM
(2018-02-06)
In this work, we study two problems: first is one of the central problem in learning theory of learning sparse parities and the other k-Vector-SUM is an extension of the not oriousk-SUM problem. We first consider the problem ...
A Case for Protecting Huge Pages from the Kernel
(2018-01-01)
Modern architectures support multiple size pages to facilitate applications that use large chunks of contiguous memory either for buffer allocation, application specific memory management, in-memory caching or garbage ...
Fusion of Sparse Reconstruction Algorithms in Compressed Sensing
(2018-06-08)
Compressed Sensing (CS) is a new paradigm in signal processing which exploits the sparse or compressible nature of the signal to significantly reduce the number of measurements, without compromising on the signal reconstruction ...
Frequency Synthesis for Cognitive Radio Receivers and Other Wideband Applications
(2018-05-25)
The radio frequency (RF) spectrum as a natural resource is severely under-utilized over time and space due to an inefficient licensing framework. As a result, in-creasing cellular and wireless network usage is placing ...
Analysis, Diagnosis and Design for System-level Signal and Power Integrity in Chip-package-systems
(2018-05-25)
The Internet of Things (IoT) has ushered in an age where low-power sensors generate data which are communicated to a back-end cloud for massive data computation tasks. From the hardware perspective this implies co-existence ...
Transient Analysis of EHV/UHV Transmission Systems for Improved Protection Schemes
(2018-03-07)
Ever increasing demand for electricity, exploitation of large hydro and nuclear power at remote location has led to power evacuation by long EHV/UHV transmission systems. This thesis concentrates on transient analysis of ...

