|
СТ |
Rigorous Testing by Merging Structural and Behavioral UML Representations |
2003 |
Pilskalns O., Andrews A., Ghosh S., France R. |
|
|
|
Lecture Notes in Computer Science |
29.11.2003 |
|
СТ |
Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience |
2003 |
Ghosh S., Kanhere A., Krishnaiyer R., Kulkarni D., Li W., Lim C. -C., Ng J. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
|
СТ |
Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity |
1998 |
Ghosh S., Martonosi M., Malik S. |
|
|
|
Operating Systems Review |
29.01.1999 |
|
СТ |
Mining System Tests to Aid Software Maintenance |
1998 |
Agrawal H., Alberi J. L., Horgan J. R., Li J. J., London S., Wong W. E., Ghosh S., Wilde N. |
|
|
|
Computer |
25.08.1998 |
|
СТ |
Paraconsistency and Beyond: A New Approach to Inconsistency Handling |
1994 |
Ghosh S. |
|
|
|
Lecture Notes in Artificial Intelligence |
16.11.1994 |
|
СТ |
An Alternative Solution to a Problem on Self-Stabilization |
1993 |
Ghosh S. |
|
|
|
ACM Trans. Programming Languages and Systems |
25.11.1993 |
