Technical Reports in 2006
| << 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]