| The READEX formalism for automatic tuning for energy efficiency J Schuchart, M Gerndt, PG Kjeldsberg, M Lysaght, D Horák, L Říha, ... Computing, 1-19, 2017 | 41 | 2017 |
| Formal modeling and scheduling of datapaths of digital document printers G Igna, V Kannan, Y Yang, T Basten, M Geilen, F Vaandrager, ... International Conference on Formal Modeling and Analysis of Timed Systems …, 2008 | 26 | 2008 |
| A high performance, parallel IP lookup technique using distributed memory organization K Venkatesh, S Aravind, R Ganapath Ram, T Srinivasan Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004 …, 2004 | 10 | 2004 |
| A Resource Perspective to Wireless Sensor Network Security V Kannan, S Ahmed Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2011 …, 2011 | 8 | 2011 |
| Formal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers V Kannan, WMP van der Aalst, M Voorhoeve Proceedings of the Ninth Workshop on the Practical Use of Coloured Petri …, 2010 | 6 | 2010 |
| Program Transformation to Identify Parallel Skeletons V Kannan, GW Hamilton Parallel, Distributed, and Network-Based Processing (PDP), 2016 24th …, 2016 | 5 | 2016 |
| Extracting Data Parallel Computations from Distilled Programs V Kannan, GW Hamilton Fourth International Valentin Turchin Workshop on Metacomputa-tion …, 2014 | 3 | 2014 |
| Program Transformation to Identify List-Based Parallel Skeletons V Kannan, GW Hamilton arXiv preprint arXiv:1607.02229, 2016 | 2 | 2016 |
| Datapath architecture simulation V Kannan, L Somers, M Voorhoeve | 2 | 2009 |
| Transformation of functional programs for identification of parallel skeletons V Kannan Dublin City University, 2017 | 1 | 2017 |
| Functional Program Transformation for Parallelisation Using Skeletons V Kannan, GW Hamilton International Journal of Parallel Programming, 1-21, 2017 | | 2017 |
| Distilling new data types V Kannan, GW Hamilton | | 2016 |
