Student |
Title |
Arnab De | Automatic Predicate Abstraction of Single-Threaded Java Programs
|
Debmalya Panigraphi | Fast Algorithms in Graph Connectivity
|
Sqn. Ldr. R. Kumar (Defence) | Clock Synchronization in Wireless Sensor Networks
|
Anand S | Journaling and Tagged Flash File System
|
Subhasree (QIP) | Decision Procedures for Constraint Temporal Logic
|
Akinapelli Sandeep | Online Construction of Search-Friendly Persistent Suffix-tree Layouts
|
Ropeesh S | Security Analysis of an Archival Storage Protocol
|
Krishnan Suresh Kumar | A Randomized Algorithm for Large Scale Almost Linearly Separable Classification Problems with Applications to Text
|
Bayapuneni V K Chaitanya | Unmodified Linux Device Driver Reuse on L4
|
Gottipati Naveen Kumar | Distributed Simulation of Semiconductor Manufacturing Systems
|
Vaghela Sanjaykumar Ishvarbhai | Fast Algorithms for RNA Secondary Structure Prediction
|
K. Karthik | Fast, Language Independent, Handwriting Recognition Algorithms for Handheld Devices
|
Manikantan R | Performance Enhancement Schemes for Supercsalar Processors : Exploiting Narrow Width Results and Limited Prefetching
|
Keyur Kumar V Faldu | Efficient and Scalable Tagged Flash File System
|
Prakash Prabhu J | Field Flow Sensitive Pointer and Escape Analysis for Java as Logic Programs using SSA
|
Muralidhar (QIP) | Performance Analysis of 3G-WLAN Multimode System
|
Prateem Mandal | A Persistent SEMEQUAL Operator
|
Kalyana Chakravarthi M | N E C T A R : Nash Equilibria CompuTAtion Resource
|
Vineet Kumar Chugh | Development of Ontology for Fault Diagnosis in Southern Power Grid of India
|