![]() | ![]() |
| 2011 | ||
|---|---|---|
| 41 | Suparna Bhattacharya, Mangala Gowri Nanda, K. Gopinath, Manish Gupta: Reuse, Recycle to De-bloat Software. ECOOP 2011: 408-432 | |
| 40 | Suparna Bhattacharya, K. Gopinath, Karthick Rajamani, Manish Gupta: Software Bloat and Wasted Joules: Is Modularity a Hurdle to Green Software? IEEE Computer 44(9): 97-101 (2011) | |
| 39 | Lawrence You, Kristal T. Pollack, Darrell D. E. Long, K. Gopinath: PRESIDIO: A Framework for Efficient Archival Data Storage. TOS 7(2): 6 (2011) | |
| 2010 | ||
| 38 | Neeraja J. Yadwadkar, Chiranjib Bhattacharyya, K. Gopinath, Thirumale Niranjan, Sai Susarla: Discovery of Application Workloads from Network File Traces. FAST 2010: 183-196 | |
| 2008 | ||
| 37 | Arul Ganesh, K. Gopinath: SPKI/SDSI certificate chain discovery with generic constraints. Bangalore Compute Conf. 2008: 3 | |
| 36 | L. A. Prashanth, K. Gopinath: OFDM-MAC algorithms and their impact on TCP performance in next generation mobile networks. COMSWARE 2008: 133-140 | |
| 35 | Ganesh M. Narayan, K. Gopinath, Sridhar Varadarajan: Structure and Interpretation of Computer Programs. TASE 2008: 73-80 | |
| 34 | V. Sriram, Ganesh M. Narayan, K. Gopinath: SAFIUS - A secure and accountable filesystem over untrusted storage CoRR abs/0803.2365: (2008) | |
| 33 | Bhargava Kumar K, Ganesh M. Narayan, K. Gopinath: Performance Evaluation of Multiple TCP connections in iSCSI CoRR abs/0803.3338: (2008) | |
| 32 | Ganesh M. Narayan, K. Gopinath, V. Sridhar: Structure and Interpretation of Computer Programs CoRR abs/0803.4025: (2008) | |
| 2007 | ||
| 31 | G. A. Ramanujan, Amit Thawani, V. Sridhar, K. Gopinath: Optimizing multimedia experience in a thin client environment for a resource constrained processor. IWCMC 2007: 659-664 | |
| 30 | Bhargava K. Kancherla, Ganesh M. Narayan, K. Gopinath: Performance Evaluation of Multiple TCP connections in iSCSI. MSST 2007: 239-244 | |
| 29 | Manish C. Kumar, K. Gopinath: Recovery from DoS Attacks in MIPv6: Modeling and Validation. SEFM 2007: 205-214 | |
| 2006 | ||
| 28 | V. H. Gupta, K. Gopinath: An Extended Verifiable Secret Redistribution Protocol for Archival Systems. ARES 2006: 100-107 | |
| 27 | M. C. Dharmadeep, K. Gopinath: Proactive Leader Election in Asynchronous Shared Memory Systems. ATVA 2006: 384-398 | |
| 26 | K. Gopinath: Access control in communication systems. COMSWARE 2006 | |
| 25 | G. Sandhya, K. Gopinath: Design and Analysis of Rate Aware Ad Hoc 802.11 Networks. ICDCN 2006: 409-420 | |
| 24 | Rahul Simha, K. Gopinath: Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival. International Conference on Computational Science (3) 2006: 679-686 | |
| 23 | K. N. Gopinath, Pravin Bhagwat, K. Gopinath: An empirical analysis of heterogeneity in IEEE 802.11 MAC protocol implementations and its implications. WINTECH 2006: 80-87 | |
| 2005 | ||
| 22 | Amitabha Roy, K. Gopinath: Improved Probabilistic Models for 802.11 Protocol Verification. CAV 2005: 239-252 | |
| 21 | Girish Motwani, K. Gopinath: Evaluation of Advanced TCP Stacks in the iSCSI Environment using Simulation Model. MSST 2005: 210-217 | |
| 20 | Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath: Verifying a UMTS Protocol Using Spin and EASN. Electr. Notes Theor. Comput. Sci. 118: 71-85 (2005) | |
| 2004 | ||
| 19 | Ganesh M. Narayan, K. Gopinath: iSAN - An Intelligent Storage Area Network Architecture. HiPC 2004: 262-273 | |
| 18 | Niranjan K. Boora, Chiranjib Bhattacharyya, K. Gopinath: Efficient Algorithms for Intrusion Detection. ICDCIT 2004: 346-352 | |
| 17 | K. Gopinath, Anil K. Pugalia, K. V. M. Naidu: Formal Proof of Impossibility of Reliability in Crashing Protocols. IWDC 2004: 347-352 | |
| 16 | Amitabha Roy, K. Gopinath: Scalable Probabilistic Models for 802.11 Protocol Verification CoRR cs.LO/0403044: (2004) | |
| 2002 | ||
| 15 | K. Gopinath: Register Allocation. The Compiler Design Handbook 2002: 461-534 | |
| 2001 | ||
| 14 | Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen: EASN: Integrating ASN.1 and Model Checking. CAV 2001: 382-386 | |
| 13 | Neeraj Jaggi, K. Gopinath: Verification of a Leader Election Algorithm in Timed Asynchronous Systems. FSTTCS 2001: 207-218 | |
| 12 | Vivek K. Shanbhag, K. Gopinath: A SPIN-Based Model Checker for Telecommunication Protocols. SPIN 2001: 252-271 | |
| 11 | Mansoor Alicherry, K. Gopinath: Predictable Management of System Resources for Linux. USENIX Annual Technical Conference, FREENIX Track 2001: 273-283 | |
| 2000 | ||
| 10 | Nitin Muppalaneni, K. Gopinath: A Multi-Tier RAID Storage System with RAID1 and RAID5. IPDPS 2000: 663-672 | |
| 9 | K. Gopinath, Nitin Muppalaneni, N. Suresh Kumar, Pankaj Risbood: A 3-Tier RAID Storage System with RAID1, RAID5, and Compressed RAID5 for Linux. USENIX Annual Technical Conference, FREENIX Track 2000: 21-34 | |
| 8 | K. Gopinath, M. K. Krishna Narasimhan: Performance of Switch Blocking on Multithreaded Architectures. J. UCS 6(10): 928-947 (2000) | |
| 1999 | ||
| 7 | K. Gopinath, K. S. Nandakumar: Combining Conditional Constant Propagation and Interprocedural Alias Analysis. HiPC 1999: 13-20 | |
| 1998 | ||
| 6 | N. S. Pendharkar, K. Gopinath: Formal Verification of an O. S. Submodule. FSTTCS 1998: 197-208 | |
| 1997 | ||
| 5 | K. Gopinath, R. Seshadri: Alias Analysis for Fortran90 Array Slices. IPPS 1997: 628-632 | |
| 4 | Vivek K. Shanbhag, K. Gopinath: A C++ Simulator Generator from Graphical Specifications. Softw., Pract. Exper. 27(4): 395-423 (1997) | |
| 1994 | ||
| 3 | K. Gopinath, M. K. Krishna Narasimhan, B. H. Lim, A. Agarwal: Performance of Switch Blocking on Multithreaded Architectures. ICPP (1) 1994: 275-284 | |
| 1991 | ||
| 2 | K. Gopinath: Memory Models Compiler Optimizations and P-RISC. ICPP (1) 1991: 680-681 | |
| 1989 | ||
| 1 | K. Gopinath, John L. Hennessy: Copy Elimination in Functional Languages. POPL 1989: 303-314 | |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page