Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
K. Mani Chandy
2010 – today
- 2012
[c83]Subhonmesh Bose, Steven H. Low, K. Mani Chandy: Equivalence of branch flow and bus injection models. Allerton Conference 2012: 1893-1899- [c82]Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu, K. Mani Chandy: Optimal placement of energy storage in the grid. CDC 2012: 5605-5612
- [c81]Annie H. Liu, Michael Olson, Julian J. Bunn, K. Mani Chandy: Towards a discipline of geospatial distributed event based systems. DEBS 2012: 95-106
- 2011
- [j57]K. 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)
- [c80]Michael Olson, K. Mani Chandy: Performance Issues in Cloud Computing for Cyber-physical Applications. IEEE CLOUD 2011: 742-743
- [c79]Desmond W. H. Cai, Sachin Adlakha, K. Mani Chandy: Optimal contract for wind power in day-ahead electricity markets. CDC-ECE 2011: 1521-1527
- [c78]Michael Olson, Annie H. Liu, Matthew Faulkner, K. Mani Chandy: Rapid detection of rare geospatial events: earthquake warning applications. DEBS 2011: 89-100
- [c77]Pedro Bizarro, K. Mani Chandy, Nenad Stojanovic: Event processing grand challenges. DEBS 2011: 361-362
- [c76]Annie 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
- [c75]Matthew 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
- [c74]Matthew 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
- [c73]David E. Bakken, Anjan Bose, K. Mani Chandy, Pramod P. Khargonekar, A. Kuh, Steven H. Low, A. von Meier, Kameshwar Poolla, Pravin Varaiya, Felix F. Wu: GRIP - Grids with intelligent periphery: Control architectures for Grid2050π. SmartGridComm 2011: 7-12
- [c72]Masoud Farivar, Christopher R. Clarke, Steven H. Low, K. Mani Chandy: Inverter VAR control for distribution systems with renewables. SmartGridComm 2011: 457-462
- [c71]Rui Huang, Steven H. Low, Ufuk Topcu, K. Mani Chandy, Christopher R. Clarke: Optimal design of hybrid energy system with PV/wind turbine/storage: A case study. SmartGridComm 2011: 511-516
- 2010
- [b2]K. Mani Chandy, W. Roy Schulte: Event Processing - Designing IT Systems for Agile Companies. McGraw-Hill 2010, ISBN 978-0-07-163350-5, pp. I-XVII, 1-235
- [j56]Deborah 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)
- [c70]K. Mani Chandy: A Web That Senses and Responds. From Active Data Management to Event-Based Systems and More 2010: 78-84
- [c69]K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu: A simple optimal power flow model with energy storage. CDC 2010: 1051-1057
- [c68]Concetta Pilotto, K. Mani Chandy, Jerome White: Consensus on asynchronous communication networks in presence of external input. CDC 2010: 3838-3844
- [c67]Annie H. Liu, Julian J. Bunn, K. Mani Chandy: An analysis of data fusion for radiation detection and localization. FUSION 2010: 1-8
2000 – 2009
- 2009
- [c66]K. Mani Chandy, Michael Olson: Specifications and Architectures of Federated Event-Driven Systems. AAAI Spring Symposium: Intelligent Event Processing 2009: 21-26
- [r1]
- 2008
- [c65]K. Mani Chandy, Sayan Mitra, Concetta Pilotto: Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232
- [c64]Sayan Mitra, K. Mani Chandy: A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245
- 2007
- [c63]K. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett: 07191 Summary -- Event Processing. Event Processing 2007
- [c62]Opher Etzion, K. Mani Chandy, Rainer von Ammon: 07191 Abstracts Collection -- Event Processing. Event Processing 2007
- [c61]K. Mani Chandy, Michel Charpentier, Agostino Capponi: Towards a theory of events. DEBS 2007: 180-187
- [c60]K. Mani Chandy, Michel Charpentier: Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67
- [c59]K. Mani Chandy, Dieter Gawlick: Event processing using database technology. SIGMOD Conference 2007: 1169-1170
- [e1]K. Mani Chandy, Opher Etzion, Rainer von Ammon (Eds.): Event Processing, 6.5. - 11.5.2007. Dagstuhl Seminar Proceedings 07191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [c58]Opher Etzion, K. Mani Chandy, Rainer von Ammon, W. Roy Schulte: Event-Driven Architectures and Complex Event Processing. IEEE SCC 2006
- [c57]K. Mani Chandy, Lu Tian, Daniel M. Zimmerman: Enterprise Computing Systems as Information Factories. EDOC 2006: 427-432
- [c56]
- [c55]Daniel M. Zimmerman, K. Mani Chandy: Snapshot Processing in Streaming Environments. GRID 2006: 319-320
- [c54]Andrey Khorlin, K. Mani Chandy: Control-Based Scheduling in a Distributed Stream Processing System. SCW 2006: 55-64
- 2005
- [c53]
- [c52]Elli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett: An Event Processing Language (EPL) for Building Sense and Respond Applications. IPDPS 2005
- [c51]
- 2004
- [j55]Michel Charpentier, K. Mani Chandy: Specification transformers: a predicate transformer approach to composition. Acta Inf. 40(4): 265-301 (2004)
- [c50]
- 2003
- [c49]Roman Ginis, K. Mani Chandy: Service Composition Issues for Distributed Business Processes. ICWS 2003: 27-33
- 2002
- [j54]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)
- [j53]K. Mani Chandy, Michel Charpentier: An Experiment in Program Composition and Proof. Formal Methods in System Design 20(1): 7-21 (2002)
- 2001
- [j52]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
- [c48]Michel Charpentier, K. Mani Chandy: Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595
- [c47]John Thornley, K. Mani Chandy: Monotonic Counters: A New Mechanism for Thread Synchronization. IPDPS 2000: 573-582
- [c46]
- [c45]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
1990 – 1999
- 1999
- [c44]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
- [c43]
- [c42]Michel Charpentier, K. Mani Chandy: Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227
- 1998
- [j51]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)
- [j50]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)
- [c41]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
- 1997
- [j49]K. Mani Chandy, Adam Rifkin: Systematic Composition of Distributed Objects: Processes and Sessions. Comput. J. 40(8): 465-478 (1997)
- [j48]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)
- [c40]K. Mani Chandy, Adam Rifkin: Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. HICSS (1) 1997: 395-404
- [c39]Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy: A General Resource Reservation Framework for Scientific Computing. ISCOPE 1997: 283-290
- 1996
- [c38]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
- [c37]K. Mani Chandy, Eve M. Schooler: Designing Directories in Distributed Systems: A Systematic Framework. HPDC 1996: 318-
- 1995
- [j47]Ian T. Foster, K. Mani Chandy: Fortran M: A Language for Modular Parallel Programming. J. Parallel Distrib. Comput. 26(1): 24-35 (1995)
- [j46]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)
- [j45]K. Mani Chandy, Beverly A. Sanders: Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995)
- [j44]K. Mani Chandy, Ian T. Foster: A Notation for Deterministic Cooperating Processes. IEEE Trans. Parallel Distrib. Syst. 6(8): 863-871 (1995)
- [c36]Maneesh Dhagat, Rajive Bagrodia, K. Mani Chandy: Integrating Task and Data Parallelism in UC. ICPP (2) 1995: 29-36
- [c35]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
- 1994
- [j43]
- 1993
- [j42]K. Mani Chandy, Rajive Bagrodia, Wen-Toh Liao: Concurrency and Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 3(4): 284-285 (1993)
- [c34]
- [c33]K. Mani Chandy, Ian T. Foster: Parallel Language Constructs for Paradigm Integration and Deterministic Computations. PARCO 1993: 3-12
- [c32]
- 1992
- [c31]
- [c30]K. Mani Chandy, Carl Kesselman: Compositional C++: Compositional Parallel Programming. LCPC 1992: 124-144
- 1991
- [j41]
- [j40]Rajive Bagrodia, K. Mani Chandy, Wen-Toh Liao: A Unifying Framework for Distributed Simulation. ACM Trans. Model. Comput. Simul. 1(4): 348-385 (1991)
- 1990
- [j39]
- [c29]Rajive Bagrodia, K. Mani Chandy, E. Kwan: UC: a language for the connection machine. SC 1990: 525-534
1980 – 1989
- 1989
- [b1]K. Mani Chandy, Jayadev Misra: Parallel program design - a foundation. Addison-Wesley 1989, ISBN 978-0-201-05866-6, pp. I-XXVIII, 1-516
- [c28]K. Mani Chandy: Mathematics of Program Construction Applied to Analog Neural Networks. MPC 1989: 21-35
- [c27]
- 1988
- [c26]
- [c25]
- [c24]
- 1987
- [j38]Rajive Bagrodia, K. Mani Chandy, Jayadev Misra: A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13(6): 654-665 (1987)
- [c23]
- [c22]K. Mani Chandy: Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS 1987: 171-173
- 1986
- [j37]
- [j36]K. Mani Chandy, Jayadev Misra: Systolic Algorithms as Programs. Distributed Computing 1(3): 177-183 (1986)
- [j35]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)
- 1985
- [j34]
- [j33]K. Mani Chandy, Leslie Lamport: Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst. 3(1): 63-75 (1985)
- [c21]Richard L. Gimarc, K. Mani Chandy: HSS: A Tool for Evaluating the Performance of Office Systems. Int. CMG Conference 1985: 30-41
- [c20]
- [c19]
- [c18]
- 1984
- [j32]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)
- [j31]K. Mani Chandy, Jayadev Misra: The Drinking Philosopher's Problem. ACM Trans. Program. Lang. Syst. 6(4): 632-646 (1984)
- 1983
- [j30]K. Mani Chandy, Alain J. Martin: A Characterization of Product-Form Queuing Networks. J. ACM 30(2): 286-299 (1983)
- [j29]K. Mani Chandy, Jayadev Misra, Laura M. Haas: Distributed Deadlock Detection. ACM Trans. Comput. Syst. 1(2): 144-156 (1983)
- [c17]Robert Berry, K. Mani Chandy: Performance models of token ring local area networks. SIGMETRICS 1983: 266-274
- 1982
- [j28]K. Mani Chandy, Doug Neuse: Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems. Commun. ACM 25(2): 126-134 (1982)
- [j27]K. Mani Chandy, Jayadev Misra: Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837 (1982)
- [j26]Doug Neuse, K. Mani Chandy: HAM: The Heuristic Aggregation Method. SIGMETRICS Performance Evaluation Review 11(4): 195-212 (1982)
- [j25]Jayadev Misra, K. Mani Chandy: Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982)
- [j24]Jayadev Misra, K. Mani Chandy: A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982)
- [c16]K. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse: The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256
- [c15]K. Mani Chandy, Jayadev Misra: A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164
- [c14]Jayadev Misra, K. Mani Chandy, Todd Smith: Proving Safety and Liveness of Communicating Processes with Examples. PODC 1982: 201-208
- 1981
- [j23]K. Mani Chandy, Jayadev Misra: Asynchronous Distributed Simulation via a Sequence of Parallel Computations. Commun. ACM 24(4): 198-206 (1981)
- [j22]K. Mani Chandy, Doug Neuse: Fast accurate heuristic algorithms for queueing network models of computing systems. Perform. Eval. 1(1): 96 (1981)
- [j21]Jayadev Misra, K. Mani Chandy: Proofs of Networks of Processes. IEEE Trans. Software Eng. 7(4): 417-426 (1981)
- [c13]Doug 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
- [c12]Doug Neuse, K. Mani Chandy: SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems. SIGMETRICS 1981: 59-79
- 1980
- [j20]K. Mani Chandy, Charles H. Sauer: Computational Algorithms for Product Form Queueing Networks. Commun. ACM 23(10): 573-583 (1980)
1970 – 1979
- 1979
- [j19]Charles H. Sauer, K. Mani Chandy: The Impact of Distributions and Disciplines on Multiple Processor Systems. Commun. ACM 22(1): 25-34 (1979)
- [j18]Randolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Computer Networks 3: 24-35 (1979)
- [j17]K. Mani Chandy, Victor Holmes, Jayadev Misra: Distributed Simulation of Networks. Computer Networks 3: 105-113 (1979)
- [j16]K. Mani Chandy, Jayadev Misra: Deadlock Absence Proofs for Networks of Communicating Processes. Inf. Process. Lett. 9(4): 185-189 (1979)
- [j15]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)
- [c11]Tilak Agerwala, K. Mani Chandy, D. E. Lang: A Modeling Approach and Design Tool for Pipelined Central Processors. ISCA 1979: 122-129
- 1978
- [j14]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)
- [j13]K. Mani Chandy, Charles H. Sauer: Approximate Methods for Analyzing Queueing Network Models of Computing Systems. ACM Comput. Surv. 10(3): 281-317 (1978)
- [c10]Randolph T. Yeh, K. Mani Chandy: On the Design of Elementary Distributed Systems. Berkeley Workshop 1978: 289-321
- 1977
- [j12]R. M. Brown, James C. Browne, K. Mani Chandy: Memory Management and Response Time. Commun. ACM 20(3): 153-165 (1977)
- [j11]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)
- [j10]K. Mani Chandy, J. Hogarth, Charles H. Sauer: Selecting Capacities in Computer Communication Systems. IEEE Trans. Software Eng. 3(4): 290-295 (1977)
- [c9]Lawrence Van Sickle, K. Mani Chandy: Computational Complexity of Network Design Algorithms. IFIP Congress 1977: 235-239
- [c8]
- 1976
- [c7]
- [c6]K. Mani Chandy, John H. Howard Jr., Donald F. Towsley: Product Form and Local Balance in Queueing Networks. Performance 1976: 89-101
- 1975
- [j9]K. Mani Chandy, Ulrich Herzog, Lin S. Woo: Parametric Analysis of Queuing Networks. IBM Journal of Research and Development 19(1): 36-42 (1975)
- [j8]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)
- [j7]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)
- [j6]Charles H. Sauer, K. Mani Chandy: Approximate Analysis of Central Server Models. IBM Journal of Research and Development 19(3): 301-313 (1975)
- [j5]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)
- [j4]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)
- [c5]K. Mani Chandy, P. F. Reynolds: Scheduling Partially Ordered Tasks with Probabilistic Execution Times. SOSP 1975: 169-177
- 1974
- [j3]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)
- [c4]P. F. Reynolds, K. Mani Chandy: A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs. Sagamore Computer Conference 1974: 203-204
- [c3]Tom W. Keller, K. Mani Chandy: Computer Models with Constrained Parallel Processors. Sagamore Computer Conference 1974: 207-208
- 1972
- [c2]K. Mani Chandy, C. V. Ramamoorthy, A. Cowan: A framework for hardware-software tradeoffs in the design of fault-tolerant computers. AFIPS Fall Joint Computing Conference (1) 1972: 55-63
- [c1]K. 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
- [j2]C. V. Ramamoorthy, K. Mani Chandy: Optimization of Memory Hierarchies in Multiprogrammed Systems. J. ACM 17(3): 426-445 (1970)
1960 – 1969
- 1968
- [j1]K. Mani Chandy, C. V. Ramamoorthy: Optimization of Information Storage Systems. Information and Control 13(6): 509-526 (1968)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:06 CEST by the dblp team