default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDK. Mani Chandy
Kanianthra Mani Chandy
Person information
- affiliation: Caltech, Pasadena, USA
- award (2014): Dijkstra Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[c94]K. Mani Chandy, Julian J. Bunn:
Compositional structures for streaming applications. ICDCN 2019: 352-361- 2018
- [r2]K. Mani Chandy:
Event Driven Architecture. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [c93]Richard M. Fujimoto, Rajive L. Bagrodia, Randal E. Bryant, K. Mani Chandy, David R. Jefferson, Jayadev Misra, David M. Nicol, Brian W. Unger:
Parallel discrete event simulation: The making of a field. WSC 2017: 262-291 - 2016
- [c92]K. Mani Chandy:
Theory and implementation of a distributed event based platform. DEBS 2016: 205-213 - 2015
- [j68]Subhonmesh Bose, Dennice F. Gayme, K. Mani Chandy, Steven H. Low:
Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow. IEEE Trans. Control. Netw. Syst. 2(3): 278-287 (2015) - 2014
- [j67]Matthew Faulkner, Robert Clayton, Thomas Heaton, K. Mani Chandy, Monica Kohler, Julian J. Bunn, Richard Guy, Annie H. Liu, Michael Olson, MingHei Cheng, Andreas Krause
:
Community sense and response systems: your phone as quake detector. Commun. ACM 57(7): 66-75 (2014) - [c91]Subhonmesh Bose, Dennice F. Gayme, K. Mani Chandy, Steven H. Low:
Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow. CISS 2014: 1-5 - 2012
- [c90]Subhonmesh Bose, Steven H. Low, K. Mani Chandy:
Equivalence of branch flow and bus injection models. Allerton Conference 2012: 1893-1899 - [c89]Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu, K. Mani Chandy:
Optimal placement of energy storage in the grid. CDC 2012: 5605-5612 - [c88]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
- [j66]K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White:
Verification of distributed systems with local-global predicates. Formal Aspects Comput. 23(5): 649-679 (2011) - [c87]Michael Olson, K. Mani Chandy:
Performance Issues in Cloud Computing for Cyber-physical Applications. IEEE CLOUD 2011: 742-743 - [c86]Subhonmesh Bose, Dennice F. Gayme, Steven H. Low, K. Mani Chandy:
Optimal power flow over tree networks. Allerton 2011: 1342-1348 - [c85]Desmond W. H. Cai, Sachin Adlakha, K. Mani Chandy:
Optimal contract for wind power in day-ahead electricity markets. CDC/ECC 2011: 1521-1527 - [c84]Michael Olson, Annie H. Liu, Matthew Faulkner, K. Mani Chandy:
Rapid detection of rare geospatial events: earthquake warning applications. DEBS 2011: 89-100 - [c83]Pedro Bizarro, K. Mani Chandy, Nenad Stojanovic:
Event processing grand challenges. DEBS 2011: 361-362 - [c82]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 - [c81]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 - [c80]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 - [c79]David E. Bakken, Anjan Bose, K. Mani Chandy, Pramod P. Khargonekar, Anthony Kuh, Steven H. Low, Alexandra von Meier, Kameshwar Poolla, Pravin Varaiya, Felix F. Wu:
GRIP - Grids with intelligent periphery: Control architectures for Grid2050π. SmartGridComm 2011: 7-12 - [c78]Masoud Farivar, Christopher R. Clarke, Steven H. Low, K. Mani Chandy:
Inverter VAR control for distribution systems with renewables. SmartGridComm 2011: 457-462 - [c77]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 - [j65]Deborah Estrin, K. Mani Chandy, Robert 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 Comput. 14(1): 12-42 (2010) - [c76]Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, K. Mani Chandy:
Load-shedding probabilities with hybrid renewable power generation and energy storage. Allerton 2010: 233-239 - [c75]K. Mani Chandy:
A Web That Senses and Responds. From Active Data Management to Event-Based Systems and More 2010: 78-84 - [c74]K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu:
A simple optimal power flow model with energy storage. CDC 2010: 1051-1057 - [c73]Concetta Pilotto, K. Mani Chandy, Jerome White:
Consensus on asynchronous communication networks in presence of external input. CDC 2010: 3838-3844 - [c72]Annie H. Liu, Julian J. Bunn, K. Mani Chandy:
An analysis of data fusion for radiation detection and localization. FUSION 2010: 1-8 - [e3]K. Mani Chandy, Opher Etzion, Rainer von Ammon:
Event Processing, 16.05. - 21.05.2010. Dagstuhl Seminar Proceedings 10201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i3]K. Mani Chandy, Opher Etzion, Rainer von Ammon:
10201 Executive Summary and Manifesto - Event Processing. Event Processing 2010
2000 – 2009
- 2009
- [c71]K. Mani Chandy, Michael Olson:
Specifications and Architectures of Federated Event-Driven Systems. AAAI Spring Symposium: Intelligent Event Processing 2009: 21-26 - [r1]K. Mani Chandy:
Event Driven Architecture. Encyclopedia of Database Systems 2009: 1040-1044 - 2008
- [c70]K. Mani Chandy, Sayan Mitra, Concetta Pilotto:
Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232 - [c69]Sayan Mitra, K. Mani Chandy:
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245 - 2007
- [c68]K. Mani Chandy, Michel Charpentier, Agostino Capponi:
Towards a theory of events. DEBS 2007: 180-187 - [c67]K. Mani Chandy, Michel Charpentier:
Self-Similar Algorithms for Dynamic Distributed Systems. ICDCS 2007: 67 - [c66]K. Mani Chandy, Dieter Gawlick:
Event processing using database technology. SIGMOD Conference 2007: 1169-1170 - [e2]K. Mani Chandy, Opher Etzion, Rainer von Ammon:
Event Processing, 6.5. - 11.5.2007. Dagstuhl Seminar Proceedings 07191, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i2]K. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett:
07191 Summary -- Event Processing. Event Processing 2007 - [i1]Opher Etzion, K. Mani Chandy, Rainer von Ammon:
07191 Abstracts Collection -- Event Processing. Event Processing 2007 - 2006
- [c65]Opher Etzion, K. Mani Chandy, Rainer von Ammon, W. Roy Schulte:
Event-Driven Architectures and Complex Event Processing. IEEE SCC 2006 - [c64]K. Mani Chandy, Lu Tian, Daniel M. Zimmerman:
Enterprise Computing Systems as Information Factories. EDOC 2006: 427-432 - [c63]Lu Tian, K. Mani Chandy:
Resource Allocation in Streaming Environments. GRID 2006: 270-277 - [c62]Daniel M. Zimmerman, K. Mani Chandy:
Snapshot Processing in Streaming Environments. GRID 2006: 319-320 - [c61]Andrey Khorlin, K. Mani Chandy:
Control-Based Scheduling in a Distributed Stream Processing System. SCW 2006: 55-64 - 2005
- [c60]K. Mani Chandy:
Sense and Respond Systems. Int. CMG Conference 2005: 59-66 - [c59]Elli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett:
An Event Processing Language (EPL) for Building Sense and Respond Applications. IPDPS 2005 - [c58]Daniel M. Zimmerman, K. Mani Chandy:
A Parallel Algorithm for Correlating Event Streams. IPDPS 2005 - 2004
- [j64]Michel Charpentier, K. Mani Chandy:
Specification transformers: a predicate transformer approach to composition. Acta Informatica 40(4): 265-301 (2004) - [c57]K. Mani Chandy:
Event Servers for Crisis Management. HiPC 2004: 3 - 2003
- [c56]Roman Ginis, K. Mani Chandy:
Service Composition Issues for Distributed Business Processes. ICWS 2003: 27-33 - 2002
- [j63]K. Mani Chandy, Axel Fuchs, Bill Janssen, Deepak Mulchandani, Mark D. Weiser:
IC Online: Ubiquitous Computing: The Future of Development? IEEE Distributed Syst. Online 3(3) (2002) - [j62]K. Mani Chandy, Michel Charpentier:
An Experiment in Program Composition and Proof. Formal Methods Syst. Des. 20(1): 7-21 (2002) - 2001
- [j61]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 Distributed Comput. 61(12): 1827-1841 (2001) - 2000
- [c55]Michel Charpentier, K. Mani Chandy:
Reasoning about Composition Using Property Transformers and Their Conjugates. IFIP TCS 2000: 580-595 - [c54]John Thornley, K. Mani Chandy:
Monotonic Counters: A New Mechanism for Thread Synchronization. IPDPS 2000: 573-582 - [c53]Michel Charpentier, K. Mani Chandy:
Theorems about Composition. MPC 2000: 167-186 - [c52]Roman Ginis, K. Mani Chandy:
Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment. EC 2000: 207-214
1990 – 1999
- 1999
- [c51]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 - [c50]Berna L. Massingill, K. Mani Chandy:
Parallel Program Archetypes. IPPS/SPDP 1999: 290-296 - [c49]Michel Charpentier, K. Mani Chandy:
Examples of Program Composition Illustrating the Use of Universal Properties. IPPS/SPDP Workshops 1999: 1215-1227 - 1998
- [j60]K. Mani Chandy, Adam Rifkin, Eve M. Schooler:
Using announce-listen with global events to develop distributed control systems. Concurr. Pract. Exp. 10(11-13): 1021-1027 (1998) - [j59]K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman:
A Framework for Structured Distributed Object Computing. Parallel Comput. 24(12-13): 1901-1922 (1998) - [c48]K. Mani Chandy, Roman Ginis, Eve M. Schooler:
A general distributed event model. HiPC 1998: 119-123 - [c47]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
- [j58]K. Mani Chandy, Adam Rifkin:
Systematic Composition of Distributed Objects: Processes and Sessions. Comput. J. 40(8): 465-478 (1997) - [j57]K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman:
Webs of Archived Distributed Computations for Asynchronous Collaboration. J. Supercomput. 11(2): 101-118 (1997) - [c46]K. Mani Chandy, Adam Rifkin:
Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. HICSS (1) 1997: 395-404 - [c45]Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy:
A General Resource Reservation Framework for Scientific Computing. ISCOPE 1997: 283-290 - 1996
- [c44]K. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, Jacob Mandelson, Matthew Richardson, Wesley Tanaka, Luke Weisman:
A World-Wide Distributed System Using Java and the Internet. HPDC 1996: 11-18 - [c43]K. Mani Chandy, Eve M. Schooler:
Designing Directories in Distributed Systems: A Systematic Framework. HPDC 1996: 318-328 - 1995
- [j56]Ian T. Foster, K. Mani Chandy:
Fortran M: A Language for Modular Parallel Programming. J. Parallel Distributed Comput. 26(1): 24-35 (1995) - [j55]Rajive L. Bagrodia, K. Mani Chandy, Maneesh Dhagat:
UC: A Set-Based Language for Data-Parallel Programming. J. Parallel Distributed Comput. 28(2): 186-201 (1995) - [j54]K. Mani Chandy, Beverly A. Sanders:
Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24(2): 129-148 (1995) - [j53]K. Mani Chandy, Ian T. Foster:
A Notation for Deterministic Cooperating Processes. IEEE Trans. Parallel Distributed Syst. 6(8): 863-871 (1995) - [c42]Maneesh Dhagat, Rajive L. Bagrodia, K. Mani Chandy:
Integrating Task and Data Parallelism in UC. ICPP (2) 1995: 29-36 - [c41]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
- [j52]K. Mani Chandy:
Properties of Concurrent Programs. Formal Aspects Comput. 6(6): 607-619 (1994) - [j51]K. Mani Chandy, Ian T. Foster, Ken Kennedy, Charles Koelbel, Chau-Wen Tseng:
Integrated Support for Task and Data Parallelism. Int. J. High Perform. Comput. Appl. 8(2): 80-98 (1994) - [c40]K. Mani Chandy, Beverly A. Sanders:
Compositional Specifications of Parallel Programs: NondeterministicData Flow. Specification of Parallel Algorithms 1994: 51-63 - [e1]Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan:
Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994. DIMACS Series in Discrete Mathematics and Theoretical Computer Science 18, DIMACS/AMS 1994, ISBN 978-0-8218-0253-3 [contents] - 1993
- [j50]K. Mani Chandy, Rajive L. Bagrodia, Wen-Toh Liao:
Concurrency and Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 3(4): 284-285 (1993) - [c39]K. Mani Chandy:
Writing Correct Parallel Programs. IPPS 1993: 630-634 - [c38]K. Mani Chandy, Ian T. Foster:
Parallel Language Constructs for Paradigm Integration and Deterministic Computations. PARCO 1993: 3-12 - [c37]K. Mani Chandy, Ian T. Foster:
Deterministic Parallel FORTRAN. PPSC 1993: 798-805 - 1992
- [c36]K. Mani Chandy, Carl Kesselman:
The Derivation of Compositional Programs. JICSLP 1992: 3-17 - [c35]K. Mani Chandy, Carl Kesselman:
Compositional C++: Compositional Parallel Programming. LCPC 1992: 124-144 - 1991
- [j49]K. Mani Chandy, Carl Kesselman:
Parallel Programming in 2001. IEEE Softw. 8(6): 11-20 (1991) - [j48]Rajive L. Bagrodia, K. Mani Chandy, Wen-Toh Liao:
A Unifying Framework for Distributed Simulation. ACM Trans. Model. Comput. Simul. 1(4): 348-385 (1991) - 1990
- [j47]K. Mani Chandy:
Reasoning About Continuous Systems. Sci. Comput. Program. 14(2-3): 117-132 (1990) - [c34]Rajive L. 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 - [c33]K. Mani Chandy:
Mathematics of Program Construction Applied to Analog Neural Networks. MPC 1989: 21-35 - [c32]K. Mani Chandy:
The composition of concurrent programs. SC 1989: 557-561 - 1988
- [j46]K. Mani Chandy, Jayadev Misra:
Another view on "fairness". ACM SIGSOFT Softw. Eng. Notes 13(3): 20 (1988) - [c31]K. Mani Chandy:
Performance Management of Parallel Computers. Int. CMG Conference 1988: 1076-1078 - [c30]Rajive L. Bagrodia, K. Mani Chandy:
Programming the Connection Machine. ICCL 1988: 50-57 - [c29]K. Mani Chandy:
Programming parallel computers. ICCL 1988: 314-321 - 1987
- [j45]Rajive L. Bagrodia, K. Mani Chandy, Jayadev Misra:
A Message-Based Approach to Discrete-Event Simulation. IEEE Trans. Software Eng. 13(6): 654-665 (1987) - [c28]K. Mani Chandy, Jayadev Misra:
Parallelism and Programming: A Perspective. FSTTCS 1987: 173-194 - [c27]K. Mani Chandy:
Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. SRDS 1987: 171-173 - 1986
- [j44]K. Mani Chandy, Jayadev Misra:
How Processes Learn. Distributed Comput. 1(1): 40-52 (1986) - [j43]K. Mani Chandy, Jayadev Misra:
Systolic Algorithms as Programs. Distributed Comput. 1(3): 177-183 (1986) - [j42]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
- [j41]Ted Herman, K. Mani Chandy:
On Distributed Search. Inf. Process. Lett. 21(3): 129-133 (1985) - [j40]K. Mani Chandy, Leslie Lamport:
Distributed Snapshots: Determining Global States of Distributed Systems. ACM Trans. Comput. Syst. 3(1): 63-75 (1985) - [c26]Richard L. Gimarc, K. Mani Chandy:
HSS: A Tool for Evaluating the Performance of Office Systems. Int. CMG Conference 1985: 30-41 - [c25]Rajive L. Bagrodia, K. Mani Chandy:
A Micro-Kernel for Distributed Applications. ICDCS 1985: 140-149 - [c24]K. Mani Chandy:
Concurrent Programming For The Masses (PODC 1984 Invited Address). PODC 1985: 1-12 - [c23]K. Mani Chandy, Jayadev Misra:
How Processes Learn. PODC 1985: 204-214 - 1984
- [j39]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) - [j38]K. Mani Chandy, Jayadev Misra:
The Drinking Philosopher's Problem. ACM Trans. Program. Lang. Syst. 6(4): 632-646 (1984) - [c22]K. Mani Chandy, Jayadev Misra:
A Paradigm for Detecting Quiescent Properties in Distributed Computations. Logics and Models of Concurrent Systems 1984: 325-341 - 1983
- [j37]K. Mani Chandy, Alain J. Martin:
A Characterization of Product-Form Queuing Networks. J. ACM 30(2): 286-299 (1983) - [j36]K. Mani Chandy, Jayadev Misra, Laura M. Haas:
Distributed Deadlock Detection. ACM Trans. Comput. Syst. 1(2): 144-156 (1983) - [c21]Robert Berry, K. Mani Chandy:
Performance models of token ring local area networks. SIGMETRICS 1983: 266-274 - 1982
- [j35]K. Mani Chandy, Doug Neuse:
Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems. Commun. ACM 25(2): 126-134 (1982) - [j34]K. Mani Chandy, Jayadev Misra:
Distributed Computation on Graphs: Shortest Path Algorithms. Commun. ACM 25(11): 833-837 (1982) - [j33]Jayadev Misra, K. Mani Chandy:
Termination Detection of Diffusing Computations in Communicating Sequential Processes. ACM Trans. Program. Lang. Syst. 4(1): 37-43 (1982) - [j32]Jayadev Misra, K. Mani Chandy:
A Distributed Graph Algorithm: Knot Detection. ACM Trans. Program. Lang. Syst. 4(4): 678-686 (1982) - [c20]K. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse:
The use of performance models in systematic design. AFIPS National Computer Conference 1982: 251-256 - [c19]K. Mani Chandy, Jayadev Misra:
A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. PODC 1982: 157-164 - [c18]Jayadev Misra, K. Mani Chandy, Todd Smith:
Proving Safety and Liveness of Communicating Processes with Examples. PODC 1982: 201-208 - [c17]Doug Neuse, K. Mani Chandy:
HAM: The Heuristic Aggregation Method. SIGMETRICS 1982: 195-212 - 1981
- [j31]K. Mani Chandy, Jayadev Misra:
Asynchronous Distributed Simulation via a Sequence of Parallel Computations. Commun. ACM 24(4): 198-206 (1981) - [j30]K. Mani Chandy, Doug Neuse:
Fast accurate heuristic algorithms for queueing network models of computing systems. Perform. Evaluation 1(1): 96 (1981) - [j29]Jayadev Misra, K. Mani Chandy:
Proofs of Networks of Processes. IEEE Trans. Software Eng. 7(4): 417-426 (1981) - [c16]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 - [c15]Doug Neuse, K. Mani Chandy:
SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems. SIGMETRICS 1981: 59-79 - 1980
- [j28]K. Mani Chandy, Charles H. Sauer:
Computational Algorithms for Product Form Queueing Networks. Commun. ACM 23(10): 573-583 (1980) - [j27]Charles H. Sauer, K. Mani Chandy:
Approximate Solution of Queueing Models. Computer 13(4): 25-32 (1980) - [j26]K. Mani Chandy, Jayadev Misra:
A simple model of distributed programs based on implementation-hiding and process autonomy. ACM SIGPLAN Notices 15(7-8): 26-35 (1980) - [c14]K. Mani Chandy, Charles H. Sauer:
Computational algorithms for product form queueing networks. Performance 1980: 1
1970 – 1979
- 1979
- [j25]Charles H. Sauer, K. Mani Chandy:
The Impact of Distributions and Disciplines on Multiple Processor Systems. Commun. ACM 22(1): 25-34 (1979) - [j24]Randolph T. Yeh, K. Mani Chandy:
On the Design of Elementary Distributed Systems. Comput. Networks 3: 24-35 (1979) - [j23]K. Mani Chandy, Victor Holmes, Jayadev Misra:
Distributed Simulation of Networks. Comput. Networks 3: 105-113 (1979) - [j22]K. Mani Chandy, Jayadev Misra:
Deadlock Absence Proofs for Networks of Communicating Processes. Inf. Process. Lett. 9(4): 185-189 (1979) - [j21]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) - [c13]Tilak Agerwala, K. Mani Chandy, D. E. Lang:
A Modeling Approach and Design Tool for Pipelined Central Processors. ISCA 1979: 122-129 - 1978
- [j20]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) - [j19]K. Mani Chandy, Charles H. Sauer:
Approximate Methods for Analyzing Queueing Network Models of Computing Systems. ACM Comput. Surv. 10(3): 281-317 (1978) - [c12]Randolph T. Yeh, K. Mani Chandy:
On the Design of Elementary Distributed Systems. Berkeley Workshop 1978: 289-321 - [c11]K. Mani Chandy, Jayadev Misra:
A nontrivial example of concurrent processing: Distributed simulation. COMPSAC 1978: 822-826 - 1977
- [j18]R. M. Brown, James C. Browne, K. Mani Chandy:
Memory Management and Response Time. Commun. ACM 20(3): 153-165 (1977) - [j17]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) - [j16]K. Mani Chandy, John Hogarth, Charles H. Sauer:
Selecting Capacities in Computer Communication Systems. IEEE Trans. Software Eng. 3(4): 290-295 (1977) - [c10]Lawrence Van Sickle, K. Mani Chandy:
Computational Complexity of Network Design Algorithms. IFIP Congress 1977: 235-239 - [c9]K. Mani Chandy:
Models of Distributed Systems. VLDB 1977: 105-120 - 1976
- [c8]K. Mani Chandy:
Bayesian Models of Design Based on Intuition. ICSE 1976: 281-285 - [c7]K. Mani Chandy, John H. Howard Jr., Donald F. Towsley:
Product Form and Local Balance in Queueing Networks. Performance 1976: 89-101 - [c6]K. Mani Chandy, J. E. Hewes:
File allocation in distributed systems. SIGMETRICS 1976: 10-13 - 1975
- [j15]K. Mani Chandy:
A Survey of Analytic Models of Rollback and Recovery Stratergies. Computer 8(5): 40-47 (1975) - [j14]K. Mani Chandy, Ulrich Herzog, Lin S. Woo:
Parametric Analysis of Queuing Networks. IBM J. Res. Dev. 19(1): 36-42 (1975) - [j13]K. Mani Chandy, Ulrich Herzog, Lin S. Woo:
Approximate Analysis of General Queuing Networks. IBM J. Res. Dev. 19(1): 43-49 (1975) - [j12]Ulrich Herzog, Lin S. Woo, K. Mani Chandy:
Solution of Queuing Problems by a Recursive Technique. IBM J. Res. Dev. 19(3): 295-300 (1975) - [j11]Charles H. Sauer, K. Mani Chandy:
Approximate Analysis of Central Server Models. IBM J. Res. Dev. 19(3): 301-313 (1975) - [j10]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) - [j9]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
- [j8]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 - 1973
- [j7]K. Mani Chandy, Tachen Lo:
The Capacitated Minimum Spanning Tree. Networks 3(2): 173-181 (1973) - [j6]James C. Browne, K. Mani Chandy, John Hogarth, Chester C.-A. Lee:
The Effect on Throughput of Multiprocessing in a Multiprogramming Environment. IEEE Trans. Computers 22(8): 728-735 (1973) - 1972
- [j5]Chittoor V. Ramamoorthy, K. Mani Chandy, Mario J. Gonzalez Jr.:
Optimal Scheduling Strategies in a Multiprocessor System. IEEE Trans. Computers 21(2): 137-146 (1972) - [j4]K. Mani Chandy, Chittoor V. Ramamoorthy:
Rollback and Recovery Strategies for Computer Programs. IEEE Trans. Computers 21(6): 546-556 (1972) - [j3]K. Mani Chandy, Robert A. Russell:
The Design or Multipoint Linkages in a Teleprocessing Tree Network. IEEE Trans. Computers 21(10): 1062-1066 (1972) - [c2]K. Mani Chandy, Chittoor 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]Chittoor 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, Chittoor V. Ramamoorthy:
Optimization of Information Storage Systems. Inf. Control. 13(6): 509-526 (1968)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
