| << 2005 | 2006 | 2007 >> | TR Main |

- [2006-1]
- An Adaptive, Energy-efficient Object Cache Architecture
*S.S. Shekhar, Y.N. Srikant* - [2006-2]
- Computing Complete Test Graphs for Hierarchical Systems
*Deepak D'Souza and Madhu Gopinathan* - [2006-3]
- Specification Based Regression Testing Using Explicit State Space Enumeration
*Sujit Kumar Chakraborti and Y.N. Srikant* - [2006-4]
- A Combinatorial Family of LDPC Codes
*K. Murali Krishnan, L. Sunil Chandran, Priti Shankar* - [2006-5]
- On the expressiveness of MTL with past operators
*Pavithra Prabhakar and Deepak D'Souza* - [2006-6]
- Compiler-Assisted Leakage Energy Optimization for Clustered VLIW Architectures
*Rahul Nagpal and Y N Srikant* - [2006-7]
- On continuous timed automata with input-determined guards
*Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar* - [2006-8]
- SPSA Algorithms with Measurement Reuse
*Mohammed Shahid Abdulla and Shalabh Bhatnagar* - [2006-9]
- A Randomized Algorithm for Large Scale SVM classification
*S. Krishnan C. Bhattacharyya R. Hariharan* - [2006-10]
- Field Flow Sensitive Pointer and Escape Analysis for Java as Logic Programs Using SSA
*Prakash Prabhu and Priti Shankar* - [2006-11]
- Flattening Metric Temporal Logic
*Deepak D'Souza, Raj Mohan M. and Pavithra Prabhakar* - [2006-12]
- Partial Flow Sensitivity
*Subhajit Roy and Y.N. Srikant* - [2006-13]
- Computing the Stopping Distance of a Tanner Graph is NP-hard
*K. Murali Krishnan and Priti Shankar*

| << 2005 | 2006 | 2007 >> | TR Main |

Problems ? Contact techrep@csa.iisc.ernet.in

Valid HTML 4.01! [Updated at 2009-10-22T06:42Z]