Karthikeya M. Gajjala Purna is an author at Synopsys (Switzerland) specializing in parallel computing, parallel programming, and formal verification.
Top concepts
EngineeringFormal MethodsComputer ScienceCluster ComputingParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel ProgrammingComputer Architecture
Publications per year
1999–1999
1
1
Rows per page
1–1 of 1