The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. K. Gopinath, John L. Hennessy
    Copy Elimination in Functional Languages. [Citation Graph (1, 0)][DBLP]
    POPL, 1989, pp:303-314 [Conf]
  2. 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]
  3. M. C. Dharmadeep, K. Gopinath
    Proactive Leader Election in Asynchronous Shared Memory Systems. [Citation Graph (0, 0)][DBLP]
    ATVA, 2006, pp:384-398 [Conf]
  4. Amitabha Roy 0002, K. Gopinath
    Improved Probabilistic Models for 802.11 Protocol Verification. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:239-252 [Conf]
  5. 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]
  6. K. Gopinath
    Access control in communication systems. [Citation Graph (0, 0)][DBLP]
    COMSWARE, 2006, pp:- [Conf]
  7. 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]
  8. N. S. Pendharkar, K. Gopinath
    Formal Verification of an O. S. Submodule. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1998, pp:197-208 [Conf]
  9. K. Gopinath, K. S. Nandakumar
    Combining Conditional Constant Propagation and Interprocedural Alias Analysis. [Citation Graph (0, 0)][DBLP]
    HiPC, 1999, pp:13-20 [Conf]
  10. Ganesh M. Narayan, K. Gopinath
    iSAN - An Intelligent Storage Area Network Architecture. [Citation Graph (0, 0)][DBLP]
    HiPC, 2004, pp:262-273 [Conf]
  11. 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]
  12. Niranjan K. Boora, Chiranjib Bhattacharyya, K. Gopinath
    Efficient Algorithms for Intrusion Detection. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:346-352 [Conf]
  13. K. Gopinath
    Memory Models Compiler Optimizations and P-RISC. [Citation Graph (0, 0)][DBLP]
    ICPP (1), 1991, pp:680-681 [Conf]
  14. 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]
  15. K. Gopinath, R. Seshadri
    Alias Analysis for Fortran90 Array Slices. [Citation Graph (0, 0)][DBLP]
    IPPS, 1997, pp:628-632 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. Vivek K. Shanbhag, K. Gopinath
    A SPIN-Based Model Checker for Telecommunication Protocols. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:252-271 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]

  29. OFDM-MAC algorithms and their impact on TCP performance in next generation mobile networks. [Citation Graph (, )][DBLP]


  30. Discovery of Application Workloads from Network File Traces. [Citation Graph (, )][DBLP]


  31. An empirical analysis of heterogeneity in IEEE 802.11 MAC protocol implementations and its implications. [Citation Graph (, )][DBLP]


  32. Recovery from DoS Attacks in MIPv6: Modeling and Validation. [Citation Graph (, )][DBLP]


  33. Structure and Interpretation of Computer Programs. [Citation Graph (, )][DBLP]


  34. SPKI/SDSI certificate chain discovery with generic constraints. [Citation Graph (, )][DBLP]


  35. SAFIUS - A secure and accountable filesystem over untrusted storage [Citation Graph (, )][DBLP]


  36. Performance Evaluation of Multiple TCP connections in iSCSI [Citation Graph (, )][DBLP]


  37. Structure and Interpretation of Computer Programs [Citation Graph (, )][DBLP]


Search in 0.146secs, Finished in 0.148secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002