Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Home Page

* | 2008 | |
---|---|---|

116 | EE | K. Mani Chandy, Sayan Mitra, Concetta Pilotto: Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232 |

115 | EE | Sayan Mitra, K. Mani Chandy: A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245 |

2007 | ||

114 | K. Mani Chandy, Opher Etzion, Rainer von Ammon: Event Processing, 6.5. - 11.5.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 | |

113 | EE | K. Mani Chandy, Michel Charpentier, Agostino Capponi: Towards a theory of events. DEBS 2007: 180-187 |

112 | EE | Opher Etzion, K. Mani Chandy, Rainer von Ammon: 07191 Abstracts Collection -- Event Processing. Event Processing 2007 |

111 | EE | K. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett: 07191 Summary -- Event Processing. Event Processing 2007 |

110 | EE | K. Mani Chandy, Michel Charpentier: Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67 |

109 | EE | K. Mani Chandy, Dieter Gawlick: Event processing using database technology. SIGMOD Conference 2007: 1169-1170 |

2006 | ||

108 | EE | K. Mani Chandy, Lu Tian, Daniel M. Zimmerman: Enterprise Computing Systems as Information Factories. EDOC 2006: 427-432 |

107 | EE | Lu Tian, K. Mani Chandy: Resource Allocation in Streaming Environments. GRID 2006: 270-277 |

106 | EE | Daniel M. Zimmerman, K. Mani Chandy: Snapshot Processing in Streaming Environments. GRID 2006: 319-320 |

105 | EE | Opher Etzion, K. Mani Chandy, Rainer von Ammon, Roy Schulte: Event-Driven Architectures and Complex Event Processing. IEEE SCC 2006 |

104 | EE | Andrey Khorlin, K. Mani Chandy: Control-Based Scheduling in a Distributed Stream Processing System. SCW 2006: 55-64 |

2005 | ||

103 | EE | Daniel M. Zimmerman, K. Mani Chandy: A Parallel Algorithm for Correlating Event Streams. IPDPS 2005 |

102 | EE | Elli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett: An Event Processing Language (EPL) for Building Sense and Respond Applications. IPDPS 2005 |

101 | K. Mani Chandy: Sense and Respond Systems. Int. CMG Conference 2005: 59-66 | |

2004 | ||

100 | EE | K. Mani Chandy: Event Servers for Crisis Management. HiPC 2004: 3 |

99 | EE | Michel Charpentier, K. Mani Chandy: Specification transformers: a predicate transformer approach to composition. Acta Inf. 40(4): 265-301 (2004) |

2003 | ||

98 | Roman Ginis, K. Mani Chandy: Service Composition Issues for Distributed Business Processes. ICWS 2003: 27-33 | |

2002 | ||

97 | K. Mani Chandy, Michel Charpentier: An Experiment in Program Composition and Proof. Formal Methods in System Design 20(1): 7-21 (2002) | |

96 | EE | K. Mani Chandy, Axel Fuchs, Bill Janssen, Deepak Mulchandani, Mark Weiser: IC Online: Ubiquitous Computing: The Future of Development? IEEE Distributed Systems Online 3(3): (2002) |

2001 | ||

95 | EE | Mitchell D. Theys, Shoukat Ali, Howard Jay Siegel, K. Mani Chandy, Kai Hwang, Ken Kennedy, Lui Sha, Kang G. Shin, Marc Snir, Larry Snyder, Thomas L. Sterling: What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium? J. Parallel Distrib. Comput. 61(12): 1827-1841 (2001) |

2000 | ||

94 | EE | Roman Ginis, K. Mani Chandy: Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment. ACM Conference on Electronic Commerce 2000: 207-214 |

93 | EE | Michel Charpentier, K. Mani Chandy: Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595 |

92 | EE | John Thornley, K. Mani Chandy: Monotonic Counters: A New Mechanism for Thread Synchronization. IPDPS 2000: 573-582 |

91 | Michel Charpentier, K. Mani Chandy: Theorems about Composition. MPC 2000: 167-186 | |

1999 | ||

90 | EE | Berna L. Massingill, K. Mani Chandy: Parallel Program Archetypes. IPPS/SPDP 1999: 290-296 |

89 | Michel Charpentier, K. Mani Chandy: Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227 | |

88 | EE | Michel Charpentier, K. Mani Chandy: Towards a Compositional Approach to the Design and Verification of Distributed Systems. World Congress on Formal Methods 1999: 570-589 |

1998 | ||

87 | K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry: A Cottage Industry of Software Publishing: Implications for Theories of Composition. IPPS/SPDP Workshops 1998: 890-899 | |

86 | K. Mani Chandy, Adam Rifkin, Eve M. Schooler: Using announce-listen with global events to develop distributed control systems. Concurrency - Practice and Experience 10(11-13): 1021-1027 (1998) | |

85 | K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: A Framework for Structured Distributed Object Computing. Parallel Computing 24(12-13): 1901-1922 (1998) | |

1997 | ||

84 | EE | K. Mani Chandy, Adam Rifkin: Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. HICSS (1) 1997: 395-404 |

83 | Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy: A General Resource Reservation Framework for Scientific Computing. ISCOPE 1997: 283-290 | |

82 | K. Mani Chandy, Adam Rifkin: Systematic Composition of Distributed Objects: Processes and Sessions. Comput. J. 40(8): 465-478 (1997) | |

81 | EE | K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman: Webs of Archived Distributed Computations for Asynchronous Collaboration. The Journal of Supercomputing 11(2): 101-118 (1997) |

1996 | ||

80 | EE | K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, J. Mandelson, M. Richardson, W. Tanaka, L. Weisman: A World-Wide Distributed System Using Java and the Internet. HPDC 1996: 11-18 |

79 | EE | K. Mani Chandy, Eve M. Schooler: Designing Directories in Distributed Systems: A Systematic Framework. HPDC 1996: 318- |

1995 | ||

78 | Maneesh Dhagat, Rajive Bagrodia, K. Mani Chandy: Integrating Task and Data Parallelism in UC. ICPP (2) 1995: 29-36 | |

77 | EE | K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron: Integrating task and data parallelism with the group communication archetype. IPPS 1995: 724-733 |

76 | EE | K. Mani Chandy, Ian T. Foster: A Notation for Deterministic Cooperating Processes. IEEE Trans. Parallel Distrib. Syst. 6(8): 863-871 (1995) |

75 | Ian T. Foster, K. Mani Chandy: Fortran M: A Language for Modular Parallel Programming. J. Parallel Distrib. Comput. 26(1): 24-35 (1995) | |

74 | Rajive Bagrodia, K. Mani Chandy, Maneesh Dhagat: UC: A Set-Based Language for Data-Parallel Programming. J. Parallel Distrib. Comput. 28(2): 186-201 (1995) | |

73 | K. Mani Chandy, Beverly A. Sanders: Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995) | |

1994 | ||

72 | K. Mani Chandy: Properties of Concurrent Programs. Formal Asp. Comput. 6(6): 607-619 (1994) | |

1993 | ||

71 | K. Mani Chandy: Writing Correct Parallel Programs. IPPS 1993: 630-634 | |

70 | K. Mani Chandy, Ian T. Foster: Parallel Language Constructs for Paradigm Integration and Deterministic Computations. PARCO 1993: 3-12 | |

69 | K. Mani Chandy, Ian T. Foster: Deterministic Parallel FORTRAN. PPSC 1993: 798-805 | |

68 | K. Mani Chandy, Rajive Bagrodia, Wen-Toh Liao: Concurrency and Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 3(4): 284-285 (1993) | |

1992 | ||

67 | K. Mani Chandy, Carl Kesselman: The Derivation of Compositional Programs. JICSLP 1992: 3-17 | |

66 | K. Mani Chandy, Carl Kesselman: Compositional C++: Compositional Parallel Programming. LCPC 1992: 124-144 | |

1991 | ||

65 | EE | Rajive Bagrodia, K. Mani Chandy, Wen-Toh Liao: A Unifying Framework for Distributed Simulation. ACM Trans. Model. Comput. Simul. 1(4): 348-385 (1991) |

64 | K. Mani Chandy, Carl Kesselman: Parallel Programming in 2001. IEEE Software 8(6): 11-20 (1991) | |

1990 | ||

63 | EE | Rajive Bagrodia, K. Mani Chandy, E. Kwan: UC: a language for the connection machine. SC 1990: 525-534 |

62 | K. Mani Chandy: Reasoning About Continuous Systems. Sci. Comput. Program. 14(2-3): 117-132 (1990) | |

1989 | ||

61 | K. Mani Chandy: Mathematics of Program Construction Applied to Analog Neural Networks. MPC 1989: 21-35 | |

1988 | ||

60 | EE | K. Mani Chandy: Programming parallel computers. ICCL 1988: 314-321 |

59 | EE | Rajive Bagrodia, K. Mani Chandy: Programming the Connection Machine. ICCL 1988: 50-57 |

58 | K. Mani Chandy: Performance Management of Parallel Computers. Int. CMG Conference 1988: 1076-1078 | |

1987 | ||

57 | EE | K. Mani Chandy, Jayadev Misra: Parallelism and Programming: A Perspective. FSTTCS 1987: 173-194 |

56 | K. Mani Chandy: Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS 1987: 171-173 | |

55 | Rajive Bagrodia, K. Mani Chandy, Jayadev Misra: A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13(6): 654-665 (1987) | |

1986 | ||

54 | EE | K. Mani Chandy, Jayadev Misra: An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ACM Trans. Program. Lang. Syst. 8(3): 326-343 (1986) |

53 | K. Mani Chandy, Jayadev Misra: How Processes Learn. Distributed Computing 1(1): 40-52 (1986) | |

52 | K. Mani Chandy, Jayadev Misra: Systolic Algorithms as Programs. Distributed Computing 1(3): 177-183 (1986) | |

1985 | ||

51 | Rajive Bagrodia, K. Mani Chandy: A Micro-Kernel for Distributed Applications. ICDCS 1985: 140-149 | |

50 | Richard L. Gimarc, K. Mani Chandy: HSS: A Tool for Evaluating the Performance of Office Systems. Int. CMG Conference 1985: 30-41 | |

49 | K. Mani Chandy: Concurrent Programming For The Masses (PODC 1984 Invited Address). PODC 1985: 1-12 | |

48 | K. Mani Chandy, Jayadev Misra: How Processes Learn. PODC 1985: 204-214 | |

47 | EE | K. Mani Chandy, Leslie Lamport: Distributed Snapshots: Determining Global States of Distributed Systems ACM Trans. Comput. Syst. 3(1): 63-75 (1985) |

46 | Ted Herman, K. Mani Chandy: On Distributed Search. Inf. Process. Lett. 21(3): 129-133 (1985) | |

1984 | ||

45 | EE | Raymond M. Bryant, Anthony E. Krzesinski, M. Seetha Lakshmi, K. Mani Chandy: The MVA Priority Approximation ACM Trans. Comput. Syst. 2(4): 335-359 (1984) |

44 | EE | K. Mani Chandy, Jayadev Misra: The Drinking Philosopher's Problem. ACM Trans. Program. Lang. Syst. 6(4): 632-646 (1984) |

1983 | ||

43 | EE | K. Mani Chandy, Jayadev Misra, Laura M. Haas: Distributed Deadlock Detection ACM Trans. Comput. Syst. 1(2): 144-156 (1983) |

42 | EE | K. Mani Chandy, Alain J. Martin: A Characterization of Product-Form Queuing Networks J. ACM 30(2): 286-299 (1983) |

1982 | ||

41 | EE | K. Mani Chandy, Jayadev Misra, R. Berry, Doug Neuse: The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256 |

40 | K. Mani Chandy, Jayadev Misra: A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164 | |

39 | Jayadev Misra, K. Mani Chandy, Todd Smith: Proving Safety and Liveness of Communicating Processes with Examples. PODC 1982: 201-208 | |

38 | EE | Jayadev Misra, K. Mani Chandy: Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982) |

37 | EE | Jayadev Misra, K. Mani Chandy: A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982) |

36 | K. Mani Chandy, Jayadev Misra: Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837 (1982) | |

35 | K. Mani Chandy, Doug Neuse: Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems. Commun. ACM 25(2): 126-134 (1982) | |

34 | Doug Neuse, K. Mani Chandy: HAM: The Heuristic Aggregation Method. SIGMETRICS Performance Evaluation Review 11(4): 195-212 (1982) | |

1981 | ||

33 | Doug Neuse, K. Mani Chandy, Jayadev Misra, R. Berry: A Computer Modeling System Based on a User-Extensible Modeling Library. Int. CMG Conference 1981: 127-129 | |

32 | Doug Neuse, K. Mani Chandy: SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems. SIGMETRICS 1981: 59-79 | |

31 | K. Mani Chandy, Jayadev Misra: Asynchronous Distributed Simulation via a Sequence of Parallel Computations. Commun. ACM 24(4): 198-206 (1981) | |

30 | Jayadev Misra, K. Mani Chandy: Proofs of Networks of Processes. IEEE Trans. Software Eng. 7(4): 417-426 (1981) | |

1980 | ||

29 | K. Mani Chandy, Charles H. Sauer: Computational Algorithms for Product Form Queueing Networks. Commun. ACM 23(10): 573-583 (1980) | |

1979 | ||

28 | Tilak Agerwala, K. Mani Chandy, D. E. Lang: A Modeling Approach and Design Tool for Pipelined Central Processors. ISCA 1979: 122-129 | |

27 | Charles H. Sauer, K. Mani Chandy: The Impact of Distributions and Disciplines on Multiple Processor Systems. Commun. ACM 22(1): 25-34 (1979) | |

26 | K. Mani Chandy, Victor Holmes, Jayadev Misra: Distributed Simulation of Networks. Computer Networks 3: 105-113 (1979) | |

25 | Randolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Computer Networks 3: 24-35 (1979) | |

24 | K. Mani Chandy, Jayadev Misra: Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Trans. Software Eng. 5(5): 440-452 (1979) | |

23 | K. Mani Chandy, Jayadev Misra: Deadlock Absence Proofs for Networks of Communicating Processes. Inf. Process. Lett. 9(4): 185-189 (1979) | |

1978 | ||

22 | Randolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Berkeley Workshop 1978: 289-321 | |

21 | K. Mani Chandy, Charles H. Sauer: Approximate Methods for Analyzing Queueing Network Models of Computing Systems. ACM Comput. Surv. 10(3): 281-317 (1978) | |

20 | Donald F. Towsley, K. Mani Chandy, James C. Browne: Models for Parallel Processing Within Programs: Application to CPU: I/O and I/O: I/O Overlap. Commun. ACM 21(10): 821-831 (1978) | |

1977 | ||

19 | Lawrence Van Sickle, K. Mani Chandy: Computational Complexity of Network Design Algorithms. IFIP Congress 1977: 235-239 | |

18 | EE | K. Mani Chandy: Models of Distributed Systems. VLDB 1977: 105-120 |

17 | R. M. Brown, James C. Browne, K. Mani Chandy: Memory Management and Response Time. Commun. ACM 20(3): 153-165 (1977) | |

16 | K. Mani Chandy, J. Hogarth, Charles H. Sauer: Selecting Capacities in Computer Communication Systems. IEEE Trans. Software Eng. 3(4): 290-295 (1977) | |

15 | EE | K. Mani Chandy, John H. Howard Jr., Donald F. Towsley: Product Form and Local Balance in Queueing Networks. J. ACM 24(2): 250-263 (1977) |

1976 | ||

14 | K. Mani Chandy: Bayesian Models of Design Based on Intuition. ICSE 1976: 281-285 | |

13 | K. Mani Chandy, John H. Howard Jr., Donald F. Towsley: Product Form and Local Balance in Queueing Networks. Performance 1976: 89-101 | |

1975 | ||

12 | K. Mani Chandy, P. F. Reynolds: Scheduling Partially Ordered Tasks with Probabilistic Execution Times. SOSP 1975: 169-177 | |

11 | K. Mani Chandy, Ulrich Herzog, Lin S. Woo: Parametric Analysis of Queuing Networks. IBM Journal of Research and Development 19(1): 36-42 (1975) | |

10 | K. Mani Chandy, Ulrich Herzog, Lin S. Woo: Approximate Analysis of General Queuing Networks. IBM Journal of Research and Development 19(1): 43-49 (1975) | |

9 | Ulrich Herzog, Lin S. Woo, K. Mani Chandy: Solution of Queuing Problems by a Recursive Technique. IBM Journal of Research and Development 19(3): 295-300 (1975) | |

8 | Charles H. Sauer, K. Mani Chandy: Approximate Analysis of Central Server Models. IBM Journal of Research and Development 19(3): 301-313 (1975) | |

7 | K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig: Analytic Models for Rollback and Recovery Strategies in Data Base Systems. IEEE Trans. Software Eng. 1(1): 100-110 (1975) | |

6 | EE | Forest Baskett, K. Mani Chandy, Richard R. Muntz, Fernando G. Palacios: Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. J. ACM 22(2): 248-260 (1975) |

1974 | ||

5 | P. F. Reynolds, K. Mani Chandy: A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs. Sagamore Computer Conference 1974: 203-204 | |

4 | Tom W. Keller, K. Mani Chandy: Computer Models with Constrained Parallel Processors. Sagamore Computer Conference 1974: 207-208 | |

3 | Thomas L. Adam, K. Mani Chandy, J. R. Dickson: A Comparison of List Schedules for Parallel Processing Systems. Commun. ACM 17(12): 685-690 (1974) | |

1970 | ||

2 | EE | C. V. Ramamoorthy, K. Mani Chandy: Optimization of Memory Hierarchies in Multiprogrammed Systems. J. ACM 17(3): 426-445 (1970) |

1968 | ||

1 | K. Mani Chandy, C. V. Ramamoorthy: Optimization of Information Storage Systems Information and Control 13(6): 509-526 (1968) |