Juin-Yeu Joseph Lu

Publication Activity (10 Years)

Years Active: 1996-2004
Publications (10 Years): 0

Publications

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. ISCA (2004)
Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Juin-Yeu Joseph Lu
Fault-Simulation Based Design Error Diagnosis for Sequential Circuits. DAC (1998)
Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin
Hardware Composition with Hardware Flowcharts and Process Algebras. ICECCS (1996)