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]