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

K. Mani Chandy Home Page Coauthor index pubzone.org

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

DBLP keys2011
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDesmond W. H. Cai, Sachin Adlakha, K. Mani Chandy: Optimal contract for wind power in day-ahead electricity markets. CDC-ECE 2011: 1521-1527
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro Bizarro, K. Mani Chandy, Nenad Stojanovic: Event processing grand challenges. DEBS 2011: 361-362
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Olson, Annie H. Liu, Matthew Faulkner, K. Mani Chandy: Rapid detection of rare geospatial events: earthquake warning applications. DEBS 2011: 89-100
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Olson, K. Mani Chandy: Performance Issues in Cloud Computing for Cyber-physical Applications. IEEE CLOUD 2011: 742-743
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnie H. Liu, Julian J. Bunn, K. Mani Chandy: Sensor networks for the detection and tracking of radiation and other threats in cities. IPSN 2011: 1-12
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause: Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors. IPSN 2011: 121-122
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause: The next big one: Detecting earthquakes and other rare events from community-based sensors. IPSN 2011: 13-24
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White: Verification of distributed systems with local-global predicates. Formal Asp. Comput. 23(5): 649-679 (2011)
2010
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, W. Roy Schulte: Event Processing - Designing IT Systems for Agile Companies. McGraw-Hill 2010: I-XVII, 1-235
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu: A simple optimal power flow model with energy storage. CDC 2010: 1051-1057
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLConcetta Pilotto, K. Mani Chandy, Jerome White: Consensus on asynchronous communication networks in presence of external input. CDC 2010: 3838-3844
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: A Web That Senses and Responds. From Active Data Management to Event-Based Systems and More 2010: 78-84
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDeborah Estrin, K. Mani Chandy, R. Michael Young, Larry Smarr, Andrew M. Odlyzko, David D. Clark, Viviane Reding, Toru Ishida, Sharad Sharma, Vinton G. Cerf, Urs Hölzle, Luiz André Barroso, Geoff Mulligan, Adrian Hooke, Chip Elliott: Internet Predictions. IEEE Internet Computing 14(1): 12-42 (2010)
2009
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Michael Olson: Specifications and Architectures of Federated Event-Driven Systems. AAAI Spring Symposium: Intelligent Event Processing 2009: 21-26
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Event Driven Architecture. Encyclopedia of Database Systems 2009: 1040-1044
2008
120Electronic 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
119Electronic 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
118no 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
117Electronic 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
116Electronic 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
115Electronic 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
114Electronic 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
113Electronic 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
112Electronic 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
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Tian, K. Mani Chandy: Resource Allocation in Streaming Environments. GRID 2006: 270-277
110Electronic 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
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOpher Etzion, K. Mani Chandy, Rainer von Ammon, W. Roy Schulte: Event-Driven Architectures and Complex Event Processing. IEEE SCC 2006
108Electronic 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
107Electronic 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
106Electronic 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
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Sense and Respond Systems. Int. CMG Conference 2005: 59-66
2004
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Event Servers for Crisis Management. HiPC 2004: 3
103Electronic 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
102no 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
101Electronic Edition 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)
100Electronic 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
99Electronic 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
98Electronic 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
97Electronic 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
96Electronic 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
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichel Charpentier, K. Mani Chandy: Theorems about Composition. MPC 2000: 167-186
1999
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerna L. Massingill, K. Mani Chandy: Parallel Program Archetypes. IPPS/SPDP 1999: 290-296
93Electronic Edition 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
92Electronic 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
91Electronic Edition 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
90Electronic Edition 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)
89Electronic Edition 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
88Electronic 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
87Electronic Edition 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
86Electronic Edition 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)
85Electronic 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
84Electronic 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
83Electronic 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
82no 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
81Electronic 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
80Electronic 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)
79Electronic Edition 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)
78Electronic Edition 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)
77Electronic Edition 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
76no 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
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Writing Correct Parallel Programs. IPPS 1993: 630-634
74no 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
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Ian T. Foster: Deterministic Parallel FORTRAN. PPSC 1993: 798-805
72no 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
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Carl Kesselman: The Derivation of Compositional Programs. JICSLP 1992: 3-17
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Carl Kesselman: Compositional C++: Compositional Parallel Programming. LCPC 1992: 124-144
1991
69Electronic 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)
68Electronic Edition 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
67Electronic 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
66Electronic Edition 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
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Parallel program design - a foundation. Addison-Wesley 1989: I-XXVIII, 1-516
64no 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
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Programming parallel computers. ICCL 1988: 314-321
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajive Bagrodia, K. Mani Chandy: Programming the Connection Machine. ICCL 1988: 50-57
61no 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: Parallelism and Programming: A Perspective. FSTTCS 1987: 173-194
59no 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
58Electronic Edition 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
57Electronic 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: How Processes Learn. Distributed Computing 1(1): 40-52 (1986)
55Electronic Edition 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
54no 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
53no 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
52Electronic Edition 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra: How Processes Learn. PODC 1985: 204-214
50Electronic 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)
49Electronic Edition 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
48Electronic 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)
47Electronic 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Berry, K. Mani Chandy: Performance models of token ring local area networks. SIGMETRICS 1983: 266-274
45Electronic 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)
44Electronic 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse: The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256
42Electronic Edition 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
41Electronic Edition 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
40Electronic 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)
39Electronic 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)
38Electronic Edition 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)
37Electronic Edition 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)
36Electronic Edition 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
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Neuse, K. Mani Chandy, Jayadev Misra, Robert Berry: A Computer Modeling System Based on a User-Extensible Modeling Library. Int. CMG Conference 1981: 127-129
34no 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
33Electronic Edition 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)
32Electronic Edition 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Doug Neuse: Fast accurate heuristic algorithms for queueing network models of computing systems. Perform. Eval. 1(1): 96 (1981)
1980
30Electronic Edition 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
29Electronic Edition 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
28Electronic Edition 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)
27Electronic Edition 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)
26Electronic Edition 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)
25Electronic Edition 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)
24Electronic Edition 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
23no 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
22Electronic Edition 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)
21Electronic Edition 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
20no 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Models of Distributed Systems. VLDB 1977: 105-120
18Electronic Edition 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)
17Electronic Edition 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)
16Electronic 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy: Bayesian Models of Design Based on Intuition. ICSE 1976: 281-285
14no 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
13no 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
12no 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)
11no 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)
10no 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)
9no 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)
8no 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)
7Electronic 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
6Electronic Edition 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
5Electronic Edition 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
4Electronic Edition 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)
1972
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Mani Chandy, Tom W. Keller, James C. Browne: Design automation and queueing networks: An interactive system for the evaluation of computer queueing models. DAC 1972: 357-367
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
1Electronic Edition 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 [4]
2Sachin Adlakha [135]
3Tilak Agerwala [29]
4Elli Albek [106]
5Shoukat Ali [99]
6Rainer von Ammon [109] [115] [116] [118]
7Rajive Bagrodia [54] [58] [62] [67] [69] [72] [78] [82]
8Luiz André Barroso [123]
9Forest Baskett [7]
10Eric Bax [106]
11Robert Berry [35] [43] [46]
12Greg Billock [106]
13Pedro Bizarro [134]
14R. M. Brown [18]
15James C. Browne [3] [8] [18] [21]
16Raymond M. Bryant [48]
17Julian J. Bunn [131]
18Desmond W. H. Cai [135]
19Agostino Capponi [117]
20Vinton G. Cerf (Vint Cerf) [123]
21Rishi Chandy [129] [130]
22Michel Charpentier [92] [93] [95] [97] [101] [103] [114] [117]
23David D. Clark [123]
24Maneesh Dhagat [78] [82]
25J. R. Dickson [4]
26Boris Dimitrov [87]
27Charles W. Dissly [8]
28Chip Elliott [123]
29Deborah Estrin [123]
30Opher Etzion [109] [115] [116] [118]
31Matthew Faulkner [129] [130] [133]
32Ian T. Foster [73] [74] [79] [80]
33Axel Fuchs [100]
34Dieter Gawlick [113]
35Richard L. Gimarc [53]
36Roman Ginis [98] [102]
37Brian Go [128]
38Laura M. Haas [45]
39Ted Herman [49]
40Ulrich Herzog [10] [11] [12]
41J. Hogarth [17]
42Victor Holmes [27]
43Urs Hölzle [123]
44Adrian Hooke [123]
45John H. Howard Jr. [14] [16]
46Kai Hwang [99]
47Toru Ishida [123]
48Bill Janssen [100]
49Tom W. Keller [3] [5]
50Ken Kennedy [99]
51Carl Kesselman [68] [70] [71]
52Andrey Khorlin [108]
53Joseph Kiniry (Joseph R. Kiniry) [85] [89] [91]
54Andreas Krause [129] [130]
55Jonathan Krause [129] [130]
56Anthony E. Krzesinski [48]
57E. Kwan [67]
58M. Seetha Lakshmi [48]
59Leslie Lamport [50]
60D. E. Lang [29]
61Wen-Toh Liao [69] [72]
62Annie H. Liu [131] [133]
63Steven H. Low [126]
64J. Mandelson [84]
65Rajit Manohar [81]
66Alain J. Martin [44]
67Berna L. Massingill [81] [94]
68Daniel I. Meiron [81]
69Jayadev Misra [24] [25] [27] [32] [33] [35] [38] [39] [40] [41] [42] [43] [45] [47] [51] [55] [56] [57] [58] [60] [65]
70Sayan Mitra [119] [120] [128]
71Deepak Mulchandani [100]
72Geoff Mulligan [123]
73Richard R. Muntz [7]
74Doug Neuse [31] [34] [35] [36] [37] [43]
75Peter Niblett [115]
76Andrew M. Odlyzko [123]
77Michael Olson [122] [129] [130] [132] [133]
78Fernando G. Palacios [7]
79Concetta Pilotto [120] [125] [128]
80Ravi Ramamoorthi [87]
81C. V. Ramamoorthy (Chittoor V. Ramamoorthy) [1] [2]
82Viviane Reding [123]
83P. F. Reynolds [6] [13]
84M. Richardson [84]
85Adam Rifkin [84] [85] [86] [87] [88] [89] [90]
86Beverly A. Sanders [77]
87Charles H. Sauer [9] [17] [22] [28] [30]
88Eve M. Schooler [83] [90]
89W. Roy Schulte [109] [127]
90Lui Sha [99]
91Sharad Sharma [123]
92Kang G. Shin [99]
93Lawrence Van Sickle [20]
94Howard Jay Siegel [99]
95Paolo A. G. Sivilotti [84] [91]
96Larry Smarr [123]
97Todd Smith [41]
98Marc Snir [99]
99Lawrence Snyder (Larry Snyder) [99]
100Thomas L. Sterling [99]
101Nenad Stojanovic [134]
102Ian Swett [106]
103W. Tanaka [84]
104Mitchell D. Theys [99]
105John Thornley [96]
106Lu Tian [111] [112]
107Ufuk Topcu [126]
108Donald F. Towsley (Don Towsley) [14] [16] [21]
109Werner R. Uhrig [8]
110Mark Weiser [100]
111L. Weisman [84]
112Jerome White [125] [128]
113Lin S. Woo [10] [11] [12]
114Huan Xu [126]
115Randolph T. Yeh [23] [26]
116R. Michael Young [123]
117Daniel M. Zimmerman [85] [89] [107] [110] [112]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page