Search
Now showing items 61-70 of 85
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 ...
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 ...
Reactive Power Planning And Operation of Power Systems with Wind Farms for Voltage Stability Improvement
(2017-09-23)
In recent years, the electric power industry around the world is changing continuously due to transformation from regulated market structure to deregulated market structure. The main aim of the transformation of electric ...
Design And Control of Power Converters for Renewable Energy Systems
(2017-09-20)
Renewable energy sources normally require power converters to convert their energy into standardized regulated ac output. The motivation for this thesis is to design and control power converters for renewable energy ...
Spectral And Temporal Zero-Crossings-Based Signal Analysis
(2017-09-20)
We consider real zero-crossing analysis of the real/imaginary parts of the spectrum, namely, spectral zero-crossings (SZCs). The two major contributions are to show that: (i) SZCs provide enable temporal localization of ...
Loss Ratios of Different Scheduling Policies for Firm Real-time System : Analysis and Comparisons
(2017-11-27)
Firm real time system with Poisson arrival process, iid exponential service times and iid deadlines till the end of service of a job, operated under the First Come First Served (FCFS) scheduling policy is well studied. In ...
Demodulation of Narrowband Speech Spectrograms
(2017-11-22)
Speech is a non-stationary signal and contains modulations in both spectral and temporal domains. Based on the type of modulations studied, most speech processing algorithms can be classified into short-time analysis ...