K. Mani Chandy Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Event Driven Architecture. Encyclopedia of Database Systems 2009: 1040-1044
2008
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Sayan Mitra, Concetta Pilotto: Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSayan Mitra, K. Mani Chandy: A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245
2007
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Michel Charpentier, Agostino Capponi: Towards a theory of events. DEBS 2007: 180-187
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOpher Etzion, K. Mani Chandy, Rainer von Ammon: 07191 Abstracts Collection -- Event Processing. Event Processing 2007
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett: 07191 Summary -- Event Processing. Event Processing 2007
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Michel Charpentier: Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Dieter Gawlick: Event processing using database technology. SIGMOD Conference 2007: 1169-1170
2006
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Lu Tian, Daniel M. Zimmerman: Enterprise Computing Systems as Information Factories. EDOC 2006: 427-432
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Tian, K. Mani Chandy: Resource Allocation in Streaming Environments. GRID 2006: 270-277
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel M. Zimmerman, K. Mani Chandy: Snapshot Processing in Streaming Environments. GRID 2006: 319-320
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOpher Etzion, K. Mani Chandy, Rainer von Ammon, Roy Schulte: Event-Driven Architectures and Complex Event Processing. IEEE SCC 2006
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrey Khorlin, K. Mani Chandy: Control-Based Scheduling in a Distributed Stream Processing System. SCW 2006: 55-64
2005
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel M. Zimmerman, K. Mani Chandy: A Parallel Algorithm for Correlating Event Streams. IPDPS 2005
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett: An Event Processing Language (EPL) for Building Sense and Respond Applications. IPDPS 2005
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Sense and Respond Systems. Int. CMG Conference 2005: 59-66
2004
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Event Servers for Crisis Management. HiPC 2004: 3
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Charpentier, K. Mani Chandy: Specification transformers: a predicate transformer approach to composition. Acta Inf. 40(4): 265-301 (2004)
2003
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Ginis, K. Mani Chandy: Service Composition Issues for Distributed Business Processes. ICWS 2003: 27-33
2002
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Michel Charpentier: An Experiment in Program Composition and Proof. Formal Methods in System Design 20(1): 7-21 (2002)
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitchell 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
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman 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
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Charpentier, K. Mani Chandy: Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornley, K. Mani Chandy: Monotonic Counters: A New Mechanism for Thread Synchronization. IPDPS 2000: 573-582
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Charpentier, K. Mani Chandy: Theorems about Composition. MPC 2000: 167-186
1999
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerna L. Massingill, K. Mani Chandy: Parallel Program Archetypes. IPPS/SPDP 1999: 290-296
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Charpentier, K. Mani Chandy: Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel 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
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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)
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Adam Rifkin: Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. HICSS (1) 1997: 395-404
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRavi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy: A General Resource Reservation Framework for Scientific Computing. ISCOPE 1997: 283-290
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Adam Rifkin: Systematic Composition of Distributed Objects: Processes and Sessions. Comput. J. 40(8): 465-478 (1997)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Eve M. Schooler: Designing Directories in Distributed Systems: A Systematic Framework. HPDC 1996: 318-
1995
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManeesh Dhagat, Rajive Bagrodia, K. Mani Chandy: Integrating Task and Data Parallelism in UC. ICPP (2) 1995: 29-36
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron: Integrating task and data parallelism with the group communication archetype. IPPS 1995: 724-733
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Ian T. Foster: A Notation for Deterministic Cooperating Processes. IEEE Trans. Parallel Distrib. Syst. 6(8): 863-871 (1995)
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIan T. Foster, K. Mani Chandy: Fortran M: A Language for Modular Parallel Programming. J. Parallel Distrib. Comput. 26(1): 24-35 (1995)
74no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy, Maneesh Dhagat: UC: A Set-Based Language for Data-Parallel Programming. J. Parallel Distrib. Comput. 28(2): 186-201 (1995)
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Beverly A. Sanders: Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995)
1994
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Properties of Concurrent Programs. Formal Asp. Comput. 6(6): 607-619 (1994)
1993
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Writing Correct Parallel Programs. IPPS 1993: 630-634
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Ian T. Foster: Parallel Language Constructs for Paradigm Integration and Deterministic Computations. PARCO 1993: 3-12
69no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Ian T. Foster: Deterministic Parallel FORTRAN. PPSC 1993: 798-805
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Rajive Bagrodia, Wen-Toh Liao: Concurrency and Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 3(4): 284-285 (1993)
1992
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Carl Kesselman: The Derivation of Compositional Programs. JICSLP 1992: 3-17
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Carl Kesselman: Compositional C++: Compositional Parallel Programming. LCPC 1992: 124-144
1991
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy, Wen-Toh Liao: A Unifying Framework for Distributed Simulation. ACM Trans. Model. Comput. Simul. 1(4): 348-385 (1991)
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Carl Kesselman: Parallel Programming in 2001. IEEE Software 8(6): 11-20 (1991)
1990
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy, E. Kwan: UC: a language for the connection machine. SC 1990: 525-534
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Reasoning About Continuous Systems. Sci. Comput. Program. 14(2-3): 117-132 (1990)
1989
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Mathematics of Program Construction Applied to Analog Neural Networks. MPC 1989: 21-35
1988
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Programming parallel computers. ICCL 1988: 314-321
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy: Programming the Connection Machine. ICCL 1988: 50-57
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Performance Management of Parallel Computers. Int. CMG Conference 1988: 1076-1078
1987
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Parallelism and Programming: A Perspective. FSTTCS 1987: 173-194
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS 1987: 171-173
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy, Jayadev Misra: A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13(6): 654-665 (1987)
1986
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. ACM Trans. Program. Lang. Syst. 8(3): 326-343 (1986)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: How Processes Learn. Distributed Computing 1(1): 40-52 (1986)
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Systolic Algorithms as Programs. Distributed Computing 1(3): 177-183 (1986)
1985
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy: A Micro-Kernel for Distributed Applications. ICDCS 1985: 140-149
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard L. Gimarc, K. Mani Chandy: HSS: A Tool for Evaluating the Performance of Office Systems. Int. CMG Conference 1985: 30-41
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Concurrent Programming For The Masses (PODC 1984 Invited Address). PODC 1985: 1-12
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: How Processes Learn. PODC 1985: 204-214
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Leslie Lamport: Distributed Snapshots: Determining Global States of Distributed Systems ACM Trans. Comput. Syst. 3(1): 63-75 (1985)
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTed Herman, K. Mani Chandy: On Distributed Search. Inf. Process. Lett. 21(3): 129-133 (1985)
1984
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaymond M. Bryant, Anthony E. Krzesinski, M. Seetha Lakshmi, K. Mani Chandy: The MVA Priority Approximation ACM Trans. Comput. Syst. 2(4): 335-359 (1984)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: The Drinking Philosopher's Problem. ACM Trans. Program. Lang. Syst. 6(4): 632-646 (1984)
1983
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra, Laura M. Haas: Distributed Deadlock Detection ACM Trans. Comput. Syst. 1(2): 144-156 (1983)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Alain J. Martin: A Characterization of Product-Form Queuing Networks J. ACM 30(2): 286-299 (1983)
1982
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra, R. Berry, Doug Neuse: The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy, Todd Smith: Proving Safety and Liveness of Communicating Processes with Examples. PODC 1982: 201-208
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy: Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy: A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837 (1982)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Doug Neuse: Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems. Commun. ACM 25(2): 126-134 (1982)
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Neuse, K. Mani Chandy: HAM: The Heuristic Aggregation Method. SIGMETRICS Performance Evaluation Review 11(4): 195-212 (1982)
1981
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug 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
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Neuse, K. Mani Chandy: SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems. SIGMETRICS 1981: 59-79
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Asynchronous Distributed Simulation via a Sequence of Parallel Computations. Commun. ACM 24(4): 198-206 (1981)
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, K. Mani Chandy: Proofs of Networks of Processes. IEEE Trans. Software Eng. 7(4): 417-426 (1981)
1980
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Charles H. Sauer: Computational Algorithms for Product Form Queueing Networks. Commun. ACM 23(10): 573-583 (1980)
1979
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTilak Agerwala, K. Mani Chandy, D. E. Lang: A Modeling Approach and Design Tool for Pipelined Central Processors. ISCA 1979: 122-129
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles H. Sauer, K. Mani Chandy: The Impact of Distributions and Disciplines on Multiple Processor Systems. Commun. ACM 22(1): 25-34 (1979)
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Victor Holmes, Jayadev Misra: Distributed Simulation of Networks. Computer Networks 3: 105-113 (1979)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Computer Networks 3: 24-35 (1979)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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)
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Deadlock Absence Proofs for Networks of Communicating Processes. Inf. Process. Lett. 9(4): 185-189 (1979)
1978
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRandolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Berkeley Workshop 1978: 289-321
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Charles H. Sauer: Approximate Methods for Analyzing Queueing Network Models of Computing Systems. ACM Comput. Surv. 10(3): 281-317 (1978)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLawrence Van Sickle, K. Mani Chandy: Computational Complexity of Network Design Algorithms. IFIP Congress 1977: 235-239
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Models of Distributed Systems. VLDB 1977: 105-120
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. M. Brown, James C. Browne, K. Mani Chandy: Memory Management and Response Time. Commun. ACM 20(3): 153-165 (1977)
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, J. Hogarth, Charles H. Sauer: Selecting Capacities in Computer Communication Systems. IEEE Trans. Software Eng. 3(4): 290-295 (1977)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Bayesian Models of Design Based on Intuition. ICSE 1976: 281-285
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, John H. Howard Jr., Donald F. Towsley: Product Form and Local Balance in Queueing Networks. Performance 1976: 89-101
1975
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, P. F. Reynolds: Scheduling Partially Ordered Tasks with Probabilistic Execution Times. SOSP 1975: 169-177
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Ulrich Herzog, Lin S. Woo: Parametric Analysis of Queuing Networks. IBM Journal of Research and Development 19(1): 36-42 (1975)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Ulrich Herzog, Lin S. Woo: Approximate Analysis of General Queuing Networks. IBM Journal of Research and Development 19(1): 43-49 (1975)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich 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)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles H. Sauer, K. Mani Chandy: Approximate Analysis of Central Server Models. IBM Journal of Research and Development 19(3): 301-313 (1975)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. 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)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLForest 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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. F. Reynolds, K. Mani Chandy: A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs. Sagamore Computer Conference 1974: 203-204
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom W. Keller, K. Mani Chandy: Computer Models with Constrained Parallel Processors. Sagamore Computer Conference 1974: 207-208
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. V. Ramamoorthy, K. Mani Chandy: Optimization of Memory Hierarchies in Multiprogrammed Systems. J. ACM 17(3): 426-445 (1970)
1968
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, C. V. Ramamoorthy: Optimization of Information Storage Systems Information and Control 13(6): 509-526 (1968)

Coauthor Index

1Thomas L. Adam [3]
2Tilak Agerwala [28]
3Elli Albek [102]
4Shoukat Ali [95]
5Rainer von Ammon [105] [111] [112] [114]
6Rajive Bagrodia [51] [55] [59] [63] [65] [68] [74] [78]
7Forest Baskett [6]
8Eric Bax [102]
9R. Berry [33] [41]
10Greg Billock [102]
11R. M. Brown [17]
12James C. Browne [7] [17] [20]
13Raymond M. Bryant [45]
14Agostino Capponi [113]
15Michel Charpentier [88] [89] [91] [93] [97] [99] [110] [113]
16Maneesh Dhagat [74] [78]
17J. R. Dickson [3]
18Boris Dimitrov [83]
19Charles W. Dissly [7]
20Opher Etzion [105] [111] [112] [114]
21Ian T. Foster [69] [70] [75] [76]
22Axel Fuchs [96]
23Dieter Gawlick [109]
24Richard L. Gimarc [50]
25Roman Ginis [94] [98]
26Laura M. Haas [43]
27Ted Herman [46]
28Ulrich Herzog [9] [10] [11]
29J. Hogarth [16]
30Victor Holmes [26]
31John H. Howard Jr. [13] [15]
32Kai Hwang [95]
33Bill Janssen [96]
34Tom W. Keller [4]
35Ken Kennedy [95]
36Carl Kesselman [64] [66] [67]
37Andrey Khorlin [104]
38Joseph Kiniry (Joseph R. Kiniry) [81] [85] [87]
39Anthony E. Krzesinski [45]
40E. Kwan [63]
41M. Seetha Lakshmi [45]
42Leslie Lamport [47]
43D. E. Lang [28]
44Wen-Toh Liao [65] [68]
45J. Mandelson [80]
46Rajit Manohar [77]
47Alain J. Martin [42]
48Berna L. Massingill [77] [90]
49Daniel I. Meiron [77]
50Jayadev Misra [23] [24] [26] [30] [31] [33] [36] [37] [38] [39] [40] [41] [43] [44] [48] [52] [53] [54] [55] [57]
51Sayan Mitra [115] [116]