BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chandy:K=_Mani

Contributed to:

SIGMOD 20072007
EDOC 20062006
World Congress on Formal Methods 19991999
HPDC 19961996
JICSLP 19921992
VLDB 19771977
ICSE 19761976
SOSP 19751975
DAC 19721972

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.