Search
Now showing items 31-40 of 76
Efficient Whole Program Path Tracing
(2018-06-14)
Obtaining an accurate whole program path (WPP) that captures a program’s runtime behaviour in terms of a control-flow trace has a number of well-known benefits, including opportunities for code optimization, bug detection, ...
Game-Theoretic Analysis of Strategic Behaviour in Networks, Crowds and Classrooms
(2018-01-03)
Over the past decade, the explosive growth of the Internet has led to a surge of interest to understand and predict aggregate behavior of large number of people or agents, particularly when they are connected through an ...
Targeted Client Synthesis for Detecting Concurrency Bugs
(2018-01-01)
Detecting concurrency bugs can be challenging due to the intricacies associated with their manifestation. These intricacies correspond to identifying the methods that need to be invoked concurrently, the inputs passed to ...
Consistency of Spectral Algorithms for Hypergraphs under Planted Partition Model
(2018-01-01)
Hypergraph partitioning lies at the heart of a number of problems in machine learning as well as other engineering disciplines. While partitioning uniform hypergraphs is often required in computer vision problems that ...
Symmetry in Scalar Fields
(2018-01-09)
Scalar fields are used to represent physical quantities measured over a domain of interest. Study of symmetric or repeating patterns in scalar fields is important in scientific data analysis because it gives deep insights ...
A Case for Protecting Huge Pages from the Kernel
(2018-01-01)
Modern architectures support multiple size pages to facilitate applications that use large chunks of contiguous memory either for buffer allocation, application specific memory management, in-memory caching or garbage ...
Power Issues in SoCs : Power Aware DFT Architecture and Power Estimation
(2018-01-10)
Test power, data volume, and test time have been long-standing problems for sequential scan based testing of system-on-chip (SoC) design. The modern SoCs fabricated at lower technology nodes are complex in nature, the ...
Morse-Smale Complexes : Computation and Applications
(2018-01-30)
In recent decades, scientific data has become available in increasing sizes and
precision. Therefore techniques to analyze and summarize the ever increasing
datasets are of vital importance. A common form of scientific ...
Designing Energy-Aware Optimization Techniques through Program Behaviour Analysis
(2018-02-18)
Green computing techniques aim to reduce the power foot print of modern embedded devices with particular emphasis on processors, the power hot-spots of these devices. In this thesis we propose compiler-driven and profile-driven ...
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 ...