BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
E.M.Clarke X.Zhao H.T.Kung P.Steenkiste M.Gubitoso
Talks about:
parallel (1) pentium (1) network (1) applic (1) speed (1) model (1) level (1) error (1) class (1) check (1)

Person: Manpreet Khaira

DBLP DBLP: Khaira:Manpreet

Contributed to:

DAC 19961996
PPoPP 19911991

Wrote 2 papers:

DAC-1996-ClarkeKZ #fault #model checking #word
Word Level Model Checking — Avoiding the Pentium FDIV Error (EMC, MK, XZ), pp. 645–648.
PPoPP-1991-KungSGK #network #performance #scalability
Parallelizing a New Class of Large Applications over High-speed Networks (HTK, PS, MG, MK), pp. 167–177.

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.