Ching-Tsun Chou
发表
Ching-Tsun Chou,
1995
.
Seungjoon Park,
Ching-Tsun Chou,
Phanindra K. Mannava,
2004,
FMCAD.
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
Yu Yang,
Ganesh Gopalakrishnan,
Xiaofang Chen,
2010,
Formal Methods Syst. Des..
Yu Yang,
Ganesh Gopalakrishnan,
Xiaofang Chen,
2006,
2006 Formal Methods in Computer Aided Design.
Victor W. Lee,
Seungjoon Park,
Akhilesh Kumar,
2003,
Formal Methods Syst. Des..
Ching-Tsun Chou,
Ching-Tsun Chou,
1999,
CAV.
Ching-Tsun Chou,
Ching-Tsun Chou,
1994,
Comput. J..
Sarita V. Adve,
Rakesh Komuravelli,
Ching-Tsun Chou,
2014,
ACM Trans. Archit. Code Optim..
Sarita V. Adve,
Vikram S. Adve,
Nicholas P. Carter,
2011,
2011 International Conference on Parallel Architectures and Compilation Techniques.
Shmuel Zaks,
Israel Cidon,
Inder S. Gopal,
1990,
IEEE Trans. Commun..
Ching-Tsun Chou,
Ching-Tsun Chou,
1996,
Inf. Process. Lett..
Ching-Tsun Chou,
Ching-Tsun Chou,
1992,
TPHOLs.
Ching-Tsun Chou,
I. Gopal,
Ching-Tsun Chou,
1988,
J. Algorithms.