D. W. Victor is an author at University of Rochester specializing in parallel computing, verification, and hardware security.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceEmbedded SystemsHardware SystemsHardware SecurityParallel ComputingFormal VerificationSystem-level Design
Publications per year
2002–2005
2
2
Rows per page
1–2 of 2