The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

K. Mani Chandy: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. K. Mani Chandy, Leslie Lamport
    Distributed Snapshots: Determining Global States of Distributed Systems [Citation Graph (14, 0)][DBLP]
    ACM Trans. Comput. Syst., 1985, v:3, n:1, pp:63-75 [Journal]
  2. K. Mani Chandy, Jayadev Misra, Laura M. Haas
    Distributed Deadlock Detection [Citation Graph (13, 0)][DBLP]
    ACM Trans. Comput. Syst., 1983, v:1, n:2, pp:144-156 [Journal]
  3. K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig
    Analytic Models for Rollback and Recovery Strategies in Data Base Systems. [Citation Graph (10, 0)][DBLP]
    IEEE Trans. Software Eng., 1975, v:1, n:1, pp:100-110 [Journal]
  4. K. Mani Chandy, Jayadev Misra
    A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. [Citation Graph (9, 0)][DBLP]
    PODC, 1982, pp:157-164 [Conf]
  5. Forest Baskett, K. Mani Chandy, Richard R. Muntz, Fernando G. Palacios
    Open, Closed, and Mixed Networks of Queues with Different Classes of Customers. [Citation Graph (6, 0)][DBLP]
    J. ACM, 1975, v:22, n:2, pp:248-260 [Journal]
  6. K. Mani Chandy, Jayadev Misra
    An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection. [Citation Graph (4, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1986, v:8, n:3, pp:326-343 [Journal]
  7. K. Mani Chandy
    Models of Distributed Systems. [Citation Graph (3, 29)][DBLP]
    VLDB, 1977, pp:105-120 [Conf]
  8. C. V. Ramamoorthy, K. Mani Chandy
    Optimization of Memory Hierarchies in Multiprogrammed Systems. [Citation Graph (3, 0)][DBLP]
    J. ACM, 1970, v:17, n:3, pp:426-445 [Journal]
  9. Jayadev Misra, K. Mani Chandy
    Termination Detection of Diffusing Computations in Communicating Sequential Processes. [Citation Graph (3, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:1, pp:37-43 [Journal]
  10. K. Mani Chandy, Charles H. Sauer
    Approximate Methods for Analyzing Queueing Network Models of Computing Systems. [Citation Graph (2, 0)][DBLP]
    ACM Comput. Surv., 1978, v:10, n:3, pp:281-317 [Journal]
  11. K. Mani Chandy, Ulrich Herzog, Lin S. Woo
    Parametric Analysis of Queuing Networks. [Citation Graph (2, 0)][DBLP]
    IBM Journal of Research and Development, 1975, v:19, n:1, pp:36-42 [Journal]
  12. Jayadev Misra, K. Mani Chandy
    A Distributed Graph Algorithm: Knot Detection. [Citation Graph (2, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:4, pp:678-686 [Journal]
  13. Thomas L. Adam, K. Mani Chandy, J. R. Dickson
    A Comparison of List Schedules for Parallel Processing Systems. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1974, v:17, n:12, pp:685-690 [Journal]
  14. K. Mani Chandy, Jayadev Misra
    Asynchronous Distributed Simulation via a Sequence of Parallel Computations. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1981, v:24, n:4, pp:198-206 [Journal]
  15. K. Mani Chandy, Jayadev Misra
    Distributed Computation on Graphs: Shortest Path Algorithms. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1982, v:25, n:11, pp:833-837 [Journal]
  16. K. Mani Chandy, Jayadev Misra
    How Processes Learn. [Citation Graph (1, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:1, pp:40-52 [Journal]
  17. K. Mani Chandy, C. V. Ramamoorthy
    Optimization of Information Storage Systems [Citation Graph (1, 0)][DBLP]
    Information and Control, 1968, v:13, n:6, pp:509-526 [Journal]
  18. K. Mani Chandy, John H. Howard Jr., Donald F. Towsley
    Product Form and Local Balance in Queueing Networks. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1977, v:24, n:2, pp:250-263 [Journal]
  19. K. Mani Chandy, J. Hogarth, Charles H. Sauer
    Selecting Capacities in Computer Communication Systems. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1977, v:3, n:4, pp:290-295 [Journal]
  20. Jayadev Misra, K. Mani Chandy
    Proofs of Networks of Processes. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1981, v:7, n:4, pp:417-426 [Journal]
  21. Opher Etzion, K. Mani Chandy, Rainer von Ammon, Roy Schulte
    Event-Driven Architectures and Complex Event Processing. [Citation Graph (0, 0)][DBLP]
    IEEE SCC, 2006, pp:- [Conf]
  22. Randolph T. Yeh, K. Mani Chandy
    On the Design of Elementary Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Berkeley Workshop, 1978, pp:289-321 [Conf]
  23. K. Mani Chandy
    Sense and Respond Systems. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 2005, pp:59-66 [Conf]
  24. K. Mani Chandy
    Performance Management of Parallel Computers. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1988, pp:1076-1078 [Conf]
  25. Richard L. Gimarc, K. Mani Chandy
    HSS: A Tool for Evaluating the Performance of Office Systems. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1985, pp:30-41 [Conf]
  26. Doug Neuse, K. Mani Chandy, Jayadev Misra, R. Berry
    A Computer Modeling System Based on a User-Extensible Modeling Library. [Citation Graph (0, 0)][DBLP]
    Int. CMG Conference, 1981, pp:127-129 [Conf]
  27. Michel Charpentier, K. Mani Chandy
    Towards a Compositional Approach to the Design and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:570-589 [Conf]
  28. K. Mani Chandy, Jayadev Misra
    Parallelism and Programming: A Perspective. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1987, pp:173-194 [Conf]
  29. K. Mani Chandy, Adam Rifkin
    Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:395-404 [Conf]
  30. K. Mani Chandy
    Event Servers for Crisis Management. [Citation Graph (0, 0)][DBLP]
    HiPC, 2004, pp:3- [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    HPDC, 1996, pp:11-18 [Conf]
  32. K. Mani Chandy, Eve M. Schooler
    Designing Directories in Distributed Systems: A Systematic Framework. [Citation Graph (0, 0)][DBLP]
    HPDC, 1996, pp:318-0 [Conf]
  33. Rajive Bagrodia, K. Mani Chandy
    Programming the Connection Machine. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:50-57 [Conf]
  34. K. Mani Chandy
    Programming parallel computers. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:314-321 [Conf]
  35. Rajive Bagrodia, K. Mani Chandy
    A Micro-Kernel for Distributed Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1985, pp:140-149 [Conf]
  36. K. Mani Chandy, Carl Kesselman
    The Derivation of Compositional Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:3-17 [Conf]
  37. Maneesh Dhagat, Rajive Bagrodia, K. Mani Chandy
    Integrating Task and Data Parallelism in UC. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1995, pp:29-36 [Conf]
  38. K. Mani Chandy
    Bayesian Models of Design Based on Intuition. [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:281-285 [Conf]
  39. Roman Ginis, K. Mani Chandy
    Service Composition Issues for Distributed Business Processes. [Citation Graph (0, 0)][DBLP]
    ICWS, 2003, pp:27-33 [Conf]
  40. Lawrence Van Sickle, K. Mani Chandy
    Computational Complexity of Network Design Algorithms. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:235-239 [Conf]
  41. Michel Charpentier, K. Mani Chandy
    Reasoning about Composition Using Property Transformers and Their Conjugates. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2000, pp:580-595 [Conf]
  42. Elli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett
    An Event Processing Language (EPL) for Building Sense and Respond Applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  43. K. Mani Chandy
    Writing Correct Parallel Programs. [Citation Graph (0, 0)][DBLP]
    IPPS, 1993, pp:630-634 [Conf]
  44. K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron
    Integrating task and data parallelism with the group communication archetype. [Citation Graph (0, 0)][DBLP]
    IPPS, 1995, pp:724-733 [Conf]
  45. K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry
    A Cottage Industry of Software Publishing: Implications for Theories of Composition. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1998, pp:890-899 [Conf]
  46. Michel Charpentier, K. Mani Chandy
    Examples of Program Composition Illustrating the Use of Universal Properties. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:1215-1227 [Conf]
  47. Berna L. Massingill, K. Mani Chandy
    Parallel Program Archetypes. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP, 1999, pp:290-296 [Conf]
  48. John Thornley, K. Mani Chandy
    Monotonic Counters: A New Mechanism for Thread Synchronization. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2000, pp:573-582 [Conf]
  49. Daniel M. Zimmerman, K. Mani Chandy
    A Parallel Algorithm for Correlating Event Streams. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  50. Tilak Agerwala, K. Mani Chandy, D. E. Lang
    A Modeling Approach and Design Tool for Pipelined Central Processors. [Citation Graph (0, 0)][DBLP]
    ISCA, 1979, pp:122-129 [Conf]
  51. Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy
    A General Resource Reservation Framework for Scientific Computing. [Citation Graph (0, 0)][DBLP]
    ISCOPE, 1997, pp:283-290 [Conf]
  52. K. Mani Chandy, Carl Kesselman
    Compositional C++: Compositional Parallel Programming. [Citation Graph (0, 0)][DBLP]
    LCPC, 1992, pp:124-144 [Conf]
  53. K. Mani Chandy
    Mathematics of Program Construction Applied to Analog Neural Networks. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:21-35 [Conf]
  54. Michel Charpentier, K. Mani Chandy
    Theorems about Composition. [Citation Graph (0, 0)][DBLP]
    MPC, 2000, pp:167-186 [Conf]
  55. K. Mani Chandy, Ian T. Foster
    Parallel Language Constructs for Paradigm Integration and Deterministic Computations. [Citation Graph (0, 0)][DBLP]
    PARCO, 1993, pp:3-12 [Conf]
  56. K. Mani Chandy, John H. Howard Jr., Donald F. Towsley
    Product Form and Local Balance in Queueing Networks. [Citation Graph (0, 0)][DBLP]
    Performance, 1976, pp:89-101 [Conf]
  57. K. Mani Chandy
    Concurrent Programming For The Masses (PODC 1984 Invited Address). [Citation Graph (0, 0)][DBLP]
    PODC, 1985, pp:1-12 [Conf]
  58. K. Mani Chandy, Jayadev Misra
    How Processes Learn. [Citation Graph (0, 0)][DBLP]
    PODC, 1985, pp:204-214 [Conf]
  59. Jayadev Misra, K. Mani Chandy, Todd Smith
    Proving Safety and Liveness of Communicating Processes with Examples. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:201-208 [Conf]
  60. K. Mani Chandy, Ian T. Foster
    Deterministic Parallel FORTRAN. [Citation Graph (0, 0)][DBLP]
    PPSC, 1993, pp:798-805 [Conf]
  61. Tom W. Keller, K. Mani Chandy
    Computer Models with Constrained Parallel Processors. [Citation Graph (0, 0)][DBLP]
    Sagamore Computer Conference, 1974, pp:207-208 [Conf]
  62. P. F. Reynolds, K. Mani Chandy
    A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs. [Citation Graph (0, 0)][DBLP]
    Sagamore Computer Conference, 1974, pp:203-204 [Conf]
  63. Rajive Bagrodia, K. Mani Chandy, E. Kwan
    UC: a language for the connection machine. [Citation Graph (0, 0)][DBLP]
    SC, 1990, pp:525-534 [Conf]
  64. Roman Ginis, K. Mani Chandy
    Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Electronic Commerce, 2000, pp:207-214 [Conf]
  65. Doug Neuse, K. Mani Chandy
    SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS, 1981, pp:59-79 [Conf]
  66. K. Mani Chandy, P. F. Reynolds
    Scheduling Partially Ordered Tasks with Probabilistic Execution Times. [Citation Graph (0, 0)][DBLP]
    SOSP, 1975, pp:169-177 [Conf]
  67. K. Mani Chandy
    Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 1987, pp:171-173 [Conf]
  68. Michel Charpentier, K. Mani Chandy
    Specification transformers: a predicate transformer approach to composition. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2004, v:40, n:4, pp:265-301 [Journal]
  69. R. M. Brown, James C. Browne, K. Mani Chandy
    Memory Management and Response Time. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:3, pp:153-165 [Journal]
  70. K. Mani Chandy, Doug Neuse
    Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1982, v:25, n:2, pp:126-134 [Journal]
  71. K. Mani Chandy, Charles H. Sauer
    Computational Algorithms for Product Form Queueing Networks. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1980, v:23, n:10, pp:573-583 [Journal]
  72. Charles H. Sauer, K. Mani Chandy
    The Impact of Distributions and Disciplines on Multiple Processor Systems. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1979, v:22, n:1, pp:25-34 [Journal]
  73. 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. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1978, v:21, n:10, pp:821-831 [Journal]
  74. K. Mani Chandy, Adam Rifkin
    Systematic Composition of Distributed Objects: Processes and Sessions. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1997, v:40, n:8, pp:465-478 [Journal]
  75. K. Mani Chandy, Victor Holmes, Jayadev Misra
    Distributed Simulation of Networks. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1979, v:3, n:, pp:105-113 [Journal]
  76. Randolph T. Yeh, K. Mani Chandy
    On the Design of Elementary Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1979, v:3, n:, pp:24-35 [Journal]
  77. K. Mani Chandy, Adam Rifkin, Eve M. Schooler
    Using announce-listen with global events to develop distributed control systems. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1998, v:10, n:11-13, pp:1021-1027 [Journal]
  78. K. Mani Chandy, Jayadev Misra
    Systolic Algorithms as Programs. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1986, v:1, n:3, pp:177-183 [Journal]
  79. K. Mani Chandy, Axel Fuchs, Bill Janssen, Deepak Mulchandani, Mark Weiser
    IC Online: Ubiquitous Computing: The Future of Development? [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2002, v:3, n:3, pp:- [Journal]
  80. K. Mani Chandy
    Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6, pp:607-619 [Journal]
  81. K. Mani Chandy, Michel Charpentier
    An Experiment in Program Composition and Proof. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:20, n:1, pp:7-21 [Journal]
  82. K. Mani Chandy, Ulrich Herzog, Lin S. Woo
    Approximate Analysis of General Queuing Networks. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 1975, v:19, n:1, pp:43-49 [Journal]
  83. Ulrich Herzog, Lin S. Woo, K. Mani Chandy
    Solution of Queuing Problems by a Recursive Technique. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 1975, v:19, n:3, pp:295-300 [Journal]
  84. Charles H. Sauer, K. Mani Chandy
    Approximate Analysis of Central Server Models. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 1975, v:19, n:3, pp:301-313 [Journal]
  85. K. Mani Chandy, Jayadev Misra
    Deadlock Absence Proofs for Networks of Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:9, n:4, pp:185-189 [Journal]
  86. Ted Herman, K. Mani Chandy
    On Distributed Search. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1985, v:21, n:3, pp:129-133 [Journal]
  87. K. Mani Chandy, Alain J. Martin
    A Characterization of Product-Form Queuing Networks [Citation Graph (0, 0)][DBLP]
    J. ACM, 1983, v:30, n:2, pp:286-299 [Journal]
  88. Rajive Bagrodia, K. Mani Chandy, Maneesh Dhagat
    UC: A Set-Based Language for Data-Parallel Programming. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:28, n:2, pp:186-201 [Journal]
  89. Ian T. Foster, K. Mani Chandy
    Fortran M: A Language for Modular Parallel Programming. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1995, v:26, n:1, pp:24-35 [Journal]
  90. 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? [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2001, v:61, n:12, pp:1827-1841 [Journal]
  91. K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
    A Framework for Structured Distributed Object Computing. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1998, v:24, n:12-13, pp:1901-1922 [Journal]
  92. K. Mani Chandy
    Reasoning About Continuous Systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1990, v:14, n:2-3, pp:117-132 [Journal]
  93. K. Mani Chandy, Beverly A. Sanders
    Predicate Transformers for Reasoning about Concurrent Computation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:2, pp:129-148 [Journal]
  94. Doug Neuse, K. Mani Chandy
    HAM: The Heuristic Aggregation Method. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 1982, v:11, n:4, pp:195-212 [Journal]
  95. K. Mani Chandy, Carl Kesselman
    Parallel Programming in 2001. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1991, v:8, n:6, pp:11-20 [Journal]
  96. K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman
    Webs of Archived Distributed Computations for Asynchronous Collaboration. [Citation Graph (0, 0)][DBLP]
    The Journal of Supercomputing, 1997, v:11, n:2, pp:101-118 [Journal]
  97. Raymond M. Bryant, Anthony E. Krzesinski, M. Seetha Lakshmi, K. Mani Chandy
    The MVA Priority Approximation [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1984, v:2, n:4, pp:335-359 [Journal]
  98. Rajive Bagrodia, K. Mani Chandy, Wen-Toh Liao
    A Unifying Framework for Distributed Simulation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 1991, v:1, n:4, pp:348-385 [Journal]
  99. K. Mani Chandy, Rajive Bagrodia, Wen-Toh Liao
    Concurrency and Discrete-Event Simulation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 1993, v:3, n:4, pp:284-285 [Journal]
  100. K. Mani Chandy, Jayadev Misra
    The Drinking Philosopher's Problem. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1984, v:6, n:4, pp:632-646 [Journal]
  101. K. Mani Chandy, Ian T. Foster
    A Notation for Deterministic Cooperating Processes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1995, v:6, n:8, pp:863-871 [Journal]
  102. Rajive Bagrodia, K. Mani Chandy, Jayadev Misra
    A Message-Based Approach to Discrete-Event Simulation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:6, pp:654-665 [Journal]
  103. K. Mani Chandy, Jayadev Misra
    Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1979, v:5, n:5, pp:440-452 [Journal]
  104. K. Mani Chandy, Michel Charpentier, Agostino Capponi
    Towards a theory of events. [Citation Graph (0, 0)][DBLP]
    DEBS, 2007, pp:180-187 [Conf]
  105. K. Mani Chandy, Lu Tian, Daniel M. Zimmerman
    Enterprise Computing Systems as Information Factories. [Citation Graph (0, 0)][DBLP]
    EDOC, 2006, pp:427-432 [Conf]
  106. Daniel M. Zimmerman, K. Mani Chandy
    Snapshot Processing in Streaming Environments. [Citation Graph (0, 0)][DBLP]
    GRID, 2006, pp:319-320 [Conf]
  107. Lu Tian, K. Mani Chandy
    Resource Allocation in Streaming Environments. [Citation Graph (0, 0)][DBLP]
    GRID, 2006, pp:270-277 [Conf]
  108. K. Mani Chandy, Michel Charpentier
    Self-Similar Algorithms for Dynamic Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2007, pp:67- [Conf]
  109. K. Mani Chandy, Dieter Gawlick
    Event processing using database technology. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 2007, pp:1169-1170 [Conf]
  110. Andrey Khorlin, K. Mani Chandy
    Control-Based Scheduling in a Distributed Stream Processing System. [Citation Graph (0, 0)][DBLP]
    SCW, 2006, pp:55-64 [Conf]

  111. The use of performance models in systematic design. [Citation Graph (, )][DBLP]


  112. 07191 Summary -- Event Processing. [Citation Graph (, )][DBLP]


  113. 07191 Abstracts Collection -- Event Processing. [Citation Graph (, )][DBLP]


  114. Convergence Verification: From Shared Memory to Partially Synchronous Systems. [Citation Graph (, )][DBLP]


  115. Performance models of token ring local area networks. [Citation Graph (, )][DBLP]


  116. A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. [Citation Graph (, )][DBLP]


Search in 0.108secs, Finished in 0.115secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002