Search the dblp DataBase
K. Mani Chandy :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] K. Mani Chandy Models of Distributed Systems. [Citation Graph (3, 29)][DBLP ] VLDB, 1977, pp:105-120 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] K. Mani Chandy , Jayadev Misra How Processes Learn. [Citation Graph (1, 0)][DBLP ] Distributed Computing, 1986, v:1, n:1, pp:40-52 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] K. Mani Chandy Sense and Respond Systems. [Citation Graph (0, 0)][DBLP ] Int. CMG Conference, 2005, pp:59-66 [Conf ] K. Mani Chandy Performance Management of Parallel Computers. [Citation Graph (0, 0)][DBLP ] Int. CMG Conference, 1988, pp:1076-1078 [Conf ] 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 ] 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 ] 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 ] K. Mani Chandy , Jayadev Misra Parallelism and Programming: A Perspective. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1987, pp:173-194 [Conf ] 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 ] K. Mani Chandy Event Servers for Crisis Management. [Citation Graph (0, 0)][DBLP ] HiPC, 2004, pp:3- [Conf ] 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 ] 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 ] Rajive Bagrodia , K. Mani Chandy Programming the Connection Machine. [Citation Graph (0, 0)][DBLP ] ICCL, 1988, pp:50-57 [Conf ] K. Mani Chandy Programming parallel computers. [Citation Graph (0, 0)][DBLP ] ICCL, 1988, pp:314-321 [Conf ] Rajive Bagrodia , K. Mani Chandy A Micro-Kernel for Distributed Applications. [Citation Graph (0, 0)][DBLP ] ICDCS, 1985, pp:140-149 [Conf ] K. Mani Chandy , Carl Kesselman The Derivation of Compositional Programs. [Citation Graph (0, 0)][DBLP ] JICSLP, 1992, pp:3-17 [Conf ] 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 ] K. Mani Chandy Bayesian Models of Design Based on Intuition. [Citation Graph (0, 0)][DBLP ] ICSE, 1976, pp:281-285 [Conf ] Roman Ginis , K. Mani Chandy Service Composition Issues for Distributed Business Processes. [Citation Graph (0, 0)][DBLP ] ICWS, 2003, pp:27-33 [Conf ] Lawrence Van Sickle , K. Mani Chandy Computational Complexity of Network Design Algorithms. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1977, pp:235-239 [Conf ] 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 ] 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 ] K. Mani Chandy Writing Correct Parallel Programs. [Citation Graph (0, 0)][DBLP ] IPPS, 1993, pp:630-634 [Conf ] 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 ] 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 ] 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 ] Berna L. Massingill , K. Mani Chandy Parallel Program Archetypes. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP, 1999, pp:290-296 [Conf ] John Thornley , K. Mani Chandy Monotonic Counters: A New Mechanism for Thread Synchronization. [Citation Graph (0, 0)][DBLP ] IPDPS, 2000, pp:573-582 [Conf ] Daniel M. Zimmerman , K. Mani Chandy A Parallel Algorithm for Correlating Event Streams. [Citation Graph (0, 0)][DBLP ] IPDPS, 2005, pp:- [Conf ] 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 ] 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 ] K. Mani Chandy , Carl Kesselman Compositional C++: Compositional Parallel Programming. [Citation Graph (0, 0)][DBLP ] LCPC, 1992, pp:124-144 [Conf ] K. Mani Chandy Mathematics of Program Construction Applied to Analog Neural Networks. [Citation Graph (0, 0)][DBLP ] MPC, 1989, pp:21-35 [Conf ] Michel Charpentier , K. Mani Chandy Theorems about Composition. [Citation Graph (0, 0)][DBLP ] MPC, 2000, pp:167-186 [Conf ] 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 ] 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 ] K. Mani Chandy Concurrent Programming For The Masses (PODC 1984 Invited Address). [Citation Graph (0, 0)][DBLP ] PODC, 1985, pp:1-12 [Conf ] K. Mani Chandy , Jayadev Misra How Processes Learn. [Citation Graph (0, 0)][DBLP ] PODC, 1985, pp:204-214 [Conf ] 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 ] K. Mani Chandy , Ian T. Foster Deterministic Parallel FORTRAN. [Citation Graph (0, 0)][DBLP ] PPSC, 1993, pp:798-805 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] K. Mani Chandy Representing Faulty Distributed Systems as Nondeterministic Sequential Systems. [Citation Graph (0, 0)][DBLP ] SRDS, 1987, pp:171-173 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] K. Mani Chandy Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1994, v:6, n:6, pp:607-619 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] K. Mani Chandy , Michel Charpentier , Agostino Capponi Towards a theory of events. [Citation Graph (0, 0)][DBLP ] DEBS, 2007, pp:180-187 [Conf ] 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 ] Daniel M. Zimmerman , K. Mani Chandy Snapshot Processing in Streaming Environments. [Citation Graph (0, 0)][DBLP ] GRID, 2006, pp:319-320 [Conf ] Lu Tian , K. Mani Chandy Resource Allocation in Streaming Environments. [Citation Graph (0, 0)][DBLP ] GRID, 2006, pp:270-277 [Conf ] K. Mani Chandy , Michel Charpentier Self-Similar Algorithms for Dynamic Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 2007, pp:67- [Conf ] K. Mani Chandy , Dieter Gawlick Event processing using database technology. [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 2007, pp:1169-1170 [Conf ] 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 ] The use of performance models in systematic design. [Citation Graph (, )][DBLP ] 07191 Summary -- Event Processing. [Citation Graph (, )][DBLP ] 07191 Abstracts Collection -- Event Processing. [Citation Graph (, )][DBLP ] Convergence Verification: From Shared Memory to Partially Synchronous Systems. [Citation Graph (, )][DBLP ] Performance models of token ring local area networks. [Citation Graph (, )][DBLP ] A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. [Citation Graph (, )][DBLP ] Search in 0.108secs, Finished in 0.115secs