Chandy, Kanianthra

Article from CaltechAUTHORS

• Filippitzis, Filippos and Kohler, Monica D., et el. (2021) Ground motions in urban Los Angeles from the 2019 Ridgecrest earthquake sequence; Earthquake Spectra; Vol. 37; No. 4; 2493-2522; 10.1177/87552930211003916
• Kohler, Monica D. and Filippitzis, Filippos, et el. (2020) 2019 Ridgecrest Earthquake Reveals Areas of Los Angeles That Amplify Shaking of High-Rises; Seismological Research Letters; Vol. 91; No. 6; 3370-3380; 10.1785/0220200170
• Clayton, Robert W. and Kohler, Monica D., et el. (2020) CSN-LAUSD Network: A Dense Accelerometer Network in Los Angeles Schools; Seismological Research Letters; Vol. 91; No. 2A; 622-630; 10.1785/0220190200
• Kohler, Monica D. and Massari, Anthony, et el. (2016) Downtown Los Angeles 52-Story High-Rise and Free-Field Response to an Oil Refinery Explosion; Earthquake Spectra; Vol. 32; No. 3; 1793-1820; 10.1193/062315EQS101M
• Bose, Subhonmesh and Gayme, Dennice F., et el. (2015) Quadratically Constrained Quadratic Programs on Acyclic Graphs With Application to Power Flow; IEEE Transactions on Control of Network Systems; Vol. 2; No. 3; 278-287; 10.1109/TCNS.2015.2401172
• Clayton, Robert W. and Heaton, Thomas H., et el. (2015) Community Seismic Network: A Dense Array to Sense Earthquake Strong Motion; Seismological Research Letters; Vol. 86; No. 5; 1354-1363; 10.1785/0220150094
• Faulkner, Matthew and Clayton, Robert W., et el. (2014) Community Sense and Response Systems: Your Phone as Quake Detector; Communications of the ACM; Vol. 57; No. 7; 66-75; 10.1145/2622633
• Faulkner, Matthew Nicholas and Clayton, Robert W., et el. (2014) The Caltech CSN project collects sensor data from thousands of personal devices for realtime response to dangerous earthquakes; Communications of the ACM; Vol. 57; No. 7; 66-75; 10.1145/2622633
• Cai, Desmond W. H. and Adlakha, Sachin, et el. (2013) Impact of residential PV adoption on Retail Electricity Rates; Energy Policy; Vol. 62; 830-843; 10.1016/j.enpol.2013.07.009
• Chandy, K. Mani and Go, Brian, et el. (2011) Verification of distributed systems with local–global predicates; Formal Aspects of Computing; Vol. 23; No. 5; 649-679; 10.1007/s00165-010-0150-7
• Clayton, Robert W. and Heaton, Thomas, et el. (2011) Community Seismic Network; Annals of Geophysics; Vol. 54; No. 6; 738-747; 10.4401/ag-5269
• Chandy, K. Mani (2010) The Impact of Sense and Response Systems; IEEE Internet Computing; Vol. 14; No. 1; 14-16; 10.1109/MIC.2010.12
• Chandy, K. Mani (2010) The Impact of Sense and Respond Systems; IEEE Internet Computing; Vol. 14; No. 1; 14-16; 10.1109/MIC.20
• Estrin, Deborah and Chandy, K. Mani, et el. (2010) Internet Predictions; IEEE Internet Computing; Vol. 14; No. 1; 12-42; 10.1109/MIC.2010.12
• Charpentier, Michel and Chandy, K. Mani (2004) Specification transformers: a predicate transformer approach to composition; Acta Informatica; Vol. 40; No. 4; 265-301; 10.1007/s00236-003-0130-y
• Chandy, K. Mani and Charpentier, Michel (2002) An Experiment in Program Composition and Proof; Formal Methods in System Design; Vol. 20; No. 1; 7-21; 10.1023/a:1012952311559
• Chandy, K. Mani and Rifkin, Adam, et el. (1998) Using announce-listen with global events to develop distributed control systems; Concurrency and Computation: Practice and Experience; Vol. 10; No. 11-13; 1021-1027; 10.1002/(SICI)1096-9128(199809/11)10:11/13%3C1021::AID-CPE411%3E3.0.CO;2-K
• Chandy, K. Mani and Kiniry, Joseph, et el. (1997) Webs of Archived Distributed Computations for Asynchronous Collaboration; Journal of Supercomputing; Vol. 11; No. 2; 101-118; 10.1023/A:1007903821879
• Chandy, K. Mani and Rifkin, Adam (1997) Systematic composition of distributed objects: Processes and sessions; Computer Journal; Vol. 40; No. 8; 465-478; 10.1093/comjnl/40.8.465
• Chandy, K. Mani and Rifkin, Adam (1997) Systematic Composition of Objects in Distributed Internet Applications: Processes and Sessions; Proceedings of the Annual Hawaii International Conference on System Sciences; Vol. 1; 395-404; 10.1109/HICSS.1997.667288
• Bagrodia, R. and Chandy, K. M., et el. (1991) A Unifying Framework Distributed Simulation; ACM Transactions on Modeling and Computer Simulation (TOMACS); Vol. 1; No. 4; 348-385; 10.1145/130611.130614
• Chandy, K. Mani and Lamport, Leslie (1985) Distributed Snapshots: Determining Global States of a Distributed System; ACM Transactions on Computer Systems; Vol. 3; No. 1; 63-75; 10.1145/214451.214456
• Bryant, Raymond M. and Krzesinski, Anthony E., et el. (1984) The MVA Priority Approximation; ACM Transactions on Computer Systems; Vol. 2; No. 4; 335-359
• Chandy, K. M. and Misra, J. (1984) The drinking philosophers problem; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 6; No. 4; 632-646; 10.1145/1780.1804
• Chandy, K. Mani and Misra, Jayadev, et el. (1983) Distributed deadlock detection; ACM Transactions on Computer Systems; Vol. 1; No. 2; 144-156; 10.1145/357360.357365
• Chandy, K. M. and Martin, A. J. (1983) A Characterization of Product-Form Queuing Networks; Journal of the ACM; Vol. 30; No. 2; 286-299; 10.1145/322374.322378
• Neuse, Doug and Chandy, K. Mani (1982) HAM: the heuristic aggregation method for solving general closed queueing network models of computer systems; ACM SIGMETRICS Performance Evaluation Review; Vol. 11; No. 4; 195-212; 10.1145/1035293.1035322
• Chandy, K. M. and Misra, J. (1982) Distributed computation on graphs: shortest path algorithms; Communications of the ACM; Vol. 25; No. 11; 833-837; 10.1145/358690.358717
• Misra, J. and Chandy, K. M. (1982) A Distributed Graph Algorithm: Knot Detection; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 4; No. 4; 678-686
• Chandy, K. Mani and Neuse, Doug (1982) Linearizer: a heuristic algorithm for queueing network models of computing systems; Communications of the ACM; Vol. 25; No. 2; 126-134; 10.1145/358396.358403
• Misra, Jayadev and Chandy, K. M. (1982) Termination Detection of Diffusing Computations in Communicating Sequential Processes; ACM Transactions on Programming Languages and Systems (TOPLAS); Vol. 4; No. 1; 37-43; 10.1145/357153.357156
• Neuse, D. and Chandy, K. (1981) SCAT: A heuristic algorithm for queueing network models of computing systems; ACM SIGMETRICS Performance Evaluation Review; Vol. 10; No. 3; 59-79; 10.1145/1010629.805476
• Chandy, K. M. and Misra, J. (1981) Asynchronous distributed simulation via a sequence of parallel computations; Communications of the ACM; Vol. 24; No. 4; 198-206; 10.1145/358598.358613
• Chandy, K. Mani and Sauer, Charles H. (1980) Computational algorithms for product form queueing networks; Communications of the ACM; Vol. 23; No. 10; 573-583; 10.1145/359015.359020
• Chandy, K. M. and Misra, J. (1980) A simple model of distributed programs based on implementation-hiding and process autonomy; ACM SIGPLAN Notices; Vol. 15; No. 7-8; 26-35; 10.1145/947680.947681
• Chandy, K. Mani and Sauer, Charles H. (1980) Computational algorithms for product form queueing networks; ACM SIGMETRICS Performance Evaluation Review; Vol. 9; No. 2; 1; 10.1145/800199.806144
• Sauer, Charles H. and Chandy, K. Mani (1979) The impact of distributions and disciplines on multiple processor systems; Communications of the ACM; Vol. 22; No. 1; 25-34; 10.1145/359046.359053
• Towsley, D. and Chandy, K. M., et el. (1978) Models for parallel processing within programs: application to CPU: I/O and I/O: I/O overlap; Communications of the ACM; Vol. 21; No. 10; 821-831; 10.1145/359619.359622
• Chandy, K. Mani and Sauer, Charles H. (1978) Approximate Methods for Analyzing Queueing Network Models of Computing Systems; ACM Computing Surveys; Vol. 10; No. 3; 281-317; 10.1145/356733.356737
• Chandy, K. Mani and Howard, John H., et el. (1977) Product Form and Local Balance in Queueing Networks; Journal of the ACM; Vol. 24; No. 2; 250-263; 10.1145/322003.322009
• Brown, R. M. and Browne, J. C., et el. (1977) Memory management and response time; Communications of the ACM; Vol. 20; No. 3; 153-165; 10.1145/359436.359443
• Chandy, K. M. and Reynolds, P. F. (1975) Scheduling partially ordered tasks with probabilistic execution times; ACM SIGOPS Operating Systems Review; Vol. 9; No. 5; 169-177; 10.1145/800213.806534
• Baskett, Forest and Chandy, K. Mani, et el. (1975) Open, Closed, and Mixed Networks of Queues with Different Classes of Customers; Journal of the ACM; Vol. 22; No. 2; 248-260; 10.1145/321879.321887
• Adam, Thomas L. and Chandy, K. M., et el. (1974) A comparison of list schedules for parallel processing systems; Communications of the ACM; Vol. 17; No. 12; 685-690; 10.1145/361604.361619
• Ramamoorthy, C. V. and Chandy, K. M. (1970) Optimization of Memory Hierarchies in Multiprogrammed Systems; Journal of the ACM; Vol. 17; No. 3; 426-445