Search
Now showing items 81-90 of 382
Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs
Statically verifying behavioral properties of programs is an important research problem. An
efficient solution to this problem will have visible effects over multiple domains, ranging from
program development, program ...
Signal Processing and Coding for Two-Dimensional Magnetic Recording
Many novel approaches have been proposed to improve storage densities of magnetic
recording beyond the existing 1 Tb/in2. These include heat-assisted magnetic
recording (HAMR), bit-patterned media (BPM) and two-dimensional ...
Correlation-aware Splitting Algorithms for Opportunistic Selection
Opportunistic selection is a key technique to improve the performance of wireless systems. In it, the best set of users among the available ones is selected on the basis of their instantaneous channel gains or local ...
Handling Overloads with Social Consistency
Cloud computing applications have dynamic workloads, and they often observe spikes in the
incoming traffic which might result in system overloads. System overloads are generally handled by
various load balancing techniques ...
Integrated optic devices on thin film lithium niobate for few-mode optical communications
Mode division multiplexing is a remarkable strategy to meet the explosively increasing
bandwidth requirements in optical communication systems and interconnects. This scheme
harnesses the orthogonality of modes to scale ...
Multisource Subnetwork Level Transfer in Deep CNNs Using Bank of Weight Filters
The convolutional neural networks (CNNs) have become the most successful models for many
pattern recognition problems in the areas of computer vision, speech, text and others. One
concern about CNNs has always been their ...
Stationary diesel exhaust treatment by blending discharge plasma/ozone with industry wastes: a study on abatement of NOx and THC
Increased usage of fossil fuels, especially diesel, has made a large impact on the environment in the form of rise in global temperature, increased acidity in the rain water, decreased yield in vegetation and numerous ...
A Trusted-Hardware Backed Secure Payments Platform for Android
Digital payments using personal electronic devices have been steadily gaining in popularity for the last few years. While digital payments using smartphones are very convenient, they are also more susceptible to security ...
Erasure Codes for Distributed Storage: Tight Bounds and Matching Constructions
The reliable storage of Big Data across a spatially distributed network of nodes, calls for erasure-correcting codes that in addition to protecting against data loss, can also efficiently handle node repair. The need for ...
Optimizing Dense Matrix Computations with PolyMage
Linear algebra computations and other arbitrary affine accesses are ubiquitous in applications
from domains like scientific computing, digital signal processing (DSP), and deep
neural networks. Libraries such as OpenBLAS, ...