Search
Now showing items 11-20 of 24
Codes With Locality For Distributed Data Storage
(2017-07-26)
This thesis deals with the problem of code design in the setting of distributed storage systems consisting of multiple storage nodes, storing many different data les. A primary goal in such systems is the efficient repair ...
Coding Schemes For Distributed Subspace Computation, Distributed Storage And Local Correctability
(2017-07-24)
In this thesis, three problems have been considered and new coding schemes have been devised for each of them. The first is related to distributed function computation, the second to coding for distributed storage and the ...
Minimization Problems Based On A Parametric Family Of Relative Entropies
(2017-08-21)
We study minimization problems with respect to a one-parameter family of generalized relative entropies. These relative entropies, which we call relative -entropies (denoted I (P; Q)), arise as redundancies under mismatched ...
Belief Propagation and Algorithms for Mean-Field Combinatorial Optimisations
(2017-11-15)
We study combinatorial optimization problems on graphs in the mean-field model, which assigns independent and identically distributed random weights to the edges of the graph. Specifically, we focus on two generalizations ...
Identifying Method Memoization Opportunities in Java Programs
(2017-12-13)
Memorization of a method is a commonly used re-factoring wherein developer modules the code of a method to save return values for some or all incoming parameter values. Whenever a parameter-tuple is received for the second ...
Resolving the Complexity of Some Fundamental Problems in Computational Social Choice
(2017-12-16)
In many real world situations, especially involving multiagent systems and artificial intelligence, participating agents often need to agree upon a common alternative even if they have differing preferences over the available ...
Plan Bouquets : An Exploratory Approach to Robust Query Processing
(2017-09-26)
Over the last four decades, relational database systems, with their mathematical basis in first-order logic, have provided a congenial and efficient environment to handle enterprise data during its entire life cycle of ...
Model-Checking Infinite-State Systems For Information Flow Security Properties
(2017-02-16)
Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events ...
Automatic Data Allocation, Buffer Management And Data Movement For Multi-GPU Machines
(2017-05-24)
Multi-GPU machines are being increasingly used in high performance computing. These machines are being used both as standalone work stations to run computations on medium to large data sizes (tens of gigabytes) and as a ...
Retweet Profiling - Study Dissemination of Twitter Messages
(2017-09-23)
Social media has become an important means of everyday communication. It is a mechanism for “sharing” and “resharing” of information. While social network platforms provide the means to users for resharing/reblogging (aka ...