Travelled to:
1 × France
1 × Japan
2 × China
5 × USA
Collaborated with:
∅ D.Gawlick M.Charpentier E.M.Schooler C.Kesselman P.F.Reynolds L.Tian D.M.Zimmerman T.W.Keller J.C.Browne A.Rifkin P.A.G.Sivilotti J.Mandelson M.Richardson W.Tanaka L.Weisman
Talks about:
system (6) distribut (4) design (4) model (3) composit (2) comput (2) queue (2) use (2) probabilist (1) technolog (1)
Person: K. Mani Chandy
DBLP: Chandy:K=_Mani
Contributed to:
Wrote 10 papers:
- SIGMOD-2007-ChandyG #database #using
- Event processing using database technology (KMC, DG), pp. 1169–1170.
- EDOC-2006-ChandyTZ #enterprise
- Enterprise Computing Systems as Information Factories (KMC, LT, DMZ), pp. 427–432.
- FM-v1-1999-CharpentierC #approach #composition #design #distributed #towards #verification
- Towards a Compositional Approach to the Design and Verification of Distributed Systems (MC, KMC), pp. 570–589.
- HPDC-1996-ChandyRSMRTW #distributed #internet #java #using
- A World-Wide Distributed System Using Java and the Internet (KMC, AR, PAGS, JM, MR, WT, LW), pp. 11–18.
- HPDC-1996-ChandyS #design #distributed #framework
- Designing Directories in Distributed Systems: A Systematic Framework (KMC, EMS), pp. 318–328.
- JICSLP-1992-ChandyK #composition #source code
- The Derivation of Compositional Programs (KMC, CK), pp. 3–17.
- VLDB-1977-Chandy #distributed #modelling
- Models of Distributed Systems (KMC), pp. 105–120.
- ICSE-1976-Chandy #design #modelling
- Bayesian Models of Design Based on Intuition (KMC), pp. 281–285.
- SOSP-1975-ChandyR #execution #order #probability #scheduling
- Scheduling Partially Ordered Tasks with Probabilistic Execution Times (KMC, PFR), pp. 169–177.
- DAC-1972-ChandyKB #automation #design #evaluation #interactive #modelling #network
- Design automation and queueing networks: An interactive system for the evaluation of computer queueing models (KMC, TWK, JCB), pp. 357–367.