Searching for authors named "Sriram Sankar" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Subtyping F-bounded types
- …@(email omitted); (Work in progress with John Mitchell and Sriram Sankar) [ Position paper for the ANSA workshop on F…
- Cited by 4 (1 self) – Add To MetaCart
-
Completely Bounded Quantification is Decidable
- …Completely Bounded Quantification is Decidable Dinesh Katiyar Sriram Sankar Stanford University…
- Cited by 11 (3 self) – Add To MetaCart
-
Specifying and testing software components using ADL
- …Specifying and Testing Software Components using ADL Sriram Sankar Roger Hayes SMLI TR-94-23 April…
- Cited by 23 (0 self) – Add To MetaCart
-
Exploiting Locality in Maintaining Potential Causality
- …Exploiting Locality in Maintaining Potential Causality Sigurd Meldal Sriram Sankar James Vera…
- Cited by 22 (2 self) – Add To MetaCart
-
Sensitivity Based Power Management of Enterprise Storage Systems
- …Sensitivity Based Power Management of Enterprise Storage Systems Sriram Sankar † Sudhanva…
- Add To MetaCart
-
Intra-Disk Parallelism: An Idea Whose Time Has Come
- …Intra-Disk Parallelism: An Idea Whose Time Has Come Sriram Sankar † Sudhanva Gurumurthi † Mircea R…
- Add To MetaCart
-
Sensitivity-Based Optimization of Disk Architecture
- … Sensitivity-Based Optimization of Disk Architecture Sriram Sankar, Yan Zhang, Sudhanva Gurumurthi, Member…
- Add To MetaCart
-
The Anna-I User's Guide and Installation Manual
- … Goyal Chuan-Chieh Ko David Luckham Walter Mann Geoffrey O. Mendal David Rosenblum Sriram Sankar Prakash…
- Add To MetaCart
-
Subtyping, Assignment and Cloning in a Concurrent Object-Oriented Language
- … Dinesh Katiyar y David C. Luckham z Neel Madhav z Sigurd Meldal z Sriram Sankar z Abstract…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 9.
