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)
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)
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)
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)
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)
  • 1