|
|
DSpace at IIT Bombay >
Browsing by Author RAMESH, S
Showing results 6 to 25 of 26
| Issue Date | Title | Author(s) | | 1996 | A direct characterization of completion | RAMESH, S; SRINIVAS, BN |
| 1999 | Efficient translation of Statecharts to hardware circuits | RAMESH, S |
| 1998 | Extending statecharts with temporal logic | SOWMYA, A; RAMESH, S |
| 2001 | Forced simulation: A technique for automating component reuse in embedded systems | ROOP, PS; SOWMYA, A; RAMESH, S |
| 1998 | Formal specification and verification of hardware designs | RAMESH, S; RAO, SSSP; SIVAKUMAR, G; BHADURI, P |
| 1992 | FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMS | RAMESH, S |
| 1999 | Implementation of communicating reactive processes | RAMESH, S |
| 2006 | Interprocedural slicing of multithreaded programs with applications to Java | NANDA, MANGALA GOWRI; RAMESH, 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 |
Showing results 6 to 25 of 26
|
