• Per Page:
  • Sort By:

Search results for ' ' (0.005 seconds ) Total Hits : 14

1

Dependency lattices acyclic hypergraphs and relation database scheme design

Researcher:Lakshmanan, V S
Guide:Veni, C Emadhavan
University:Indian Institute of Science
Language:English
2

Petri-net-based techaniques for modeling analysis and performance evalution

Researcher:Narhari, Y
Guide:Viswanadham, N
University:Indian Institute of Science
Language:English
3

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
4

Grammatical inference from postive data: An effective intergrated approach

Researcher:Radhakrishnan, V
Guide:Nagaraja, G
University:Indian Institute of Technology-bombay
Language:English
5

International model: A new approach to database design

Researcher:Divakar, Hemalatha
Guide:Shouri, J C
University:Indian Institute of Technology-delhi
Language:English
6

Algorithms for some graph problems on parallel and disturbed computation models

Researcher:Chaudhary, Pranay
Guide:Ghsoh, Sukumar
University:Jadavpur University
Language:English
7

Software project resource estmation: An intergrated life cycle methodology

Researcher:Tomar, Dinesh Chandra
Guide:Gupta, R G
University:Jawaharlal Nehru University
Language:English
8

Verification of digital systems using linear time temporal logic

Researcher:Gangadharan, Venkatesh
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
9

Problems in computational geometry

Researcher:Ghosh, Subir Kumar
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
10

Proof theory for exception handling in distributed programs

Researcher:Lodaya, Kamal Dhanji
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
11

Compositional verification of distributed programs

Researcher:Pandya, Paritosh Kulin
Guide:Mathai Joseph
University:Tata Institute of Fundamental Research
Language:English
12

Theories and models distributed logic programs

Researcher:Ramanujam, R
Guide:Shyamsundar, R K
University:Tata Institute of Fundamental Research
Language:English
13

some hierarchical data structures based on quad trees

Researcher:Unnikrishanan
Guide:Venkatesh, Y V V
Shankar, Priti
University:Indian Institute of Science
Language:English
14

Dispath algorithms: A synthesis

Researcher:Srivastav, Vijay Shanker Prasad
Guide:Gupta, R G
University:Jawaharlal Nehru University
Language:English