Travelled to:1 × China
1 × France
1 × Spain
3 × Germany
Collaborated with:Y.Fei C.Lynch R.E.McGregor X.Guan J.Bongio C.Katrak T.Deshane W.Hu P.Jablonski Z.Jiang X.Luo Y.Mao B.Zang H.Bao G.Trajcevski O.Wolfson H.Cao F.Zhang N.Rishe
Talks about:instruct (2) system (2) proof (2) order (2) first (2) encod (2) trajectori (1) throughput (1) uncertain (1) projector (1)
Person: Hai Lin
DBLP: Lin:Hai
Contributed to:
20092008
2007
2007
2008
2002Wrote 6 papers:
- DATE-2009-GuanLF #design #scalability #set
- Design of an application-specific instruction set processor for high-throughput and scalable FFT (XG, HL, YF), pp. 1302–1307.
- DATE-2008-LinF #parallel #performance #source code
- Harnessing Horizontal Parallelism and Vertical Instruction Packing of Programs to Improve System Overall Efficiency (HL, YF), pp. 758–763.
- CADE-2007-DeshaneHJLLM #encoding #first-order #proving #satisfiability
- Encoding First Order Proofs in SAT (TD, WH, PJ, HL, CL, REM), pp. 476–491.
- HCI-IPT-2007-JiangLMZLB #image #interactive #multi #scalability
- Interactive Browsing of Large Images on Multi-projector Display Wall System (ZJ, XL, YM, BZ, HL, HB), pp. 827–836.
- SMT-2007-BongioKLLM08 #encoding #first-order #proving #smt
- Encoding First Order Proofs in SMT (JB, CK, HL, CL, REM), pp. 71–84.
- ICEIS-2002-TrajcevskiWCLZR #nondeterminism
- Managing Uncertain Trajectories of Moving Objects with Domino (GT, OW, HC, HL, FZ, NR), pp. 218–225.