9
Publications
366
Citations
9
H-Index
1990
Active since
J.-C. Lo is an author at University of Rhode Island specializing in computer science, computer engineering, and engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringVerificationFormal MethodsHardware SystemsFormal VerificationProgram AnalysisHardware SecuritySoftware Analysis
Publications per year
1990–2003
9
9
An SFS Berger check prediction ALU and its application to self-checking processor designs
J.-C. Lo, Suchai Thanawastien, T.R.N. Rao et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 116 citations · Full text
Program Checking, Engineering, Hardware Verification Language +25
Rows per page
1–5 of 9