Search
Now showing items 471-480 of 671
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 ...
Simulation Based Algorithms For Markov Decision Process And Stochastic Optimization
(2010-08-06)
In Chapter 2, we propose several two-timescale simulation-based actor-critic algorithms for solution of infinite horizon Markov Decision Processes (MDPs) with finite state-space under the average cost criterion. On the ...
Recovery From DoS Attacks In MIPv6 : Modelling And Validation
(2010-07-26)
Denial-of-Service (DoS) attacks form a very important category of security threats that are possible in MIPv6 (Mobile Internet Protocol version 6). This thesis proposes a scheme for participants (Mobile Node, Home Agent, ...
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 ...
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 ...
Efficient Compilation Of Stream Programs Onto Multi-cores With Accelerators
(2010-12-30)
Over the past two decades, microprocessor manufacturers have typically relied on wider issue widths and deeper pipelines to obtain performance improvements for single threaded applications. However, in the recent years, ...
Efficient Kernel Methods For Large Scale Classification
(2011-02-22)
Classification algorithms have been widely used in many application domains. Most of these domains deal with massive collection of data and hence demand classification algorithms that scale well with the size of the data ...

