IISc Logo    Title

etd AT Indian Institute of Science >
Division of Electrical Sciences >
Computer Science and Automation (csa) >

Search Results


Results 31-40 of 222.

Results/Page  |  Sort items by In order Authors/record

Item hits:

Submitted DateTitleAuthor(s)Thesis Guide(s)
2013Transducer-based Algorithmic Verification of Retransmission Protocols over Noisy ChannelsThakkar, JayKanade, Aditya
2013Identification and Quantification of Important Voids and Pockets in ProteinsRaghavendra, G SNatarajan, Vijay
2013A Theoretical Study of the Synergy and Lazy Annotation AlgorithmsJayaram, SampathD'Souza, Deepak
2013Constructing Provably Secure Identity-Based Signature SchemesChethan Kamath, HChatterjee, Sanjit
2013Improving the Precision of a Scalable Demand-Driven Null- Dereference Verification for JavaMargoor, AmoghRasghavan, K V
2013Investigations on CPI Centric Worst Case Execution Time AnalysisRavindar, ArchanaSrikanth, Y N
2013Construction of Secure and Efficient Private Set Intersection ProtocolKumar, VikasChatterjee, Sanjit
2013Reconstruction of 3D Neuronal StructuresKumar, KanujNatarajan, Vijay
2012Parameterized Complexity of Maximum Edge Coloring in GraphsGoyal, PrachiChandran, Sunil
2014An Optimizing Code Generator for a Class of Lattice-Boltzmann ComputationsPananilath, Irshad MuhammedBondhugula, Uday

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 next


etd@IISc is a joint service of SERC & IISc Library ||
|| Powered by DSpace || Compliant to OAI-PMH V 2.0 and ETD-MS V 1.01