Search
Now showing items 171-180 of 377
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 ...
A Compiler and Symbolic Debugger for Occam
(Indian Institute of Science, 2005-03-03)
We have implemented Occam, a parallel programming language, on a uniprocessor machine (MC-68020 based HORIZON I11 running on UNIX system V.2) with simulated concurrency. Occam is a descendant of CSP with a few convenient ...
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 ...
Module Grobner Bases Over Fields With Valuation
(2017-07-12)
Tropical geometry is an area of mathematics that interfaces algebraic geometry and combinatorics. The main object of study in tropical geometry is the tropical variety, which is the combinatorial counterpart of a classical ...
IMAGINE : An Intelligent Electonic Marketplace
(Indian Institute of Science, 2007-01-16)
In recent times, the Internet revolution has spawned numerous innovative enterprises-virtual companies, and electronic markets. Electronic markets (or digital markets) are scalable web-based platforms for buyers, sellers, ...
Automatic Data Partitioning By Hierarchical Genetic Search
(Indian Institute of Science, 2005-12-07)
The introduction of languages like High Performance Fortran (HPF) which allow the programmer to indicate how the arrays used in the
program have to be distributed across the local memories of a multi-computer has not ...