Search
Now showing items 151-160 of 203
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 ...
New Approaches And Experimental Studies On - Alegebraic Attacks On Stream Ciphers
(2015-02-05)
Algebraic attacks constitute an effective class of cryptanalytic attacks which have come up recently. In algebraic attacks, the relations between the input, output and the key are expressed as a system of equations and ...
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 ...
Multi-label Classification with Multiple Label Correlation Orders And Structures
(2018-06-18)
Multilabel classification has attracted much interest in recent times due to the wide applicability of the problem and the challenges involved in learning a classifier for multilabeled data. A crucial aspect of multilabel ...
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 ...
Provable Methods for Non-negative Matrix Factorization
(2017-10-31)
Nonnegative matrix factorization (NMF) is an important data-analysis problem which concerns factoring a given d n matrix A with nonnegative entries into matrices B and C where B and C are d k and k n with nonnegative ...
Time Management In Partitioned Systems
(2010-02-11)
Time management is one of the critical modules of safety-critical systems. Applications need strong assurance from the operating system that their hard real-time requirements are met. Partitioned system has recently evolved ...
Semi-Supervised Classification Using Gaussian Processes
(2010-03-26)
Gaussian Processes (GPs) are promising Bayesian methods for classification and regression problems. They have also been used for semi-supervised classification tasks. In this thesis, we propose new algorithms for solving ...
A Static Slicing Tool for Sequential Java Programs
(2018-07-28)
A program slice consists of a subset of the statements of a program that can potentially affect values computed at some point of interest. Such a point of interest along with a set of variables is called a slicing criterion. ...
Checking Compatability of Programs on Shared Data
(2018-07-28)
A large software system is built by composing multiple programs, possibly developed independently. The component programs communicate by sharing data. Data sharing involves creation of instances of the shared data by one ...