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: Khaira:Manpreet
Contributed to:
1996
1991Wrote 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.