#### Filter Results:

- Full text PDF available (6)

#### Publication Year

2003

2016

- This year (0)
- Last 5 years (5)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Uday Bondhugula, Aravind Acharya, Albert Cohen
- ACM Trans. Program. Lang. Syst.
- 2016

Affine transformations have proven to be powerful for loop restructuring due to their ability to model a very wide range of transformations. A single multidimensional affine function can represent a long and complex sequence of simpler transformations. Existing affine transformation frameworks such as the Pluto algorithm, which include a cost function forâ€¦ (More)

- Aravind Acharya, Uday Bondhugula
- PPOPP
- 2015

Affine transformations have proven to be very powerful for loop restructuring due to their ability to model a very wide range of transformations. A single multi-dimensional affine function can represent a long and complex sequence of simpler transformations. Existing affine transformation frameworks like the Pluto algorithm, that include a cost function forâ€¦ (More)

- Deblina Maiti, Manomoy Chakraborty, Aravind Acharya, Amit Konar
- 2008 11th International Conference on Computerâ€¦
- 2008

The self-tuning regulators form an important sub-class of adaptive controllers. This paper introduces a novel scheme for designing a fractional order self-tuning regulator. Original designs for all the sub-modules of the self-tuning regulator are proposed. The particle swarm optimization algorithm is utilized for online identification of the parameters ofâ€¦ (More)

The Lattice-Boltzmann method (LBM), a promising new particle-based simulation technique for complex and multiscale fluid flows, has seen tremendous adoption in recent years in computational fluid dynamics. Even with a state-of-the-art LBM solver such as Palabos, a user has to still manually write the program using library-supplied primitives. We propose anâ€¦ (More)

- Aravind Acharya, K. K. Chattopadhyay, Deblina Maiti, Amit Konar
- 2008 11th International Conference on Computerâ€¦
- 2008

The paper presents a novel and efficient method of regular geometric shape detection from gray scale images. Artificial ant based methods have not been used much in the field of image processing. This paper demonstrates how artificial ants can be used effectively to extract regular geometric shapes from images. We propose here ant regeneration andâ€¦ (More)

- Deblina Maiti, Aravind Acharya, Manomoy Chakraborty, Amit Konar, Ramadoss Janarthanan
- 2008 4th International Conference on Informationâ€¦
- 2008

Particle swarm optimization (PSO) is extensively used for real parameter optimization in diverse fields of study. This paper describes an application of PSO to the problem of designing a fractional-order proportional-integral-derivative (PI<sup>lambda</sup>D<sup>delta</sup>) controller whose parameters comprise proportionality constant, integral constant,â€¦ (More)

Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking liveness properties in counter systems. We propose two semi decision techniques towards this, both of which return a formula that encodes the set of reachable states of the system that satisfy a givenâ€¦ (More)

- Laxmikant V. KalÃ©, Robert Haber, +12 authors Miland A. Bhandarkar
- 2003

We present an efficient parallel implementation of the Spacetime Discontinuous Galerkin method for hyperbolic problems. In particular, we are interested in parallel implementations of direct element-by-element or patch-by-patch solution techniques that are possible on spacetime meshes that conform to an appropriate causality cone constraint [1]. We considerâ€¦ (More)

- K. Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
- ArXiv
- 2013

Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal properties of counter systems. We first focus on checking liveness properties only, and propose two semi decision techniques for these properties. Both these techniques return a formula that encodesâ€¦ (More)

- Aravind Acharya, Anubhab Banerjee, K. K. Chattopadhyay
- TENCON 2008 - 2008 IEEE Region 10 Conference
- 2008

The paper presents a novel concept of improving the convergence speed and solution quality of particle swarm optimization algorithm by Lyapunov modeling of fitness function. Most of the fitness functions that appear in practice can be transformed into positive definite function by using some minor transformations and shifting the coordinates system in theâ€¦ (More)

- â€¹
- 1
- â€º