Tim Smith is an author at Texas A&M University specializing in formal methods, hardware security, and system software.
Top concepts
EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisCluster ComputingHardware SecuritySoftware AnalysisParallel ComputingFormal Verification
Publications per year
2006–2006
1
1
ARMI: A High Level Communication Library for STAPL
Nathan Thomas, Steven Saunders, Tim Smith et al. · Parallel Processing Letters · 2006 · 12 citations
Rows per page
1–1 of 1