K. Mani Chandy - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Event processing grand challengesPedro Bizarro, K. Mani Chandy, Nenad Stojanovic. debs 2011: 361-362 [doi]

Verification of distributed systems with local-global predicatesK. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White. fac, 23(5):649-679, 2011. [doi]

Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensorsMatthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause. ipsn 2011: 121-122 [doi]

The next big one: Detecting earthquakes and other rare events from community-based sensorsMatthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause. ipsn 2011: 13-24 [doi]

Sensor networks for the detection and tracking of radiation and other threats in citiesAnnie H. Liu, Julian J. Bunn, K. Mani Chandy. ipsn 2011: 1-12 [doi]

Rapid detection of rare geospatial events: earthquake warning applicationsMichael Olson, Annie H. Liu, Matthew Faulkner, K. Mani Chandy. debs 2011: 89-100 [doi]

2010

2008

Convergence Verification: From Shared Memory to Partially Synchronous SystemsK. Mani Chandy, Sayan Mitra, Concetta Pilotto. formats 2008: 218-232 [doi]

A Formalized Theory for Verifying Stability and Convergence of Automata in PVSSayan Mitra, K. Mani Chandy. tphol 2008: 230-245 [doi]

2007

Event Processing, 6.5. - 11.5.2007K. Mani Chandy, Opher Etzion, Rainer von Ammon, editors, Volume 07191 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

07191 Summary -- Event ProcessingK. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett. dagstuhl 2007: [doi]

Towards a theory of eventsK. Mani Chandy, Michel Charpentier, Agostino Capponi. debs 2007: 180-187 [doi]

Self-Similar Algorithms for Dynamic Distributed SystemsK. Mani Chandy, Michel Charpentier. icdcs 2007: 67 [doi]

Event processing using database technologyK. Mani Chandy, Dieter Gawlick. sigmod 2007: 1169-1170 [doi]

07191 Abstracts Collection -- Event ProcessingOpher Etzion, K. Mani Chandy, Rainer von Ammon. dagstuhl 2007: [doi]

2006

2005

An Event Processing Language (EPL) for Building Sense and Respond ApplicationsElli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett. ipps 2005: [doi]

Sense and Respond SystemsK. Mani Chandy. cmg 2005: 59-66

A Parallel Algorithm for Correlating Event StreamsDaniel M. Zimmerman, K. Mani Chandy. ipps 2005: [doi]

2004

Event Servers for Crisis ManagementK. Mani Chandy. hipc 2004: 3 [doi]

Specification transformers: a predicate transformer approach to compositionMichel Charpentier, K. Mani Chandy. ACTA, 40(4):265-301, 2004. [doi]

2003

Service Composition Issues for Distributed Business ProcessesRoman Ginis, K. Mani Chandy. icws 2003: 27-33

2002

IC Online: Ubiquitous Computing: The Future of Development?K. Mani Chandy, Axel Fuchs, Bill Janssen, Deepak Mulchandani, Mark Weiser. dsonline, 3(3), 2002. [doi]

An Experiment in Program Composition and ProofK. Mani Chandy, Michel Charpentier. fmsd, 20(1):7-21, 2002.

2001

What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millenium?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. jpdc, 61(12):1827-1841, 2001. [doi]

2000

Theorems about CompositionMichel Charpentier, K. Mani Chandy. mpc 2000: 167-186

Reasoning about Composition Using Property Transformers and Their ConjugatesMichel Charpentier, K. Mani Chandy. ifipTCS 2000: 580-595 [doi]

Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environmentRoman Ginis, K. Mani Chandy. sigecom 2000: 207-214 [doi]

Monotonic Counters: A New Mechanism for Thread SynchronizationJohn Thornley, K. Mani Chandy. ipps 2000: 573-582 [doi]

1999

Examples of Program Composition Illustrating the Use of Universal PropertiesMichel Charpentier, K. Mani Chandy. ipps 1999: 1215-1227

Towards a Compositional Approach to the Design and Verification of Distributed SystemsMichel Charpentier, K. Mani Chandy. fm 1999: 570-589 [doi]

Parallel Program ArchetypesBerna L. Massingill, K. Mani Chandy. ipps 1999: 290-296 [doi]

1998

A Cottage Industry of Software Publishing: Implications for Theories of CompositionK. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry. ipps 1998: 890-899

Using announce-listen with global events to develop distributed control systemsK. Mani Chandy, Adam Rifkin, Eve M. Schooler. concurrency, 10(11-13):1021-1027, 1998.

A Framework for Structured Distributed Object ComputingK. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman. pc, 24(12-13):1901-1922, 1998.

1997

1996

A World-Wide Distributed System Using Java and the InternetK. Mani Chandy, Adam Rifkin, Paolo A. G. Sivilotti, J. Mandelson, M. Richardson, W. Tanaka, L. Weisman. hpdc 1996: 11-18 [doi]

Designing Directories in Distributed Systems: A Systematic FrameworkK. Mani Chandy, Eve M. Schooler. hpdc 1996: 318 [doi]

1995

1994

Properties of Concurrent ProgramsK. Mani Chandy. fac, 6(6):607-619, 1994.

1993

Concurrency and Discrete-Event SimulationK. Mani Chandy, Rajive Bagrodia, Wen-Toh Liao. tomacs, 3(4):284-285, 1993.

Deterministic Parallel FORTRANK. Mani Chandy, Ian T. Foster. ppsc 1993: 798-805

Parallel Language Constructs for Paradigm Integration and Deterministic ComputationsK. Mani Chandy, Ian T. Foster. parco 1994: 3-12

Writing Correct Parallel ProgramsK. Mani Chandy. ipps 1993: 630-634

1992

The Derivation of Compositional ProgramsK. Mani Chandy, Carl Kesselman. ICLP 1992: 3-17

Compositional C++: Compositional Parallel ProgrammingK. Mani Chandy, Carl Kesselman. lcpc 1993: 124-144

1991

A Unifying Framework for Distributed SimulationRajive Bagrodia, K. Mani Chandy, Wen-Toh Liao. tomacs, 1(4):348-385, 1991. [doi]

Parallel Programming in 2001K. Mani Chandy, Carl Kesselman. IEEE Software, 8(6):11-20, 1991.

1990

UC: a language for the connection machineRajive Bagrodia, K. Mani Chandy, E. Kwan. sc 1990: 525-534 [doi]

Reasoning About Continuous SystemsK. Mani Chandy. SCP, 14(2-3):117-132, 1990.

1989

Mathematics of Program Construction Applied to Analog Neural NetworksK. Mani Chandy. mpc 1989: 21-35

Parallel program design - a foundationK. Mani Chandy, Jayadev Misra. Addison-Wesley, 1989.

1988

Programming the Connection MachineRajive Bagrodia, K. Mani Chandy. iccl 1988: 50-57 [doi]

Performance Management of Parallel ComputersK. Mani Chandy. cmg 1988: 1076-1078

Programming parallel computersK. Mani Chandy. iccl 1988: 314-321 [doi]

1987

A Message-Based Approach to Discrete-Event SimulationRajive Bagrodia, K. Mani Chandy, Jayadev Misra. TSE, 13(6):654-665, 1987.

Representing Faulty Distributed Systems as Nondeterministic Sequential SystemsK. Mani Chandy. srds 1987: 171-173

Parallelism and Programming: A PerspectiveK. Mani Chandy, Jayadev Misra. fsttcs 1987: 173-194

1986

How Processes LearnK. Mani Chandy, Jayadev Misra. dc, 1(1):40-52, 1986.

Systolic Algorithms as ProgramsK. Mani Chandy, Jayadev Misra. dc, 1(3):177-183, 1986.

An Example of Stepwise Refinement of Distributed Programs: Quiescence DetectionK. Mani Chandy, Jayadev Misra. TOPLAS, 8(3):326-343, 1986. [doi]

1985

1984

The MVA Priority ApproximationRaymond M. Bryant, Anthony E. Krzesinski, M. Seetha Lakshmi, K. Mani Chandy. tocs, 2(4):335-359, 1984. [doi]

The Drinking Philosopher s ProblemK. Mani Chandy, Jayadev Misra. TOPLAS, 6(4):632-646, 1984. [doi]

1983

Performance models of token ring local area networksRobert Berry, K. Mani Chandy. sigmetrics 1983: 266-274 [doi]

Distributed Deadlock DetectionK. Mani Chandy, Jayadev Misra, Laura M. Haas. tocs, 1(2):144-156, 1983. [doi]

A Characterization of Product-Form Queuing NetworksK. Mani Chandy, Alain J. Martin. JACM, 30(2):286-299, April 1983. [doi]

1982

Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing SystemsK. Mani Chandy, Doug Neuse. CACM, 25(2):126-134, 1982.

A Distributed Algorithm for Detecting Resource Deadlocks in Distributed SystemsK. Mani Chandy, Jayadev Misra. podc 1982: 157-164

The use of performance models in systematic designK. Mani Chandy, Jayadev Misra, R. Berry, Doug Neuse. afips 1982: 251-256 [doi]

Distributed Computation on Graphs: Shortest Path AlgorithmsK. Mani Chandy, Jayadev Misra. CACM, 25(11):833-837, 1982.

Proving Safety and Liveness of Communicating Processes with ExamplesJayadev Misra, K. Mani Chandy, Todd Smith. podc 1982: 201-208

Termination Detection of Diffusing Computations in Communicating Sequential ProcessesJayadev Misra, K. Mani Chandy. TOPLAS, 4(1):37-43, 1982. [doi]

A Distributed Graph Algorithm: Knot DetectionJayadev Misra, K. Mani Chandy. TOPLAS, 4(4):678-686, 1982. [doi]

HAM: The Heuristic Aggregation MethodDoug Neuse, K. Mani Chandy. sigmetrics, 11(4):195-212, 1982.

1981

Asynchronous Distributed Simulation via a Sequence of Parallel ComputationsK. Mani Chandy, Jayadev Misra. CACM, 24(4):198-206, 1981.

Proofs of Networks of ProcessesJayadev Misra, K. Mani Chandy. TSE, 7(4):417-426, 1981.

SCAT: A Heuristic Algorithm for Queueing Network Models of Computing SystemsDoug Neuse, K. Mani Chandy. sigmetrics 1981: 59-79

A Computer Modeling System Based on a User-Extensible Modeling LibraryDoug Neuse, K. Mani Chandy, Jayadev Misra, R. Berry. cmg 1981: 127-129

PreviousNext