Skip to content

K. Mani Chandy

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

37

Venues

25

Active years

1972–2019

Best venue rank

A*

Where they publish

Papers

37 indexed papers, newest first.

YearVenueTitleAuthors
2019ICDCNCompositional structures for streaming applications.K. Mani Chandy, Julian J. Bunn
2017WSCParallel discrete event simulation: The making of a field.Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger
2014CISSSolving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow.Subhonmesh Bose, Dennice F. Gayme, K. Mani Chandy, Steven H. Low
2010FUSIONAn analysis of data fusion for radiation detection and localization.Annie H. Liu, Julian J. Bunn, K. Mani Chandy
2007ICDCSSelf-Similar Algorithms for Dynamic Distributed Systems.K. Mani Chandy, Michel Charpentier
2007SIGMODEvent processing using database technology.K. Mani Chandy, Dieter Gawlick
2006EDOCEnterprise Computing Systems as Information Factories.K. Mani Chandy, Lu Tian, Daniel M. Zimmerman
2004HiPCEvent Servers for Crisis Management.K. Mani Chandy
2003ICWSService Composition Issues for Distributed Business Processes.Roman Ginis, K. Mani Chandy
2000MPCTheorems about Composition.Michel Charpentier, K. Mani Chandy
1999FMTowards a Compositional Approach to the Design and Verification of Distributed Systems.Michel Charpentier, K. Mani Chandy
1998HiPCA general distributed event model.K. Mani Chandy, Roman Ginis, Eve M. Schooler
1996HPDCA World-Wide Distributed System Using Java and the Internet.K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, Jacob Mandelson, Matthew Richardson, Wesley Tanaka, Luke Weisman
1996HPDCDesigning Directories in Distributed Systems: A Systematic Framework.K. Mani Chandy, Eve M. Schooler
1995ICPPIntegrating Task and Data Parallelism in UC.Maneesh Dhagat, Rajive L. Bagrodia, K. Mani Chandy
1992ICLPThe Derivation of Compositional Programs.K. Mani Chandy, Carl Kesselman
1990SCUC: a language for the connection machine.Rajive L. Bagrodia, K. Mani Chandy, E. Kwan
1989MPCMathematics of Program Construction Applied to Analog Neural Networks.K. Mani Chandy
1989SCThe composition of concurrent programs.K. Mani Chandy
1987SRDSRepresenting Faulty Distributed Systems as Nondeterministic Sequential Systems.K. Mani Chandy
1985ICDCSA Micro-Kernel for Distributed Applications.Rajive L. Bagrodia, K. Mani Chandy
1985PODCConcurrent Programming For The Masses (PODC 1984 Invited Address).K. Mani Chandy
1985PODCHow Processes Learn.K. Mani Chandy, Jayadev Misra
1983SIGMETRICSPerformance models of token ring local area networks.Robert Berry, K. Mani Chandy
1982PODCA Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems.K. Mani Chandy, Jayadev Misra
1982PODCProving Safety and Liveness of Communicating Processes with Examples.Jayadev Misra, K. Mani Chandy, Todd Smith
1982SIGMETRICSHAM: The Heuristic Aggregation Method.Doug Neuse, K. Mani Chandy
1981SIGMETRICSSCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems.Doug Neuse, K. Mani Chandy
1980SIGMETRICSComputational algorithms for product form queueing networks.K. Mani Chandy, Charles H. Sauer
1979ISCAA Modeling Approach and Design Tool for Pipelined Central Processors.Tilak Agerwala, K. Mani Chandy, D. E. Lang
1978COMPSACA nontrivial example of concurrent processing: Distributed simulation.K. Mani Chandy, Jayadev Misra
1977VLDBModels of Distributed Systems.K. Mani Chandy
1976ICSEBayesian Models of Design Based on Intuition.K. Mani Chandy
1976PERFORMANCEProduct Form and Local Balance in Queueing Networks.K. Mani Chandy, John H. Howard Jr., Donald F. Towsley
1976SIGMETRICSFile allocation in distributed systems.K. Mani Chandy, J. E. Hewes
1975SOSPScheduling Partially Ordered Tasks with Probabilistic Execution Times.K. Mani Chandy, P. F. Reynolds
1972DACDesign automation and queueing networks: An interactive system for the evaluation of computer queueing models.K. Mani Chandy, Tom W. Keller, James C. Browne