K. Mani Chandy

According to our database, K. Mani Chandy authored at least 165 papers between 1968 and 2019.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2019

Compositional structures for streaming applications.

K. Mani Chandy, Julian J. Bunn

Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

2018

Event Driven Architecture.

K. Mani Chandy

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

2017

Parallel 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

Proceedings of the 2017 Winter Simulation Conference, 2017

2016

Theory and implementation of a distributed event based platform.

K. Mani Chandy

Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015

Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow.

Subhonmesh Bose, Dennice F. Gayme, K. Mani Chandy, Steven H. Low

IEEE Trans. Control. Netw. Syst., 2015

2014

Community sense and response systems: your phone as quake detector.

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

Commun. ACM, 2014

Solving quadratically constrained quadratic programs on acyclic graphs with application to optimal power flow.

Subhonmesh Bose, Dennice F. Gayme, K. Mani Chandy, Steven H. Low

Proceedings of the 48th Annual Conference on Information Sciences and Systems, 2014

2012

Towards a discipline of geospatial distributed event based systems.

Annie H. Liu, Michael Olson, Julian J. Bunn, K. Mani Chandy

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

Optimal placement of energy storage in the grid.

Subhonmesh Bose, Dennice F. Gayme, Ufuk Topcu, K. Mani Chandy

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Equivalence of branch flow and bus injection models.

Subhonmesh Bose, Steven H. Low, K. Mani Chandy

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

Verification of distributed systems with local-global predicates.

K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White

Formal Aspects Comput., 2011

Optimal design of hybrid energy system with PV/wind turbine/storage: A case study.

Rui Huang, Steven H. Low, Ufuk Topcu, K. Mani Chandy, Christopher R. Clarke

Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

Inverter VAR control for distribution systems with renewables.

Masoud Farivar, Christopher R. Clarke, Steven H. Low, K. Mani Chandy

Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

GRIP - Grids with intelligent periphery: Control architectures for Grid2050^π.

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

Proceedings of the IEEE Second International Conference on Smart Grid Communications, 2011

Sensor networks for the detection and tracking of radiation and other threats in cities.

Annie H. Liu, Julian J. Bunn, K. Mani Chandy

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Demo abstract, the next big one: Detecting earthquakes and other rare events from community-based sensors.

Matthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

The next big one: Detecting earthquakes and other rare events from community-based sensors.

Matthew Faulkner, Michael Olson, Rishi Chandy, Jonathan Krause, K. Mani Chandy, Andreas Krause

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Rapid detection of rare geospatial events: earthquake warning applications.

Michael Olson, Annie H. Liu, Matthew Faulkner, K. Mani Chandy

Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

Event processing grand challenges.

Pedro Bizarro, K. Mani Chandy, Nenad Stojanovic

Proceedings of the Fifth ACM International Conference on Distributed Event-Based Systems, 2011

Optimal contract for wind power in day-ahead electricity markets.

Desmond W. H. Cai, Sachin Adlakha, K. Mani Chandy

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Optimal power flow over tree networks.

Subhonmesh Bose, Dennice F. Gayme, Steven H. Low, K. Mani Chandy

Proceedings of the 49th Annual Allerton Conference on Communication, 2011

Performance Issues in Cloud Computing for Cyber-physical Applications.

Michael Olson, K. Mani Chandy

Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010

Internet Predictions.

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

IEEE Internet Comput., 2010

An analysis of data fusion for radiation detection and localization.

Annie H. Liu, Julian J. Bunn, K. Mani Chandy

Proceedings of the 13th Conference on Information Fusion, 2010

10201 Executive Summary and Manifesto - Event Processing.

K. Mani Chandy, Opher Etzion, Rainer von Ammon

Proceedings of the Event Processing, 16.05. - 21.05.2010, 2010

Consensus on asynchronous communication networks in presence of external input.

Concetta Pilotto, K. Mani Chandy, Jerome White

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A simple optimal power flow model with energy storage.

K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A Web That Senses and Responds.

K. Mani Chandy

Proceedings of the From Active Data Management to Event-Based Systems and More, 2010

Load-shedding probabilities with hybrid renewable power generation and energy storage.

Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, K. Mani Chandy

Proceedings of the 48th Annual Allerton Conference on Communication, 2010

Event Processing - Designing IT Systems for Agile Companies.

K. Mani Chandy, W. Roy Schulte

McGraw-Hill, ISBN: 978-0-07-163350-5, 2010

2009

Event Driven Architecture.

K. Mani Chandy

Proceedings of the Encyclopedia of Database Systems, 2009

Specifications and Architectures of Federated Event-Driven Systems.

K. Mani Chandy, Michael Olson

Proceedings of the Intelligent Event Processing, 2009

2008

A Formalized Theory for Verifying Stability and Convergence of Automata in PVS.

Sayan Mitra, K. Mani Chandy

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Convergence Verification: From Shared Memory to Partially Synchronous Systems.

K. Mani Chandy, Sayan Mitra, Concetta Pilotto

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Event processing using database technology.

K. Mani Chandy, Dieter Gawlick

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2007

Self-Similar Algorithms for Dynamic Distributed Systems.

K. Mani Chandy, Michel Charpentier

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

Towards a theory of events.

K. Mani Chandy, Michel Charpentier, Agostino Capponi

Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

07191 Abstracts Collection -- Event Processing.

Opher Etzion, K. Mani Chandy, Rainer von Ammon

Proceedings of the Event Processing, 6.5. - 11.5.2007, 2007

07191 Summary -- Event Processing.

K. Mani Chandy, Opher Etzion, Rainer von Ammon, Peter Niblett

Proceedings of the Event Processing, 6.5. - 11.5.2007, 2007

2006

Control-Based Scheduling in a Distributed Stream Processing System.

Andrey Khorlin, K. Mani Chandy

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Snapshot Processing in Streaming Environments.

Daniel M. Zimmerman, K. Mani Chandy

Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

Resource Allocation in Streaming Environments.

Lu Tian, K. Mani Chandy

Proceedings of the 7th IEEE/ACM International Conference on Grid Computing (GRID 2006), 2006

Enterprise Computing Systems as Information Factories.

K. Mani Chandy, Lu Tian, Daniel M. Zimmerman

Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Event-Driven Architectures and Complex Event Processing.

Opher Etzion, K. Mani Chandy, Rainer von Ammon, W. Roy Schulte

Proceedings of the 2006 IEEE International Conference on Services Computing (SCC 2006), 2006

2005

A Parallel Algorithm for Correlating Event Streams.

Daniel M. Zimmerman, K. Mani Chandy

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Event Processing Language (EPL) for Building Sense and Respond Applications.

Elli Albek, Eric Bax, Greg Billock, K. Mani Chandy, Ian Swett

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Sense and Respond Systems.

K. Mani Chandy

Proceedings of the 31th International Computer Measurement Group Conference, 2005

2004

Specification transformers: a predicate transformer approach to composition.

Michel Charpentier, K. Mani Chandy

Acta Informatica, 2004

Event Servers for Crisis Management.

K. Mani Chandy

Proceedings of the High Performance Computing, 2004

2003

Service Composition Issues for Distributed Business Processes.

Roman Ginis, K. Mani Chandy

Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

2002

An Experiment in Program Composition and Proof.

K. Mani Chandy, Michel Charpentier

Formal Methods Syst. Des., 2002

IC Online: Ubiquitous Computing: The Future of Development?

K. Mani Chandy, Axel Fuchs, Bill Janssen, Deepak Mulchandani, Mark D. Weiser

IEEE Distributed Syst. Online, 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

J. Parallel Distributed Comput., 2001

2000

Micro-option: a method for optimal selection and atomic reservation of distributed resources in a free market environment.

Roman Ginis, K. Mani Chandy

Proceedings of the 2nd ACM Conference on Electronic Commerce (EC-00), 2000

Theorems about Composition.

Michel Charpentier, K. Mani Chandy

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

Monotonic Counters: A New Mechanism for Thread Synchronization.

John Thornley, K. Mani Chandy

Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), 2000

Reasoning about Composition Using Property Transformers and Their Conjugates.

Michel Charpentier, K. Mani Chandy

Proceedings of the Theoretical Computer Science, 2000

1999

Parallel Program Archetypes.

Berna L. Massingill, K. Mani Chandy

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Examples of Program Composition Illustrating the Use of Universal Properties.

Michel Charpentier, K. Mani Chandy

Proceedings of the Parallel and Distributed Processing, 1999

Towards a Compositional Approach to the Design and Verification of Distributed Systems.

Michel Charpentier, K. Mani Chandy

Proceedings of the FM'99 - Formal Methods, 1999

1998

A Framework for Structured Distributed Object Computing.

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman

Parallel Comput., 1998

Using announce-listen with global events to develop distributed control systems.

K. Mani Chandy, Adam Rifkin, Eve M. Schooler

Concurr. Pract. Exp., 1998

A Cottage Industry of Software Publishing: Implications for Theories of Composition.

K. Mani Chandy, Paolo A. G. Sivilotti, Joseph Kiniry

Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

A general distributed event model.

K. Mani Chandy, Roman Ginis, Eve M. Schooler

Proceedings of the 5th International Conference On High Performance Computing, 1998

1997

Webs of Archived Distributed Computations for Asynchronous Collaboration.

K. Mani Chandy, Joseph Kiniry, Adam Rifkin, Daniel M. Zimmerman

J. Supercomput., 1997

Systematic Composition of Distributed Objects: Processes and Sessions.

K. Mani Chandy, Adam Rifkin

Comput. J., 1997

A General Resource Reservation Framework for Scientific Computing.

Ravi Ramamoorthi, Adam Rifkin, Boris Dimitrov, K. Mani Chandy

Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions.

K. Mani Chandy, Adam Rifkin

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Designing Directories in Distributed Systems: A Systematic Framework.

K. Mani Chandy, Eve M. Schooler

Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

A 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

Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), 1996

1995

A Notation for Deterministic Cooperating Processes.

K. Mani Chandy, Ian T. Foster

IEEE Trans. Parallel Distributed Syst., 1995

Predicate Transformers for Reasoning about Concurrent Computation.

K. Mani Chandy, Beverly A. Sanders

Sci. Comput. Program., 1995

Fortran M: A Language for Modular Parallel Programming.

Ian T. Foster, K. Mani Chandy

J. Parallel Distributed Comput., 1995

UC: A Set-Based Language for Data-Parallel Programming.

Rajive L. Bagrodia, K. Mani Chandy, Maneesh Dhagat

J. Parallel Distributed Comput., 1995

Integrating task and data parallelism with the group communication archetype.

K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron

Proceedings of IPPS '95, 1995

Integrating Task and Data Parallelism in UC.

Maneesh Dhagat, Rajive L. Bagrodia, K. Mani Chandy

Proceedings of the 1995 International Conference on Parallel Processing, 1995

1994

Integrated Support for Task and Data Parallelism.

K. Mani Chandy, Ian T. Foster, Ken Kennedy, Charles Koelbel, Chau-Wen Tseng

Int. J. High Perform. Comput. Appl., 1994

Properties of Concurrent Programs.

K. Mani Chandy

Formal Aspects Comput., 1994

Compositional Specifications of Parallel Programs: NondeterministicData Flow.

K. Mani Chandy, Beverly A. Sanders

Proceedings of the Specification of Parallel Algorithms, 1994

1993

Concurrency and Discrete-Event Simulation.

K. Mani Chandy, Rajive L. Bagrodia, Wen-Toh Liao

ACM Trans. Model. Comput. Simul., 1993

Deterministic Parallel FORTRAN.

K. Mani Chandy, Ian T. Foster

Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

Parallel Language Constructs for Paradigm Integration and Deterministic Computations.

K. Mani Chandy, Ian T. Foster

Proceedings of the Parallel Computing: Trends and Applications, 1993

Writing Correct Parallel Programs.

K. Mani Chandy

Proceedings of the Seventh International Parallel Processing Symposium, 1993

1992

Compositional C++: Compositional Parallel Programming.

K. Mani Chandy, Carl Kesselman

Proceedings of the Languages and Compilers for Parallel Computing, 1992

The Derivation of Compositional Programs.

K. Mani Chandy, Carl Kesselman

Proceedings of the Logic Programming, 1992

1991

A Unifying Framework for Distributed Simulation.

Rajive L. Bagrodia, K. Mani Chandy, Wen-Toh Liao

ACM Trans. Model. Comput. Simul., 1991

Parallel Programming in 2001.

K. Mani Chandy, Carl Kesselman

IEEE Softw., 1991

1990

Reasoning About Continuous Systems.

K. Mani Chandy

Sci. Comput. Program., 1990

UC: a language for the connection machine.

Rajive L. Bagrodia, K. Mani Chandy, E. Kwan

Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

1989

The composition of concurrent programs.

K. Mani Chandy

Proceedings of the Proceedings Supercomputing '89, Reno, NV, USA, November 12-17, 1989, 1989

Mathematics of Program Construction Applied to Analog Neural Networks.

K. Mani Chandy

Proceedings of the Mathematics of Program Construction, 1989

Parallel program design - a foundation.

K. Mani Chandy, Jayadev Misra

Addison-Wesley, ISBN: 978-0-201-05866-6, 1989

1988

Another view on "fairness".

K. Mani Chandy, Jayadev Misra

ACM SIGSOFT Softw. Eng. Notes, 1988

Programming parallel computers.

K. Mani Chandy

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Programming the Connection Machine.

Rajive L. Bagrodia, K. Mani Chandy

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Performance Management of Parallel Computers.

K. Mani Chandy

Proceedings of the 14th International Computer Measurement Group Conference, 1988

1987

A Message-Based Approach to Discrete-Event Simulation.

Rajive L. Bagrodia, K. Mani Chandy, Jayadev Misra

IEEE Trans. Software Eng., 1987

Representing Faulty Distributed Systems as Nondeterministic Sequential Systems.

K. Mani Chandy

Proceedings of the Sixth Symposium on Reliability in Distributed Software and Database Systems, 1987

Parallelism and Programming: A Perspective.

K. Mani Chandy, Jayadev Misra

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987

1986

An Example of Stepwise Refinement of Distributed Programs: Quiescence Detection.

K. Mani Chandy, Jayadev Misra

ACM Trans. Program. Lang. Syst., 1986

Systolic Algorithms as Programs.

K. Mani Chandy, Jayadev Misra

Distributed Comput., 1986

How Processes Learn.

K. Mani Chandy, Jayadev Misra

Distributed Comput., 1986

1985

Distributed Snapshots: Determining Global States of Distributed Systems

K. Mani Chandy, Leslie Lamport

ACM Trans. Comput. Syst., 1985

On Distributed Search.

Ted Herman, K. Mani Chandy

Inf. Process. Lett., 1985

Concurrent Programming For The Masses (PODC 1984 Invited Address).

K. Mani Chandy

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

A Micro-Kernel for Distributed Applications.

Rajive L. Bagrodia, K. Mani Chandy

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

HSS: A Tool for Evaluating the Performance of Office Systems.

Richard L. Gimarc, K. Mani Chandy

Proceedings of the Eleventh International Computer Measurement Group Conference, 1985

1984

The Drinking Philosopher's Problem.

K. Mani Chandy, Jayadev Misra

ACM Trans. Program. Lang. Syst., 1984

The MVA Priority Approximation

Raymond M. Bryant, Anthony E. Krzesinski, M. Seetha Lakshmi, K. Mani Chandy

ACM Trans. Comput. Syst., 1984

A Paradigm for Detecting Quiescent Properties in Distributed Computations.

K. Mani Chandy, Jayadev Misra

Proceedings of the Logics and Models of Concurrent Systems, 1984

1983

A Characterization of Product-Form Queuing Networks

K. Mani Chandy, Alain J. Martin

J. ACM, April, 1983

Distributed Deadlock Detection

K. Mani Chandy, Jayadev Misra, Laura M. Haas

ACM Trans. Comput. Syst., 1983

Performance models of token ring local area networks.

Robert Berry, K. Mani Chandy

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 1983

1982

A Distributed Graph Algorithm: Knot Detection.

Jayadev Misra, K. Mani Chandy

ACM Trans. Program. Lang. Syst., 1982

Termination Detection of Diffusing Computations in Communicating Sequential Processes.

Jayadev Misra, K. Mani Chandy

ACM Trans. Program. Lang. Syst., 1982

HAM: The Heuristic Aggregation Method.

Doug Neuse, K. Mani Chandy

Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1982

Linearzer: A Heuristic Algorithm for Queueing Network Models of Computing Systems.

K. Mani Chandy, Doug Neuse

Commun. ACM, 1982

Distributed Computation on Graphs: Shortest Path Algorithms.

K. Mani Chandy, Jayadev Misra

Commun. ACM, 1982

Proving Safety and Liveness of Communicating Processes with Examples.

Jayadev Misra, K. Mani Chandy, Todd Smith

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems.

K. Mani Chandy, Jayadev Misra

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

The use of performance models in systematic design.

K. Mani Chandy, Jayadev Misra, Robert Berry, Doug Neuse

Proceedings of the American Federation of Information Processing Societies: 1982 National Computer Conference, 1982

1981

Proofs of Networks of Processes.

Jayadev Misra, K. Mani Chandy

IEEE Trans. Software Eng., 1981

Fast accurate heuristic algorithms for queueing network models of computing systems.

K. Mani Chandy, Doug Neuse

Perform. Evaluation, 1981

Asynchronous Distributed Simulation via a Sequence of Parallel Computations.

K. Mani Chandy, Jayadev Misra

Commun. ACM, 1981

SCAT: A Heuristic Algorithm for Queueing Network Models of Computing Systems.

Doug Neuse, K. Mani Chandy

Proceedings of the 1981 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1981

A Computer Modeling System Based on a User-Extensible Modeling Library.

Doug Neuse, K. Mani Chandy, Jayadev Misra, Robert Berry

Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980

A simple model of distributed programs based on implementation-hiding and process autonomy.

K. Mani Chandy, Jayadev Misra

ACM SIGPLAN Notices, 1980

Approximate Solution of Queueing Models.

Charles H. Sauer, K. Mani Chandy

Computer, 1980

Computational Algorithms for Product Form Queueing Networks.

K. Mani Chandy, Charles H. Sauer

Commun. ACM, 1980

1979

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs.

K. Mani Chandy, Jayadev Misra

IEEE Trans. Software Eng., 1979

Deadlock Absence Proofs for Networks of Communicating Processes.

K. Mani Chandy, Jayadev Misra

Inf. Process. Lett., 1979

On the Design of Elementary Distributed Systems.

Randolph T. Yeh, K. Mani Chandy

Comput. Networks, 1979

Distributed Simulation of Networks.

K. Mani Chandy, Victor Holmes, Jayadev Misra

Comput. Networks, 1979

The Impact of Distributions and Disciplines on Multiple Processor Systems.

Charles H. Sauer, K. Mani Chandy

Commun. ACM, 1979

A Modeling Approach and Design Tool for Pipelined Central Processors.

Tilak Agerwala, K. Mani Chandy, D. E. Lang

Proceedings of the 6th Annual Symposium on Computer Architecture, 1979

1978

Approximate Methods for Analyzing Queueing Network Models of Computing Systems.

K. Mani Chandy, Charles H. Sauer

ACM Comput. Surv., 1978

Models for Parallel Processing Within Programs: Application to CPU: I/O and I/O: I/O Overlap.

Donald F. Towsley, K. Mani Chandy, James C. Browne

Commun. ACM, 1978

A nontrivial example of concurrent processing: Distributed simulation.

K. Mani Chandy, Jayadev Misra

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977

Selecting Capacities in Computer Communication Systems.

K. Mani Chandy, John Hogarth, Charles H. Sauer

IEEE Trans. Software Eng., 1977

Product Form and Local Balance in Queueing Networks.

K. Mani Chandy, John H. Howard Jr., Donald F. Towsley

J. ACM, 1977

Memory Management and Response Time.

R. M. Brown, James C. Browne, K. Mani Chandy

Commun. ACM, 1977

Models of Distributed Systems.

K. Mani Chandy

Proceedings of the Third International Conference on Very Large Data Bases, 1977

Computational Complexity of Network Design Algorithms.

Lawrence Van Sickle, K. Mani Chandy

Proceedings of the Information Processing, 1977

1976

File allocation in distributed systems.

K. Mani Chandy, J. E. Hewes

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 1976

Bayesian Models of Design Based on Intuition.

K. Mani Chandy

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

Analytic Models for Rollback and Recovery Strategies in Data Base Systems.

K. Mani Chandy, James C. Browne, Charles W. Dissly, Werner R. Uhrig

IEEE Trans. Software Eng., 1975

Open, Closed, and Mixed Networks of Queues with Different Classes of Customers.

Forest Baskett, K. Mani Chandy, Richard R. Muntz, Fernando G. Palacios

J. ACM, 1975

Approximate Analysis of Central Server Models.

Charles H. Sauer, K. Mani Chandy

IBM J. Res. Dev., 1975

Solution of Queuing Problems by a Recursive Technique.

Ulrich Herzog, Lin S. Woo, K. Mani Chandy

IBM J. Res. Dev., 1975

Approximate Analysis of General Queuing Networks.

K. Mani Chandy, Ulrich Herzog, Lin S. Woo

IBM J. Res. Dev., 1975

Parametric Analysis of Queuing Networks.

K. Mani Chandy, Ulrich Herzog, Lin S. Woo

IBM J. Res. Dev., 1975

A Survey of Analytic Models of Rollback and Recovery Stratergies.

K. Mani Chandy

Computer, 1975

Scheduling Partially Ordered Tasks with Probabilistic Execution Times.

K. Mani Chandy, P. F. Reynolds

Proceedings of the Fifth Symposium on Operating System Principles, 1975

1974

A Comparison of List Schedules for Parallel Processing Systems.

Thomas L. Adam, K. Mani Chandy, J. R. Dickson

Commun. ACM, 1974

A Recognizer and Post-Recognizer for Optimizing Execution Times of Programs.

P. F. Reynolds, K. Mani Chandy

Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974

Computer Models with Constrained Parallel Processors.

Tom W. Keller, K. Mani Chandy

Proceedings of the Parallel Processing, Proceedings of the Sagamore Computer Conference, 1974

1973

The Effect on Throughput of Multiprocessing in a Multiprogramming Environment.

James C. Browne, K. Mani Chandy, John Hogarth, Chester C.-A. Lee

IEEE Trans. Computers, 1973

The Capacitated Minimum Spanning Tree.

K. Mani Chandy, Tachen Lo

Networks, 1973

1972

Optimal Scheduling Strategies in a Multiprocessor System.

Chittoor V. Ramamoorthy, K. Mani Chandy, Mario J. Gonzalez Jr.

IEEE Trans. Computers, 1972

The Design or Multipoint Linkages in a Teleprocessing Tree Network.

K. Mani Chandy, Robert A. Russell

IEEE Trans. Computers, 1972

Rollback and Recovery Strategies for Computer Programs.

K. Mani Chandy, Chittoor V. Ramamoorthy

IEEE Trans. Computers, 1972

Design automation and queueing networks: An interactive system for the evaluation of computer queueing models.

K. Mani Chandy, Tom W. Keller, James C. Browne

Proceedings of the 9th Design Automation Workshop, 1972

A framework for hardware-software tradeoffs in the design of fault-tolerant computers.

K. Mani Chandy, Chittoor V. Ramamoorthy, A. Cowan

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1970

Optimization of Memory Hierarchies in Multiprogrammed Systems.

Chittoor V. Ramamoorthy, K. Mani Chandy

J. ACM, 1970

1968

Optimization of Information Storage Systems

K. Mani Chandy, Chittoor V. Ramamoorthy

Inf. Control., December, 1968