Browsing Computer Science and Automation (CSA) by Title
Now showing items 262281 of 354

An Optimizing Code Generator for a Class of LatticeBoltzmann Computations
(20180309)LatticeBoltzmann method(LBM), a promising new particlebased simulation technique for complex and multiscale fluid flows, has seen tremendous adoption in recent years in computational fluid dynamics. Even with a ... 
Optimizing Dense Matrix Computations with PolyMage
Linear algebra computations and other arbitrary affine accesses are ubiquitous in applications from domains like scientific computing, digital signal processing (DSP), and deep neural networks. Libraries such as OpenBLAS, ... 
Outlier Detection with Applications in Graph Data Mining
(20180424)Outlier detection is an important data mining task due to its applicability in many contemporary applications such as fraud detection and anomaly detection in networks, etc. It assumes significance due to the general ... 
P3 : An Effective Technique for Partitioned Path Profiling
Acyclic path profile is an abstraction of dynamic control flow paths of procedures and has been found to be useful in a wide spectrum of activities. Unfortunately, the runtime overhead of obtaining such a profile can be ... 
A Parallelizing Compiler for Fortran
(Indian Institute of Science, 20050309)With the advent of Distributed Memory Machines (DMMs) numerous work have been undertaken to ease the work of a programmer these systems. Data parallel languages like Fortran D, Vienna Fortran, High Performance Fortran and ... 
Parameterized Complexity of Maximum Edge Coloring in Graphs
(20180309)The classical graph edge coloring problem deals in coloring the edges of a given graph with minimum number of colors such that no two adjacent edges in the graph, get the same color in the proposed coloring. In the following ... 
Performance Characterization and Optimizations of Traditional ML Applications
Even in the era of Deep Learning based methods, traditional machine learning methods with large data sets continue to attract significant attention. However, we find an apparent lack of a detailed performance characterization ... 
Petri Net Model Based Energy Optimization Of Programs Using Dynamic Voltage And Frequency Scaling
(20130529)High power dissipation and onchip temperature limit performance and affect reliability in modern microprocessors. For servers and data centers, they determine the cooling cost, whereas for handheld and mobile systems, ... 
Plan Bouquets : An Exploratory Approach to Robust Query Processing
(20170926)Over the last four decades, relational database systems, with their mathematical basis in firstorder logic, have provided a congenial and efficient environment to handle enterprise data during its entire life cycle of ... 
Polymage : Automatic Optimization for Image Processing Pipelines
(20180625)Image processing pipelines are ubiquitous. Every image captured by a camera and every image uploaded on social networks like Google+or Facebook is processed by a pipeline. Applications in a wide range of domains like ... 
Power Efficient Last Level Cache For Chip Multiprocessors
(20150909)The number of processor cores and onchip cache size has been increasing on chip multiprocessors (CMPs). As a result, leakage power dissipated in the onchip cache has become very significant. We explore various techniques ... 
Power Issues in SoCs : Power Aware DFT Architecture and Power Estimation
(20180110)Test power, data volume, and test time have been longstanding problems for sequential scan based testing of systemonchip (SoC) design. The modern SoCs fabricated at lower technology nodes are complex in nature, the ... 
Practically Efficient Secure Small Party Computation over the Internet
Secure Multiparty Computation (MPC) with small population has drawn focus specifically due to customization in techniques and resulting efficiency that the constructions can offer. Practically efficient constructions ... 
Precise Analysis of Private And Shared Caches for Tight WCET Estimates
(20171031)Worst Case Execution Time (WCET) is an important metric for programs running on realtime systems, and finding precise estimates of a program’s WCET is crucial to avoid overallocation and wastage of hardware resources and ... 
Problems on bendnumber, circular separation dimension and maximum edge 2colouring
Representation of graphs as the intersection graphs of geometric objects has a long history. The objective is to a nd a collection of \simple" sets S such that a given graph G is its intersection graph. We are interested ... 
Procurement Network Formation : A Cooperative Game Theoretic Approach
(20090416)Complex economic activity often involves interrelationships at several levels of production, often referred to as supply chains or procurement networks. In this thesis we address the problem of forming procurement networks ... 
Program Analyses to Support Memorysaving Refactorings in Java Programs
Software commonly consumes unexpectedly high amounts of memory, frequently due to programming idioms that are used to make software more reliable, maintainable and understandable. In the case of modern objectoriented ... 
Program Repair by Automated Generation of Hints
Programming has become an important skill in today's technologydriven world. It is a complex activity because of which programmers make mistakes in their software. Student programmers make mistakes in their programs due ...