1 | Formal tools for specification driven protocol design of distributed computing systems |
Researcher: | Agrawal, V K |
Guide: | Patnaik, L M |
University: | Indian Institute of Science |
Language: | English |
2 | |
Researcher: | Srikant, Y N |
Guide: | Shankar, Priti |
University: | Indian Institute of Science |
Language: | English |
3 | Dependency lattices acyclic hypergraphs and relation database scheme design |
Researcher: | Lakshmanan, V S |
Guide: | Veni, C Emadhavan |
University: | Indian Institute of Science |
Language: | English |
4 | Petri-net-based techaniques for modeling analysis and performance evalution |
Researcher: | Narhari, Y |
Guide: | Viswanadham, N |
University: | Indian Institute of Science |
Language: | English |
5 | broadcast cube-based multipocesor architecture for solving partial differential equations |
Researcher: | Ram Murty, C Siva |
Guide: | Rajaraman, V |
University: | Indian Institute of Science |
Language: | English |
6 | Membership algorithms for dependencies in relational databases |
Researcher: | Ramanan, I V |
Guide: | Biswas, N N |
University: | Indian Institute of Science |
Language: | English |
7 | On some themes and models in economics with a case study in management |
Researcher: | Balasubramanian, R |
Guide: | Biswas, S K |
University: | Indian Institute of Science |
Language: | English |
8 | Development and implementation of computer based algorithms for natural language processing |
Researcher: | Bhattacharya, S K |
Guide: | Ganesh Sundaram, P C |
University: | Indian Institute of Science |
Language: | English |
9 | |
Researcher: | Singh, Harijinder |
Guide: | Cakravarthy, C V |
University: | Indian Institute of Science |
Language: | English |
10 | |
Researcher: | Jategaonkar, R V |
Guide: | Prasad, V R |
University: | Indian Institute of Science |
Language: | English |
11 | |
Researcher: | Unnikrishanan |
Guide: | Venkatesh, Y V VShankar, Priti |
University: | Indian Institute of Science |
Language: | English |