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
DBLP: Chen:Yao
Contributed to:
2014
2011
1993Wrote 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.