DSpace
 

DSpace at IIT Bombay >

Browsing by Author RAMESH, S

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 9 to 26 of 26
< previous 
Issue DateTitleAuthor(s)
2001Forced simulation: A technique for automating component reuse in embedded systemsROOP, PS; SOWMYA, A; RAMESH, S
1998Formal specification and verification of hardware designsRAMESH, S; RAO, SSSP; SIVAKUMAR, G; BHADURI, P
1992FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMSRAMESH, S
1999Implementation of communicating reactive processesRAMESH, S
2006Interprocedural slicing of multithreaded programs with applications to JavaNANDA, MANGALA GOWRI; RAMESH, S
1983THE LIVENESS PROPERTY OF ON-THE-FLY GARBAGE COLLECTOR - A PROOFRAMESH, S; MEHNDIRATTA, SL
1987A METHODOLOGY FOR DEVELOPING DISTRIBUTED PROGRAMSRAMESH, S; MEHNDIRATTA, SL
1987A NEW AND EFFICIENT IMPLEMENTATION OF MULTIPROCESS SYNCHRONIZATIONRAMESH, S
1985A NEW CLASS OF HIGH-LEVEL PROGRAMS FOR DISTRIBUTED COMPUTING SYSTEMSRAMESH, S; MEHNDIRATTA, SL
1990ON THE COMPLETENESS OF MODULAR PROOF SYSTEMSRAMESH, S
2003Pointer analysis of multithreaded Java programsNANDA, MANGALA GOWRI; RAMESH, S
2003Static slicing of reactive programsKULKARNI, AR; RAMESH, S
2004Synchronous protocol automata : a framework for. modelling and verification of SoC communication architecturesD'SILVA, V; RAMESH, S; SOWMYA, A
2005Synchronous protocol automata: a framework for modelling and verification of SoC communication architecturesD'SILVA, V; RAMESH, S; SOWMYA, A
2004Tabled logic programming based IP matching tool using forced simulationROOP, PS; SOWMYA, A; RAMESH, S; GUO, HF
2004A toolset for modelling and verification of GALS systemsRAMESH, S; SONALKAR, S; D'SILVA, V; CHANDRA, N; VIJAYALAKSHMI, B
1997A tool-suite for reachability analysis of concurrent object-oriented programsIYER, SRIDHAR; RAMESH, S
2003Visual modeling and verification of distributed reactive systemsIQBAL, A; BHATTACHARJEE, AK; DHODAPKAR, SD; RAMESH, S
Showing results 9 to 26 of 26
< previous 

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback