•    
  • Per Page:
  • Sort By:

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

1

Transition testing of combinational logic networks

Researcher:Bhujade, Moreshwar Ramji
Guide:Isaac, J R
University:Indian Institute of Technology-Bombay
Language:English
2

Replication and placement strategies in complier code optimization

Researcher:Dhamdhere, Dhananjay Madhav
Guide:Isaac, J R
University:Indian Institute of Technology-Bombay
Language:English
3

unified computational model towards the analysis and design of Nand (NOR) logic networks

Researcher:Mudumbi, Srirama Venkatachary
Guide:Isaac, J R
University:Indian Institute of Technology-Bombay
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

Verification of digital systems using linear time temporal logic

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

Problems in computational geometry

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

Proof theory for exception handling in distributed programs

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

Compositional verification of distributed programs

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

Theories and models distributed logic programs

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

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