|
|
DSpace at IIT Bombay >
Browsing by Author RAMESH, S
Showing results 14 to 26 of 26
| Issue Date | Title | Author(s) | | 1983 | THE LIVENESS PROPERTY OF ON-THE-FLY GARBAGE COLLECTOR - A PROOF | RAMESH, S; MEHNDIRATTA, SL |
| 1987 | A METHODOLOGY FOR DEVELOPING DISTRIBUTED PROGRAMS | RAMESH, S; MEHNDIRATTA, SL |
| 1987 | A NEW AND EFFICIENT IMPLEMENTATION OF MULTIPROCESS SYNCHRONIZATION | RAMESH, S |
| 1985 | A NEW CLASS OF HIGH-LEVEL PROGRAMS FOR DISTRIBUTED COMPUTING SYSTEMS | RAMESH, S; MEHNDIRATTA, SL |
| 1990 | ON THE COMPLETENESS OF MODULAR PROOF SYSTEMS | RAMESH, S |
| 2003 | Pointer analysis of multithreaded Java programs | NANDA, MANGALA GOWRI; RAMESH, S |
| 2003 | Static slicing of reactive programs | KULKARNI, AR; RAMESH, S |
| 2004 | Synchronous protocol automata : a framework for. modelling and verification of SoC communication architectures | D'SILVA, V; RAMESH, S; SOWMYA, A |
| 2005 | Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures | D'SILVA, V; RAMESH, S; SOWMYA, A |
| 2004 | Tabled logic programming based IP matching tool using forced simulation | ROOP, PS; SOWMYA, A; RAMESH, S; GUO, HF |
| 2004 | A toolset for modelling and verification of GALS systems | RAMESH, S; SONALKAR, S; D'SILVA, V; CHANDRA, N; VIJAYALAKSHMI, B |
| 1997 | A tool-suite for reachability analysis of concurrent object-oriented programs | IYER, SRIDHAR; RAMESH, S |
| 2003 | Visual modeling and verification of distributed reactive systems | IQBAL, A; BHATTACHARJEE, AK; DHODAPKAR, SD; RAMESH, S |
Showing results 14 to 26 of 26
|
