Search
Now showing items 131-140 of 195
Effective Automatic Computation Placement and Data Allocation for Parallelization of Regular Programs
(2018-02-15)
Scientific applications that operate on large data sets require huge amount of computation power and memory. These applications are typically run on High Performance Computing (HPC) systems that consist of multiple compute ...
Matching Domain Model with Source Code using Relationships
(2018-01-30)
We address the task of mapping a given domain model (e.g., an industry-standard reference model) for a given domain (e.g., ERP), with the source code of an independently developed application in the same domain. This has ...
Variants and Generalization of Some Classical Problems in Combinatorial Geometry
(2018-02-18)
In this thesis we consider extensions and generalizations of some classical problems
in Combinatorial Geometry. Our work is an offshoot of four classical problems in
Combinatorial Geometry. A fundamental assumption in these ...
Bayes Optimal Feature Selection for Supervised Learning
(2018-02-18)
The problem of feature selection is critical in several areas of machine learning and data analysis such as, for example, cancer classification using gene expression data, text categorization, etc. In this work, we consider ...
Concurrency Analysis and Mining Techniques for APIs
(2018-06-13)
Software components expose Application Programming Interfaces (APIs) as a means to access their functionality, and facilitate reuse. Developers use APIs supplied by programming languages to access the core data structures ...
Integrated Parallel Simulations and Visualization for Large-Scale Weather Applications
(2018-07-28)
The emergence of the exascale era necessitates development of new techniques to efficiently perform high-performance scientific simulations, online data analysis and on-the-fly visualization. Critical applications like ...
Using Explicit State Space Enumeration For Specification Based Regression Testing
(2010-07-08)
Regression testing of an evolving software system may involve significant challenges. While, there would be a requirement of maximising the probability of finding out if the latest changes to the system has broken some ...
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 ...
Learning Algorithms Using Chance-Constrained Programs
(2010-07-08)
This thesis explores Chance-Constrained Programming (CCP) in the context of learning. It is shown that chance-constraint approaches lead to improved algorithms for three important learning problems — classification with ...
Computational Problems In Codes On Graphs
(2009-05-11)
Two standard graph representations for linear codes are the Tanner graph and the tailbiting trellis. Such graph representations allow the decoding problem for a code to be phrased as a computational problem on the corresponding ...

