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 1 to 20 of 26
 next >
Issue DateTitleAuthor(s)
2001Apportioning : a technique for efficient reachability analysis of concurrent object-oriented programsIYER, S; RAMESH, S
2003Assertion checking environment (ACE) for formal verification of C programsSHARMA, B; DHODAPKAR, SD; RAMESH, S
2005Automated synthesis of assertion monitors using visual specificationsGADKARI, A; RAMESH, S
1999Communicating reactive state machines : design, model and implementationRAMESH, S
1992A compositional axiomatization of statechartsHOOMAN, JJM; RAMESH, S; DEROEVER, WP
1996A direct characterization of completionRAMESH, S; SRINIVAS, BN
1999Efficient translation of Statecharts to hardware circuitsRAMESH, S
1998Extending statecharts with temporal logicSOWMYA, A; RAMESH, 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
Showing results 1 to 20 of 26
 next >

 

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