dblp.uni-trier.dewww.uni-trier.de

K. Gopinath

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
37EEArul Ganesh, K. Gopinath: SPKI/SDSI certificate chain discovery with generic constraints. Bangalore Compute Conf. 2008: 3
36EEL. A. Prashanth, K. Gopinath: OFDM-MAC algorithms and their impact on TCP performance in next generation mobile networks. COMSWARE 2008: 133-140
35EEGanesh M. Narayan, K. Gopinath, Sridhar Varadarajan: Structure and Interpretation of Computer Programs. TASE 2008: 73-80
34EEV. Sriram, Ganesh M. Narayan, K. Gopinath: SAFIUS - A secure and accountable filesystem over untrusted storage CoRR abs/0803.2365: (2008)
33EEBhargava Kumar K, Ganesh M. Narayan, K. Gopinath: Performance Evaluation of Multiple TCP connections in iSCSI CoRR abs/0803.3338: (2008)
32EEGanesh M. Narayan, K. Gopinath, V. Sridhar: Structure and Interpretation of Computer Programs CoRR abs/0803.4025: (2008)
2007
31EEG. 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
30EEBhargava K. Kancherla, Ganesh M. Narayan, K. Gopinath: Performance Evaluation of Multiple TCP connections in iSCSI. MSST 2007: 239-244
29EEManish C. Kumar, K. Gopinath: Recovery from DoS Attacks in MIPv6: Modeling and Validation. SEFM 2007: 205-214
2006
28EEV. H. Gupta, K. Gopinath: An Extended Verifiable Secret Redistribution Protocol for Archival Systems. ARES 2006: 100-107
27EEM. 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
25EEG. Sandhya, K. Gopinath: Design and Analysis of Rate Aware Ad Hoc 802.11 Networks. ICDCN 2006: 409-420
24EERahul Simha, K. Gopinath: Insurable Storage Services: Creating a Marketplace for Long-Term Document Archival. International Conference on Computational Science (3) 2006: 679-686
23EEK. 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
22EEAmitabha Roy, K. Gopinath: Improved Probabilistic Models for 802.11 Protocol Verification. CAV 2005: 239-252
21EEGirish Motwani, K. Gopinath: Evaluation of Advanced TCP Stacks in the iSCSI Environment using Simulation Model. MSST 2005: 210-217
20EEMatti Luukkainen, Vivek K. Shanbhag, K. Gopinath: Verifying a UMTS Protocol Using Spin and EASN. Electr. Notes Theor. Comput. Sci. 118: 71-85 (2005)
2004
19EEGanesh M. Narayan, K. Gopinath: iSAN - An Intelligent Storage Area Network Architecture. HiPC 2004: 262-273
18EENiranjan K. Boora, Chiranjib Bhattacharyya, K. Gopinath: Efficient Algorithms for Intrusion Detection. ICDCIT 2004: 346-352
17EEK. Gopinath, Anil K. Pugalia, K. V. M. Naidu: Formal Proof of Impossibility of Reliability in Crashing Protocols. IWDC 2004: 347-352
16EEAmitabha 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
14EEVivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen: EASN: Integrating ASN.1 and Model Checking. CAV 2001: 382-386
13EENeeraj Jaggi, K. Gopinath: Verification of a Leader Election Algorithm in Timed Asynchronous Systems. FSTTCS 2001: 207-218
12EEVivek K. Shanbhag, K. Gopinath: A SPIN-Based Model Checker for Telecommunication Protocols. SPIN 2001: 252-271
11EEMansoor Alicherry, K. Gopinath: Predictable Management of System Resources for Linux. USENIX Annual Technical Conference, FREENIX Track 2001: 273-283
2000
10EENitin Muppalaneni, K. Gopinath: A Multi-Tier RAID Storage System with RAID1 and RAID5. IPDPS 2000: 663-672
9EEK. 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
8EEK. 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
5EEK. 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

Coauthor Index

1A. Agarwal [3]
2Ari Ahtiainen [14]
3Mansoor Alicherry [11]
4Pravin Bhagwat [23]
5Chiranjib Bhattacharyya (Chiru Bhattacharyya) [18]
6Niranjan K. Boora [18]
7M. C. Dharmadeep [27]
8Arul Ganesh [37]
9K. N. Gopinath [23]
10V. H. Gupta [28]
11John L. Hennessy [1]
12Neeraj Jaggi [13]
13Bhargava Kumar K [33]
14Bhargava K. Kancherla [30]
15Manish C. Kumar [29]
16N. Suresh Kumar [9]
17B. H. Lim [3]
18Matti Luukkainen [14] [20]
19Girish Motwani [21]
20Nitin Muppalaneni [9] [10]
21K. V. M. Naidu [17]
22K. S. Nandakumar [7]
23M. K. Krishna Narasimhan [3] [8]
24Ganesh M. Narayan [19] [30] [32] [33] [34] [35]
25N. S. Pendharkar [6]
26L. A. Prashanth [36]
27Anil K. Pugalia [17]
28G. A. Ramanujan [31]
29Pankaj Risbood [9]
30Amitabha Roy [16] [22]
31G. Sandhya [25]
32R. Seshadri [5]
33Vivek K. Shanbhag [4] [12] [14] [20]
34Rahul Simha [24]
35V. Sridhar [31] [32]
36V. Sriram [34]
37Amit Thawani [31]
38Markku Turunen [14]
39Sridhar Varadarajan [35]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)