BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
1 × Singapore
1 × USA
Collaborated with:
A.K.Jain H.Kang J.L.Wong R.Sion J.Wu H.Zhao M.Yang N.Zhan B.Gu L.Zou
Talks about:
workload (1) schedul (1) program (1) guidanc (1) descent (1) control (1) analysi (1) textur (1) lander (1) formal (1)

Person: Yao Chen


Contributed to:

FM 20142014
HPDC 20112011
ICDAR 19931993

Wrote 3 papers:

FM-2014-ZhaoYZGZC #verification
Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.
HPDC-2011-KangCWSW #pipes and filters
Enhancement of Xen’s scheduler for MapReduce workloads (HK, YC, JLW, RS, JW), pp. 251–262.
ICDAR-1993-JainC #analysis #locality #using
Bar code localization using texture analysis (AKJ, YC), pp. 41–44.

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.