Venkatesh Kannan

Learn More
We apply three different modeling frameworks — timed au-tomata (Uppaal), colored Petri nets and synchronous data flow — to model a challenging industrial case study that involves an existing state-of-the-art image processing pipeline. Each of the resulting models is used to derive schedules for multiple concurrent jobs in the presence of limited resources(More)
Programs that operate over recursive data structures may contain potential parallel computations. Writing parallel programs, even when aided by parallel skeletons, is very challenging, requires intricate analysis of the underlying algorithm and often uses inefficient intermediate data structures. Very few automated parallelisation methods that address a(More)
This paper reports on a challenging case study conducted in the context of the Octopus project where CPN Tools is used to model and analyze the embedded system of digital document printer. Modeling the dynamic behavior of such systems in a predictable way is a major challenge. In this paper, we present the approach where colored Petri nets are used to model(More)
Algorithmic skeletons are used as building-blocks to ease the task of parallel programming by abstracting the details of parallel implementation from the developer. Most existing libraries provide implementations of skeletons that are defined over flat data types such as lists or arrays. However, skeleton-based parallel programming is still very challenging(More)
The challenges thrown by wireless sensor networks (WSNs) are unique given their delicate architecture and scant resources. Even though security for wireless networks has been a widely researched area for many decades, security for WSNs is still a major roadblock for their efficiency and performance. This is due to the tussle of how much resources can be(More)
Energy efficiency is an important aspect of future exascale systems, mainly due to rising energy cost. Although High performance computing (HPC) applications are compute centric, they still exhibit varying computational characteristics in different regions of the program, such as compute-, memory-, and I/O-bound code regions. Some of today’s clusters(More)
Unidirectional laminated composites exhibit excellent in-plane properties, but poor inter-laminar properties, as there are no reinforcements in the thickness direction. This leads to poor damage tolerance and impact resistance when inter-laminar stresses are present. To overcome these problems, plain weave fabrics are used as reinforcements in composites in(More)
It can be challenging to use algorithmic skeletons in parallel program development as it is tedious to manually identify parallel computations in an algorithm and there may be mismatches between the algorithm and skeletons. Also, parallel programs defined using skeletons often employ inefficient intermediate data structures. In this paper, we present a(More)
Large size and high quality single crystals of organic nonlinear optical material Piperidinium p-Hydroxybenzoate (PDPHB) have been grown by solution growth method. This crystal belongs to monoclinic system with a noncentrosymmetric space group of Cc. To confirm its structure and compositions this material was subjected to single and powder X-ray diffraction(More)
We have developed two techniques for time-resolved x-ray diffraction from bulk polycrystalline materials during dynamic loading. In the first technique, we synchronize a fast detector with loading of samples at strain rates of ~10(3)-10(4) s(-1) in a compression Kolsky bar (split Hopkinson pressure bar) apparatus to obtain in situ diffraction patterns with(More)
  • 1