Searching for authors named "Murali Sitaraman" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Compositional Performance Reasoning
- …; Murali Sitaraman Department of Computer Science Clemson University Clemson, SC 29634, USA +1 864 656 3444…
- Cited by 7 (0 self) – Add To MetaCart
-
Conventional Domain Analysis Limits Reusability
- …Conventional Domain Analysis Limits Reusability* Murali Sitaraman Department of Statistics…
- Add To MetaCart
-
Software Quality Is Inversely Proportional to Potential Local Verification Effort
- … Murali Sitaraman Department of Statistics and Computer Science West Virginia University P. O. Box 6330…
- Cited by 1 (0 self) – Add To MetaCart
-
The RESOLVE Compiler
- …Resolve is a unique specification-implementation language combination designed to promote a modular style of software development. The intent is to allow design and deployment of components that are correct and efficient, easy for clients to understand and reuse, and easy for implementation develope…
- Add To MetaCart
-
Bridging the Gap Between COTS Product Reuse and Formal Methods: A Case Study
- …, including legacy and public domain software, and other nondevelopmental items. Murali Sitaraman Computer…
- Add To MetaCart
-
SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems Workshop at OOPSLA 2001
- … at OOPSLA 2001 Dimitra Giannakopoulou, Gary T. Leavens, and Murali Sitaraman (editors) TR #01-09a October 14…
- Add To MetaCart
-
Profiles: A Compositional Mechanism for Performance Specification
- …, and Murali Sitaraman Technical Report RSRG-04-03 Department of Computer Science 451 Edwards Hall Clemson…
- Cited by 1 (0 self) – Add To MetaCart
-
Direct Reasoning
- … May 2004 Advisor: Dr. Murali Sitaraman To the Graduate School: April 30, 2004 This dissertation…
- Cited by 1 (0 self) – Add To MetaCart
-
WISR8:8 th Annual Workshop on Software Reuse
- … and Integration, led by Murali Sitaraman (West Virginia University) Domain Engineering Tools, led by Bill Frakes…
- Cited by 1 (0 self) – Add To MetaCart
-
W.“Abstracting Pointers for a Verifying Compiler
- …Abstracting Pointers for a Verifying Compiler Greg Kulczycki, Scott Duckworth, Murali Sitaraman…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
