•    
  • Per Page:
  • Sort By:

Search results for ' ' (0.008 seconds ) Total Hits : 53

21

Algorithms for some graph problems on parallel and disturbed computation models

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

Software project resource estmation: An intergrated life cycle methodology

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

Membership algorithms for dependencies in relational databases

Researcher:Ramanan, I V
Guide:Biswas, N N
University:Indian Institute of Science
Language:English
24

Verification of digital systems using linear time temporal logic

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

Problems in computational geometry

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

Proof theory for exception handling in distributed programs

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

Compositional verification of distributed programs

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

Theories and models distributed logic programs

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

Computer methods and models to administer selection of candidates for proffesional courses

Researcher:Chellappan, C
Guide:Natesan, T R
University:Anna University
Language:English
30

On query transactions in distributed relational database management systems

Researcher:Mathur, Jyoti
Guide:Dhyani, Praveen
University:Birla Institute of Technology and Science
Language:English
31

Advanced microcomputer based numerical control systems

Researcher:Ajit, G M
Guide:Sridhar, G M
Sridhar, C S
University:Cochin University of Science and Technology
Language:English
32

On the inadmissible class of faulty functions in logic networks and design for testability in LSI/VLSI

Researcher:Bhattacharyya, Bhargabhikram
University:University of Calcutta
Language:English
33

On the design of easily testable logic networks for detection of stuck-at and bridging faults

Researcher:Gupta, Bidyut
University:University of Calcutta
Language:English
34

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
35

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
36

Description aided recognition of handprinted characters

Researcher:Singh, Harijinder
Guide:Cakravarthy, C V
University:Indian Institute of Science
Language:English
37

Maximum likelihood parameter estimation method for a class of nonlinear system and its applications to problems in flight mechanics

Researcher:Jategaonkar, R V
Guide:Prasad, V R
University:Indian Institute of Science
Language:English
38

Study of blocking properties of three stage close networks

Researcher:Narsimhaswamy, Akkihebbal Kumar
Guide:Kekre, H B
University:Indian Institute of Technology-Bombay
Language:English
39

study of complexity of some optimization and design issues in elational database systems

Researcher:Muthy, B N S A
Guide:Maheshwari, S N
University:Indian Institute of Technology-Delhi
Language:English
40

storage and access method for multidimensional databases

Researcher:Rekha Rani
Guide:Sharma, K D
University:Indian Institute of Technology-Delhi
Language:English