Juin-Yeu Joseph Lu

According to our database, Juin-Yeu Joseph Lu authored at least 3 papers between 1996 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.

Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan

Proceedings of the 31st International Symposium on Computer Architecture (ISCA 2004), 2004

1998

Fault-Simulation Based Design Error Diagnosis for Sequential Circuits.

Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Juin-Yeu Joseph Lu

Proceedings of the 35th Conference on Design Automation, 1998

1996

Hardware Composition with Hardware Flowcharts and Process Algebras.

Juin-Yeu Joseph Lu, Jang Dae Kim, Shiu-Kai Chin

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996