SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

K. Gopinath: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

K. Gopinath, John L. Hennessy
Copy Elimination in Functional Languages. [Citation Graph (1, 0)][DBLP]
POPL, 1989, pp:303-314 [Conf]
V. H. Gupta, K. Gopinath
An Extended Verifiable Secret Redistribution Protocol for Archival Systems. [Citation Graph (0, 0)][DBLP]
ARES, 2006, pp:100-107 [Conf]
M. C. Dharmadeep, K. Gopinath
Proactive Leader Election in Asynchronous Shared Memory Systems. [Citation Graph (0, 0)][DBLP]
ATVA, 2006, pp:384-398 [Conf]
Amitabha Roy 0002, K. Gopinath
Improved Probabilistic Models for 802.11 Protocol Verification. [Citation Graph (0, 0)][DBLP]
CAV, 2005, pp:239-252 [Conf]
Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen
EASN: Integrating ASN.1 and Model Checking. [Citation Graph (0, 0)][DBLP]
CAV, 2001, pp:382-386 [Conf]
K. Gopinath
Access control in communication systems. [Citation Graph (0, 0)][DBLP]
COMSWARE, 2006, pp:- [Conf]
Neeraj Jaggi, K. Gopinath
Verification of a Leader Election Algorithm in Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
FSTTCS, 2001, pp:207-218 [Conf]
N. S. Pendharkar, K. Gopinath
Formal Verification of an O. S. Submodule. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1998, pp:197-208 [Conf]
K. Gopinath, K. S. Nandakumar
Combining Conditional Constant Propagation and Interprocedural Alias Analysis. [Citation Graph (0, 0)][DBLP]
HiPC, 1999, pp:13-20 [Conf]
Ganesh M. Narayan, K. Gopinath
iSAN - An Intelligent Storage Area Network Architecture. [Citation Graph (0, 0)][DBLP]
HiPC, 2004, pp:262-273 [Conf]
Rahul Simha, K. Gopinath
Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival. [Citation Graph (0, 0)][DBLP]
International Conference on Computational Science (3), 2006, pp:679-686 [Conf]
Niranjan K. Boora, Chiranjib Bhattacharyya, K. Gopinath
Efficient Algorithms for Intrusion Detection. [Citation Graph (0, 0)][DBLP]
ICDCIT, 2004, pp:346-352 [Conf]
K. Gopinath
Memory Models Compiler Optimizations and P-RISC. [Citation Graph (0, 0)][DBLP]
ICPP (1), 1991, pp:680-681 [Conf]
K. Gopinath, M. K. Krishna Narasimhan, B. H. Lim, A. Agarwal
Performance of Switch Blocking on Multithreaded Architectures. [Citation Graph (0, 0)][DBLP]
ICPP (1), 1994, pp:275-284 [Conf]
K. Gopinath, R. Seshadri
Alias Analysis for Fortran90 Array Slices. [Citation Graph (0, 0)][DBLP]
IPPS, 1997, pp:628-632 [Conf]
Nitin Muppalaneni, K. Gopinath
A Multi-Tier RAID Storage System with RAID1 and RAID5. [Citation Graph (0, 0)][DBLP]
IPDPS, 2000, pp:663-672 [Conf]
K. Gopinath, Anil K. Pugalia, K. V. M. Naidu
Formal Proof of Impossibility of Reliability in Crashing Protocols. [Citation Graph (0, 0)][DBLP]
IWDC, 2004, pp:347-352 [Conf]
Girish Motwani, K. Gopinath
Evaluation of Advanced TCP Stacks in the iSCSI Environment using Simulation Model. [Citation Graph (0, 0)][DBLP]
MSST, 2005, pp:210-217 [Conf]
Vivek K. Shanbhag, K. Gopinath
A SPIN-Based Model Checker for Telecommunication Protocols. [Citation Graph (0, 0)][DBLP]
SPIN, 2001, pp:252-271 [Conf]
Mansoor Alicherry, K. Gopinath
Predictable Management of System Resources for Linux. [Citation Graph (0, 0)][DBLP]
USENIX Annual Technical Conference, FREENIX Track, 2001, pp:273-283 [Conf]
K. Gopinath, Nitin Muppalaneni, N. Suresh Kumar, Pankaj Risbood
A 3-Tier RAID Storage System with RAID1, RAID5, and Compressed RAID5 for Linux. [Citation Graph (0, 0)][DBLP]
USENIX Annual Technical Conference, FREENIX Track, 2000, pp:21-34 [Conf]
G. Sandhya, K. Gopinath
Design and Analysis of Rate Aware Ad Hoc 802.11 Networks. [Citation Graph (0, 0)][DBLP]
ICDCN, 2006, pp:409-420 [Conf]
Amitabha Roy 0002, K. Gopinath
Scalable Probabilistic Models for 802.11 Protocol Verification [Citation Graph (0, 0)][DBLP]
CoRR, 2004, v:0, n:, pp:- [Journal]
Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath
Verifying a UMTS Protocol Using Spin and EASN. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:118, n:, pp:71-85 [Journal]
K. Gopinath, M. K. Krishna Narasimhan
Performance of Switch Blocking on Multithreaded Architectures. [Citation Graph (0, 0)][DBLP]
J. UCS, 2000, v:6, n:10, pp:928-947 [Journal]
Vivek K. Shanbhag, K. Gopinath
A C++ Simulator Generator from Graphical Specifications. [Citation Graph (0, 0)][DBLP]
Softw., Pract. Exper., 1997, v:27, n:4, pp:395-423 [Journal]
Bhargava K. Kancherla, Ganesh M. Narayan, K. Gopinath
Performance Evaluation of Multiple TCP connections in iSCSI. [Citation Graph (0, 0)][DBLP]
MSST, 2007, pp:239-244 [Conf]
G. A. Ramanujan, Amit Thawani, V. Sridhar, K. Gopinath
Optimizing multimedia experience in a thin client environment for a resource constrained processor. [Citation Graph (0, 0)][DBLP]
IWCMC, 2007, pp:659-664 [Conf]
OFDM-MAC algorithms and their impact on TCP performance in next generation mobile networks. [Citation Graph (, )][DBLP]
Discovery of Application Workloads from Network File Traces. [Citation Graph (, )][DBLP]
An empirical analysis of heterogeneity in IEEE 802.11 MAC protocol implementations and its implications. [Citation Graph (, )][DBLP]
Recovery from DoS Attacks in MIPv6: Modeling and Validation. [Citation Graph (, )][DBLP]
Structure and Interpretation of Computer Programs. [Citation Graph (, )][DBLP]
SPKI/SDSI certificate chain discovery with generic constraints. [Citation Graph (, )][DBLP]
SAFIUS - A secure and accountable filesystem over untrusted storage [Citation Graph (, )][DBLP]
Performance Evaluation of Multiple TCP connections in iSCSI [Citation Graph (, )][DBLP]
Structure and Interpretation of Computer Programs [Citation Graph (, )][DBLP]

Search in 0.033secs, Finished in 0.034secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP